- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Résultats pour "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
- Livre broché | Anglais | 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... Savoir plus
79,45 €Livraison sous 1 à 4 semaines79,45 €Livraison sous 1 à 4 semaines -
Grammatical Picture Generation
Frank Drewes
- Livre broché | Anglais | 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 ... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Models of Massive Parallelism
Max Garzon
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- This textbook presents analytic methods and results for exploring and understanding cellular automata and discrete neural networks. The book includes ... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Design and Analysis of Randomized Algorithms
J Hromkovic
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- Randomness is a powerful tool for solving various problems in all areas of computer applications. Randomized algorithms are often more efficient, simp... Savoir plus
49,95 €Livraison sous 1 à 4 semaines49,95 €Livraison sous 1 à 4 semaines -
Introduction to Concurrency Theory
Roberto Gorrieri, Cristian Versari
- Livre broché | Anglais | 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... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Dissemination of Information in Communication Networks
Juraj Hromkovič, Ralf Klasing, A Pelc, Peter Ruzicka, Walter Unger
- Livre relié | Anglais | Texts in Theoretical Computer Science. an Eatcs
- This text provides an introduction to the theory of design and the analysis of algorithms for the dissemination of information in interconnection netw... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
- Livre relié | Anglais | 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... Savoir plus
79,45 €Livraison sous 1 à 4 semaines79,45 €Livraison sous 1 à 4 semaines -
DNA Computing
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
- Livre broché | Anglais | 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... Savoir plus
89,95 €Livraison sous 1 à 4 semaines89,95 €Livraison sous 1 à 4 semaines -
Parsing Schemata
Klaas Sikkel
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- This introduction to the syntactic analysis of natural language and computer programs combines mathematical rigor with high readability. It may serve ... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
A Practical Theory of Reactive Systems
R Kurki-Suonio
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- This book presents a practical theory of reactive systems. The theory supports incremental development of operational, object-oriented models in steps... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Decision Procedures
Daniel Kroening, Ofer Strichman
- Livre relié | Anglais | 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... Savoir plus
68,95 €Livraison sous 1 à 4 semaines68,95 €Livraison sous 1 à 4 semaines -
Models of Computation
Roberto Bruni, Ugo Montanari
- Livre relié | Anglais | 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... Savoir plus
63,45 €Livraison sous 1 à 4 semaines63,45 €Livraison sous 1 à 4 semaines -
Dissemination of Information in Communication Networks
Juraj Hromkovič, Ralf Klasing, A Pelc, Peter Ruzicka, Walter Unger
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- This text provides an introduction to the theory of design and the analysis of algorithms for the dissemination of information in interconnection netw... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Parameterized Complexity Theory
J Flum, M Grohe
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- Parameterized complexity theory is a recent branch of computational complexity theory that provides a framework for a refined analysis of hard algorit... Savoir plus
84,45 €Livraison sous 1 à 4 semaines84,45 €Livraison sous 1 à 4 semaines -
Verification of Reactive Systems
Klaus Schneider
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- The book is a foundation of the most important formalisms used for specification and verification of reactive systems. In particular, it presents all ... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Interactive Theorem Proving and Program Development
Yves Bertot, Pierre Castéran
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the... Savoir plus
84,45 €Livraison sous 1 à 4 semaines84,45 €Livraison sous 1 à 4 semaines -
Computable Analysis
Klaus Weihrauch
- Livre relié | Anglais | Texts in Theoretical Computer Science. an Eatcs
- Is the exponential function computable? Are union and intersection of closed subsets of the real plane computable? Are differentiation and integration... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Modelling Distributed Systems
Wan Fokkink
- Livre relié | Anglais | 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... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Public-Key Cryptography
Arto Salomaa
- Livre relié | Anglais | 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... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Universal Artificial Intelligence
Marcus Hutter
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- This book presents sequential decision theory from a novel algorithmic information theory perspective. While the former is suited for active agents in... Savoir plus
94,95 €Livraison sous 1 à 4 semaines94,95 €Livraison sous 1 à 4 semaines -
Petri Net Synthesis
Eric Badouel, Luca Bernardinello, Philippe Darondeau
- Livre broché | Anglais | 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... Savoir plus
63,45 €Livraison sous 1 à 4 semaines63,45 €Livraison sous 1 à 4 semaines -
Computable Analysis
Klaus Weihrauch
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- Is the exponential function computable? Are union and intersection of closed subsets of the real plane computable? Are differentiation and integration... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Abstract Computing Machines
Werner Kluge
- Livre relié | Anglais | Texts in Theoretical Computer Science. an Eatcs
- The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime st... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
An Introduction to Online Computation
Dennis Komm
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- This textbook explains online computation in different settings, with particular emphasis on randomization and advice complexity. These settings are a... Savoir plus
68,95 €Livraison sous 1 à 4 semaines68,95 €Livraison sous 1 à 4 semaines