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...


« rob nederpelt »

1-12 sur 12 résultats pour « rob nederpelt »
Skip side bar filters

  • Type Theory and Formal Proof

    An Introduction

    par Rob Nederpelt, Herman Geuvers ...
    Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin ... En savoir plus

    $91.99 CAD

Les lecteurs de ce roman ont aussi aimé

  • Programming Massively Parallel Processors

    A Hands-on Approach

    par David B. Kirk, Wen-mei W. Hwu ...
    Programming Massively Parallel Processors: A Hands-on Approach, Second Edition, teaches students how to program massively parallel processors. It offers a detailed discussion of various techniques for constructing parallel programs. Case studies are used to demonstrate the development process, which begins with computational thinking and ends with effective and efficient parallel programs. This ... En savoir plus

    $66.99 CAD

  • Single Digits

    In Praise of Small Numbers

    par Marc Chamberland ...
    The remarkable properties of the numbers one through nineIn Single Digits, Marc Chamberland takes readers on a fascinating exploration of small numbers, from one to nine, looking at their history, applications, and connections to various areas of mathematics, including number theory, geometry, chaos theory, numerical analysis, and mathematical physics. For instance, why do eight perfect card ... En savoir plus

    $24.19 CAD

  • Modal Logic for Philosophers

    par James W. Garson ...
    This book on modal logic is especially designed for philosophy students. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort is made to simplify the presentation by using diagrams instead of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal ... En savoir plus

    $51.99 CAD

  • Set Theory

    A First Course

    par Daniel W. Cunningham ...
    Collections series Cambridge Mathematical Textbooks
    Set theory is a rich and beautiful subject whose fundamental concepts permeate virtually every branch of mathematics. One could say that set theory is a unifying theory for mathematics, since nearly all mathematical concepts and results can be formalized within set theory. This textbook is meant for an upper undergraduate course in set theory. In this text, the fundamentals of abstract sets, ... En savoir plus

    $66.99 CAD

  • Heterogeneous Computing with OpenCL 2.0

    par Perhaad Mistry, Dana Schaa, Dong Ping Zhang, David R. Kaeli ...
    Heterogeneous Computing with OpenCL 2.0 teaches OpenCL and parallel programming for complex systems that may include a variety of device architectures: multi-core CPUs, GPUs, and fully-integrated Accelerated Processing Units (APUs). This fully-revised edition includes the latest enhancements in OpenCL 2.0 including: • Shared virtual memory to increase programming flexibility and reduce data ... En savoir plus

    $66.99 CAD

  • Formal Aspects of Component Software

    11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

    Modifié par Ivan Lanese, Eric Madelaine ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and ... En savoir plus

    $64.99 CAD

  • Practical Foundations for Programming Languages

    par Robert Harper ...
    Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are ... En savoir plus

    $82.99 CAD

  • A Concise Introduction to Languages and Machines

    par Alan P. Parkes ...
    Collections series Computer Science (R0)
    A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. Written in an easy-to-read, informal style, this textbook assumes only a basic knowledge of programming on the part of the reader.The approach is deliberately non-mathematical, and features: - Clear ... En savoir plus

    $35.99 CAD

  • Formal Methods: Foundations and Applications

    18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

    Modifié par Bill Roscoe, Márcio Cornélio ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and ... En savoir plus

    $51.99 CAD

  • A Logical Introduction to Proof

    par Daniel W. Cunningham ...
    Collections series Mathematics and Statistics (R0)
    The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics. One of the key components in this textbook is the development of a methodology to lay bare the structure underpinning the construction of a proof, much as diagramming a sentence lays bare its grammatical structure. Diagramming a proof is a way of ... En savoir plus

    $64.99 CAD

  • Formal Aspects of Component Software

    12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

    Modifié par Christiano Braga, Peter Csaba Ölveczky ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015.The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submissions. They are organized in topical sections, namely quality of service to withstand faults, ... En savoir plus

    $64.09 CAD