Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


“harold simmons”

Showing 1 - 12 of 12 results for “harold simmons”
Skip side bar filters

  • An Introduction to Category Theory

    by Harold Simmons ...
    Category theory provides a general conceptual framework that has proved fruitful in subjects as diverse as geometry, topology, theoretical computer science and foundational mathematics. Here is a friendly, easy-to-read textbook that explains the fundamentals at a level suitable for newcomers to the subject. Beginning postgraduate mathematicians will find this book an excellent introduction to all ... Read more

    $43.49 USD

  • Audiobook

    The Confessions of al-Ghazali (UNABRIDGED)

    optional

    by Abū Ḥāmid Muḥammad ibn Muḥammad al-Ghazālī ...
    Narrated by Harry Jenkins, Harold Simmons, Gustavo Brown, Susan Cullum ...

    Unabridged

    1 hour 27 min

    Abu Hamid al-Ghazali was born in 1058 AD in the city of Tus in modern day Iran. He was a reputed scholar, philosopher and Shafi'i jurist who was a professor of theology at the Nizamiyya College of Baghdad. At the peak of his fame, he was gripped by an internal schism between his beliefs and his inner self. He gave up his position lead a life of seclusion and personal mystical transformation. ... Read more

    $4.99 USD

People who read these also enjoyed

  • Thinking Functionally with Haskell

    by Richard Bird ...
    Richard Bird is famed for the clarity and rigour of his writing. His new textbook, which introduces functional programming to students, emphasises fundamental techniques for reasoning mathematically about functional programs. By studying the underlying equational laws, the book enables students to apply calculational reasoning to their programs, both to understand their properties and to make them ... Read more

    $54.99 USD

  • Forever Undecided

    by Raymond M. Smullyan ...
    Forever Undecided is the most challenging yet of Raymond Smullyan’s puzzle collections. It is, at the same time, an introduction—ingenious, instructive, entertaining—to Gödel’s famous theorems.With all the wit and charm that have delighted readers of his previous books, Smullyan transports us once again to that magical island where knights always tell the truth and knaves always lie. Here we meet ... Read more

    Was $19.99 USD Now $14.99 USD

  • Visual Reasoning with Diagrams

    Edited by Amirouche Moktefi, Sun-Joo Shin ...
    Series series Mathematics and Statistics (R0)
    Logic, the discipline that explores valid reasoning, does not need to be limited to a specific form of representation but should include any form as long as it allows us to draw sound conclusions from given information. The use of diagrams has a long but unequal history in logic: The golden age of diagrammatic logic of the 19th century thanks to Euler and Venn diagrams was followed by the early ... Read more

    $89.09 USD

  • New Directions of Modern Cryptography

    by Zhenfu Cao ...
    Modern cryptography has evolved dramatically since the 1970s. With the rise of new network architectures and services, the field encompasses much more than traditional communication where each side is of a single user. It also covers emerging communication where at least one side is of multiple users. New Directions of Modern Cryptography presents ... Read more

    $73.99 USD

  • Beginning Julia Programming

    For Engineers and Scientists

    by Sandeep Nagar ...
    Series series Professional and Applied Computing (R0)
    Get started with Julia for engineering and numerical computing, especially data science, machine learning, and scientific computing applications. This book explains how Julia provides the functionality, ease-of-use and intuitive syntax of R, Python, MATLAB, SAS, or Stata combined with the speed, capacity, and performance of C, C++, or Java. You’ll learn the OOP principles required to get you ... Read more

    $71.99 USD

  • Quaternions for Computer Graphics

    by John Vince ...
    Series series Computer Science (R0)
    Sir William Rowan Hamilton was a genius, and will be remembered for his significant contributions to physics and mathematics. The Hamiltonian, which is used in quantum physics to describe the total energy of a system, would have been a major achievement for anyone, but Hamilton also invented quaternions, which paved the way for modern vector analysis.Quaternions are one of the most documented ... Read more

    Was $76.99 USD Now $62.99 USD

  • Analysis and Control of Boolean Networks

    A Semi-tensor Product Approach

    by Daizhan Cheng, Hongsheng Qi, Zhiqiang Li ...
    Series series Engineering (R0)
    Analysis and Control of Boolean Networks presents a systematic new approach to the investigation of Boolean control networks. The fundamental tool in this approach is a novel matrix product called the semi-tensor product (STP). Using the STP, a logical function can be expressed as a conventional discrete-time linear system. In the light of this linear expression, certain major issues concerning ... Read more

    $89.09 USD

  • Action-minimizing Methods in Hamiltonian Dynamics

    An Introduction to Aubry-Mather Theory

    by Alfonso Sorrentino ...
    Series Book 50 - Mathematical Notes
    John Mather's seminal works in Hamiltonian dynamics represent some of the most important contributions to our understanding of the complex balance between stable and unstable motions in classical mechanics. His novel approach—known as Aubry-Mather theory—singles out the existence of special orbits and invariant measures of the system, which possess a very rich dynamical and geometric structure. In ... Read more

    $38.19 USD

  • Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

    7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

    Edited by Tiziana Margaria, Bernhard Steffen ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each ... Read more

    $89.09 USD

  • Math Bytes

    Google Bombs, Chocolate-Covered Pi, and Other Cool Bits in Computing

    by Tim P. Chartier ...
    An inviting collection of fun, hands-on applications in mathematics and computingThis book provides a fun, hands-on approach to learning how mathematics and computing relate to the world around us and help us to better understand it. How can reposting on Twitter kill a movie's opening weekend? How can you use mathematics to find your celebrity look-alike? What is Homer Simpson’s method for ... Read more

    $17.99 USD