Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda
Kobo Rakuten
Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


Computer Science (R0) Serie de eBooks

1 - 12 de 12 resultados
Skip side bar filters

  • The Incomputable

    Journeys Beyond the Turing Barrier

    Edición de S. Barry Cooper, Mariya I. Soskova ...
    Series 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 ... Leer más

    $116.09 USD

La gente que leyó esto también disfrutó

  • Mathematics of Discrete Structures for Computer Science

    de Gordon J. Pace ...
    Series 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 ... Leer más

    $49.49 USD

  • One Hundred Prisoners and a Light Bulb

    de Hans van Ditmarsch, Barteld Kooi ...
    Series 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 ... Leer más

    $18.99 USD

  • Recent Trends in Algebraic Development Techniques

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

    Edición de Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu ...
    Series 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 ... Leer más

    $40.49 USD

  • Logic, Rationality, and Interaction

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

    Edición de Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada ...
    Series 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 ... Leer más

    $49.49 USD

  • A Beginner's Guide to Discrete Mathematics

    de W.D. Wallis ...
    Series 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 ... Leer más

    $80.99 USD

  • Mathematics in Computing

    An Accessible Guide to Historical, Foundational and Application Contexts

    de Gerard O’Regan ...
    Series 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 ... Leer más

    $58.49 USD

  • Neighborhood Semantics for Modal Logic

    de Eric Pacuit ...
    Series 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 ... Leer más

    $40.49 USD

  • Reasoning and Unification over Conceptual Graphs

    de 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 ... Leer más

    $89.09 USD

  • Quantum Physics, Fuzzy Sets and Logic

    Steps Towards a Many-Valued Interpretation of Quantum Mechanics

    de Jarosław Pykacz ...
    Series 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 ... Leer más

    $49.49 USD

  • String Analysis for Software Verification and Security

    de Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin ...
    Series 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 ... Leer más

    $62.99 USD

  • Principles and Practice of Constraint Programming

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

    Edición de Michel Rueher ...
    Series 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 ... Leer más

    $89.09 USD