- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Reeksen: boeken uit de reeks Texts in Theoretical Computer Science. an Eatcs
-
Finite Model Theory and Its Applications
Erich Grädel, Phokion G Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe y Vardi, Yde Venema, Scott Weinstein
- Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
- This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one laws, together with sel... Lees meer
€ 79,45Levertermijn 1 à 4 weken€ 79,45Levertermijn 1 à 4 weken -
Models of Massive Parallelism
Max Garzon
- Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
- Locality is a fundamental restriction in nature. On the other hand, adaptive complex systems, life in particular, exhibit a sense of permanence and ti... Lees meer
€ 52,95Levertermijn 1 à 4 weken€ 52,95Levertermijn 1 à 4 weken -
Grammatical Picture Generation
Frank Drewes
- Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
- This book introduces the reader to the notions, the techniques, and the theory of grammatical picture generation, a research field focusing on formal ... Lees meer
€ 52,95Levertermijn 1 à 4 weken€ 52,95Levertermijn 1 à 4 weken -
Introduction to Concurrency Theory
Roberto Gorrieri, Cristian Versari
- Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
- This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled trans... Lees meer
€ 52,95Levertermijn 1 à 4 weken€ 52,95Levertermijn 1 à 4 weken -
Design and Analysis of Randomized Algorithms
J Hromkovic
- Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
- Fundamentals.- Foiling the Adversary.- Fingerprinting.- Success Amplification and Random Sampling.- Abundance of Witnesses.- Optimization and Random R... Lees meer
€ 49,95Levertermijn 1 à 4 weken€ 49,95Levertermijn 1 à 4 weken -
Dissemination of Information in Communication Networks
Juraj Hromkovič, Ralf Klasing, A Pelc, Peter Ruzicka, Walter Unger
- Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
- Presents the background and context of all ideas, concepts, algorithms, analyses and arguments before discussing details. Accessible to both beginners... Lees meer
€ 52,95Levertermijn 1 à 4 weken€ 52,95Levertermijn 1 à 4 weken -
DNA Computing
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
- Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
- This is the first book on DNA computing, a molecular approach that may revolutionize computing-replacing silicon with carbon and microchips with DNA m... Lees meer
€ 89,95Levertermijn 1 à 4 weken€ 89,95Levertermijn 1 à 4 weken -
Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
- Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
- Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily inv... Lees meer
€ 79,45Levertermijn 1 à 4 weken€ 79,45Levertermijn 1 à 4 weken -
Parsing Schemata
Klaas Sikkel
- Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
- Parsing, the syntactic analysis of language, has been studied extensively in computer science and computational linguistics. Computer programs and nat... Lees meer
€ 52,95Levertermijn 1 à 4 weken€ 52,95Levertermijn 1 à 4 weken -
Decision Procedures
Daniel Kroening, Ofer Strichman
- Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
- A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that... Lees meer
€ 68,95Levertermijn 1 à 4 weken€ 68,95Levertermijn 1 à 4 weken -
A Practical Theory of Reactive Systems
R Kurki-Suonio
- Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
- Prologue.- Components of a Theory.- Fundamentals.- Towards an Action Language.- Formal Properties of Behaviors.- Proving Behavioral Properties.- Build... Lees meer
€ 52,95Levertermijn 1 à 4 weken€ 52,95Levertermijn 1 à 4 weken -
Models of Computation
Roberto Bruni, Ugo Montanari
- Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
- This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical description... Lees meer
€ 63,45Levertermijn 1 à 4 weken€ 63,45Levertermijn 1 à 4 weken -
Dissemination of Information in Communication Networks
Juraj Hromkovič, Ralf Klasing, A Pelc, Peter Ruzicka, Walter Unger
- Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
- The Telegraph and Telephone Modes.- Fundamentals.- Broadcasting.- Gossiping.- Systolic Communication.- Fault-Tolerance.- Distributed Networks.- Broadc... Lees meer
€ 52,95Levertermijn 1 à 4 weken€ 52,95Levertermijn 1 à 4 weken -
Verification of Reactive Systems
Klaus Schneider
- Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
- This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text ... Lees meer
€ 52,95Levertermijn 1 à 4 weken€ 52,95Levertermijn 1 à 4 weken -
Parameterized Complexity Theory
J Flum, M Grohe
- Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
- Fixed-Parameter Tractability.- Reductions and Parameterized Intractability.- The Class W[P].- Logic and Complexity.- Two Fundamental Hierarchies.- The... Lees meer
€ 84,45Levertermijn 1 à 4 weken€ 84,45Levertermijn 1 à 4 weken -
Interactive Theorem Proving and Program Development
Yves Bertot, Pierre Castéran
- Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
- A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers in... Lees meer
€ 84,45Levertermijn 1 à 4 weken€ 84,45Levertermijn 1 à 4 weken -
Computable Analysis
Klaus Weihrauch
- Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
- Merging fundamental concepts of analysis and recursion theory to a new exciting theory, this book provides a solid fundament for studying various aspe... Lees meer
€ 52,95Levertermijn 1 à 4 weken€ 52,95Levertermijn 1 à 4 weken -
Modelling Distributed Systems
Wan Fokkink
- Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
- This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verificat... Lees meer
€ 52,95Levertermijn 1 à 4 weken€ 52,95Levertermijn 1 à 4 weken -
Public-Key Cryptography
Arto Salomaa
- Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
- Cryptography, secret writing, is enjoying a scientific renaissance following the seminal discovery in 1977 of public-key cryptography and applications... Lees meer
€ 52,95Levertermijn 1 à 4 weken€ 52,95Levertermijn 1 à 4 weken -
Abstract Computing Machines
Werner Kluge
- Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
- The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. Lees meer
€ 105,45Levertermijn 1 à 4 weken€ 105,45Levertermijn 1 à 4 weken -
Computable Analysis
Klaus Weihrauch
- Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
- Merging fundamental concepts of analysis and recursion theory to a new exciting theory, this book provides a solid fundament for studying various aspe... Lees meer
€ 52,95Levertermijn 1 à 4 weken€ 52,95Levertermijn 1 à 4 weken -
Petri Net Synthesis
Eric Badouel, Luca Bernardinello, Philippe Darondeau
- Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
- This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its solution, covering the related theo... Lees meer
€ 63,45Levertermijn 1 à 4 weken€ 63,45Levertermijn 1 à 4 weken -
Universal Artificial Intelligence
Marcus Hutter
- Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
- Short Tour Through the Book.- Simplicity & Uncertainty.- Universal Sequence Prediction.- Agents in Known Probabilistics Environments.- The Universal A... Lees meer
€ 94,95Levertermijn 1 à 4 weken€ 94,95Levertermijn 1 à 4 weken -
Models of Computation
Roberto Bruni, Ugo Montanari
- Paperback | Engels | Texts in Theoretical Computer Science. an Eatcs
- This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical description... Lees meer
€ 63,45Levertermijn 1 à 4 weken€ 63,45Levertermijn 1 à 4 weken