Skip to main content
Search Button
Librairie Kobo Canada Cartes cadeau Aide

Kobo Rakuten

Ma liste d'envies

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...


« harold simmons »

1-12 sur 12 résultats pour « harold simmons »
Skip side bar filters

  • An Introduction to Category Theory

    par 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 ... En savoir plus

    $48.99 CAD

Les lecteurs de ce roman ont aussi aimé

  • Thinking Functionally with Haskell

    par 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 ... En savoir plus

    $61.99 CAD

  • Forever Undecided

    par 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 ... En savoir plus

    Prix courant $22.99 CAD Maintenant $16.99 CAD

  • Visual Reasoning with Diagrams

    Modifié par Amirouche Moktefi, Sun-Joo Shin ...
    Collections 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 ... En savoir plus

    $115.99 CAD

  • New Directions of Modern Cryptography

    par 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 ... En savoir plus

    $107.17 CAD

  • Beginning Julia Programming

    For Engineers and Scientists

    par Sandeep Nagar ...
    Collections 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 ... En savoir plus

    $95.99 CAD

  • Quaternions for Computer Graphics

    par John Vince ...
    Collections 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 ... En savoir plus

    $83.99 CAD

  • Analysis and Control of Boolean Networks

    A Semi-tensor Product Approach

    par Daizhan Cheng, Hongsheng Qi, Zhiqiang Li ...
    Collections 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 ... En savoir plus

    $115.29 CAD

  • Action-minimizing Methods in Hamiltonian Dynamics

    An Introduction to Aubry-Mather Theory

    par Alfonso Sorrentino ...
    Collections Livre 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 ... En savoir plus

    $60.49 CAD

  • 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

    Modifié par Tiziana Margaria, Bernhard Steffen ...
    Collections Livre 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 ... En savoir plus

    $115.99 CAD

  • Math Bytes

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

    par 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 ... En savoir plus

    $27.49 CAD

  • Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks

    par Muhammad Usman, Vallipuram Muthukkumarasamy, Xin-Wen Wu, Surraya Khanum ...
    Collections series Computer Science (R0)
    This book presents the latest developments regarding a detailed mobile agent-enabled anomaly detection and verification system for resource constrained sensor networks; a number of algorithms on multi-aspect anomaly detection in sensor networks; several algorithms on mobile agent transmission optimization in resource constrained sensor networks; an algorithm on mobile agent-enabled in situ ... En savoir plus

    $64.99 CAD