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


Computer Science (R0) Série de Livres électroniques

1-12 sur 12 résultats
Skip side bar filters

  • The Incomputable

    Journeys Beyond the Turing Barrier

    Modifié par S. Barry Cooper, Mariya I. Soskova ...
    Collections series Computer Science (R0)
    This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued discourse between researchers from different disciplines, and this book is unique in its focus on the mathematical theory of incomputability and its relevance for the real world. The core of the book ... En savoir plus

    $153.69 CAD

Les lecteurs de ce roman ont aussi aimé

  • Mathematics of Discrete Structures for Computer Science

    par Gordon J. Pace ...
    Collections series Computer Science (R0)
    Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital circuit, a computer program or a new programming language, you need mathematics to be able to reason about the design -- its correctness, robustness and dependability. This book covers the foundational ... En savoir plus

    $64.09 CAD

  • One Hundred Prisoners and a Light Bulb

    par Hans van Ditmarsch, Barteld Kooi ...
    Collections series Mathematics and Statistics (R0)
    A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no ... En savoir plus

    $25.69 CAD

  • Recent Trends in Algebraic Development Techniques

    22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

    Modifié par Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania.The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus together with one invited paper on foundations of algebraic specification, approaches to formal ... En savoir plus

    $51.29 CAD

  • Logic, Rationality, and Interaction

    6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

    Modifié par Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada ...
    Collections series Springer Nature Proceedings Computer Science
    This LNCS volume is part of FoLLI book serie and contains the papers presented at the 6th International Workshop on Logic, Rationality and Interaction/ (LORI-VI), held in September 2017 in Sapporo, Japan.The focus of the workshop is on following topics: Agency, Argumentation and Agreement, Belief Revision and Belief Merging, Belief Representation, Cooperation, Decision making and Planning, Natural ... En savoir plus

    $64.09 CAD

  • A Beginner's Guide to Discrete Mathematics

    par W.D. Wallis ...
    Collections series Mathematics and Statistics (R0)
    Wallis's book on discrete mathematics is a resource for an introductory course in a subject fundamental to both mathematics and computer science, a course that is expected not only to cover certain specific topics but also to introduce students to important modes of thought specific to each discipline . . . Lower-division undergraduates through graduate students. —Choice reviews (Review of the ... En savoir plus

    $102.49 CAD

  • Mathematics in Computing

    An Accessible Guide to Historical, Foundational and Application Contexts

    par Gerard O’Regan ...
    Collections series Computer Science (R0)
    This clearly written and enlightening textbook provides a concise, introductory guide to the key mathematical concepts and techniques used by computer scientists. Topics and features: ideal for self-study, offering many pedagogical features such as chapter-opening key topics, chapter introductions and summaries, review questions, and a glossary; places our current state of knowledge within the ... En savoir plus

    $76.89 CAD

  • Neighborhood Semantics for Modal Logic

    par Eric Pacuit ...
    Collections series Philosophy and Religion (R0)
    This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highlights both the pitfalls and potential uses of neighborhood models – an interesting class of mathematical structures that were originally introduced to provide a semantics for weak systems of modal logic ... En savoir plus

    $51.29 CAD

  • Reasoning and Unification over Conceptual Graphs

    par Dan Corbett ...
    Reasoning and Unification over Conceptual Graphs is an exploration of automated reasoning and resolution in the expanding field of Conceptual Structures. Designed not only for computing scientists researching Conceptual Graphs, but also for anyone interested in exploring the design of knowledge bases, the book explores what are proving to be the fundamental methods for representing semantic ... En savoir plus

    $115.29 CAD

  • Quantum Physics, Fuzzy Sets and Logic

    Steps Towards a Many-Valued Interpretation of Quantum Mechanics

    par Jarosław Pykacz ...
    Collections series Physics and Astronomy (R0)
    This Brief presents steps towards elaborating a new interpretation of quantum mechanics based on a specific version of Łukasiewicz infinite-valued logic. It begins with a short survey of main interpretations of quantum mechanics already proposed, as well as various models of many-valued logics and previous attempts to apply them for the description of quantum phenomena. The prospective many-valued ... En savoir plus

    $64.09 CAD

  • String Analysis for Software Verification and Security

    par Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin ...
    Collections series Computer Science (R0)
    This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string ... En savoir plus

    $83.29 CAD

  • Principles and Practice of Constraint Programming

    22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

    Modifié par Michel Rueher ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the refereed conference proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming, CP 2016, held in Toulouse, France, in September 2016.The 63 revised regular papers presented together with 4 short papers and the abstracts of 4 invited talks were carefully reviewed and selected from 157 submissions. The scope of CP 2016 includes all ... En savoir plus

    $115.29 CAD