Vous voulez être sûr que vos cadeaux seront sous le sapin de Noël à temps? Nos magasins vous accueillent à bras ouverts. La plupart de nos magasins sont ouverts également les dimanches, vous pouvez vérifier les heures d'ouvertures sur notre site.
- 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
Vous voulez être sûr que vos cadeaux seront sous le sapin de Noël à temps? Nos magasins vous accueillent à bras ouverts. La plupart de nos magasins sont ouverts également les dimanches, vous pouvez vérifier les heures d'ouvertures sur notre site.
- Retrait gratuit dans votre magasin Club
- 7.000.0000 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"
-
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 -
The Parametric Lambda Calculus
Simona Ronchi Della Rocca, Luca Paolini
- Livre relié | Anglais | Texts in Theoretical Computer Science. an Eatcs
- The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Design and Analysis of Randomized Algorithms
J Hromkovic
- Livre relié | 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
68,95 €Livraison sous 1 à 4 semaines68,95 €Livraison sous 1 à 4 semaines -
Graphs and Algorithms in Communication Networks
- Livre relié | Anglais | Texts in Theoretical Computer Science. an Eatcs
- Algorithmic discrete mathematics plays a key role in the development of information and communication technologies, and methods that arise in computer... Savoir plus
158,45 €Livraison sous 1 à 4 semaines158,45 €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 -
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 -
Elements of Finite Model Theory
Leonid Libkin
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- This book is an introduction to finite model theory which stresses the computer science origins of the area. In addition to presenting the main techni... Savoir plus
94,95 €Livraison sous 1 à 4 semaines94,95 €Livraison sous 1 à 4 semaines -
Temporal Logic and State Systems
Fred Kröger, Stephan Merz
- Livre relié | Anglais | Texts in Theoretical Computer Science. an Eatcs
- Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Base... Savoir plus
79,45 €Livraison sous 1 à 4 semaines79,45 €Livraison sous 1 à 4 semaines -
Information and Randomness
Cristian S Calude
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- "Extremely clear monograph on algorithmic information theory. Contains discussion of some interesting philosophical questions surrounding the meaning ... Savoir plus
79,45 €Livraison sous 1 à 4 semaines79,45 €Livraison sous 1 à 4 semaines -
Complexity Theory and Cryptology
Jörg Rothe
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- Modern cryptology more and more employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research topics in co... 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 -
Boolean Functions and Computation Models
Peter Clote, Evangelos Kranakis
- Livre relié | Anglais | Texts in Theoretical Computer Science. an Eatcs
- This advanced textbook surveys research on boolean functions, circuits, parallel computation models, function algebras, and proof systems, with an ove... Savoir plus
79,45 €Livraison sous 1 à 4 semaines79,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 -
Graphs and Algorithms in Communication Networks
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- Algorithmic discrete mathematics plays a key role in the development of information and communication technologies, and methods that arise in computer... Savoir plus
158,45 €Livraison sous 1 à 4 semaines158,45 €Livraison sous 1 à 4 semaines -
Communication Complexity and Parallel Computing
Juraj Hromkovič
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- This book shows how to establish the communication complexity of distinct computing problems and to apply this knowledge in parallel processing of com... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
The Parametric Lambda Calculus
Simona Ronchi Della Rocca, Luca Paolini
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Software Engineering 3
Dines Bjørner
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- This third volume examines the basic principles and techniques of overall software development, from domains via requirements to software designs, adv... Savoir plus
116,45 €Livraison sous 1 à 4 semaines116,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 -
Software Engineering 2
Dines Bjørner
- Livre relié | Anglais | Texts in Theoretical Computer Science. an Eatcs
- This second volume looks at the principles and techniques of modeling spatial and simple temporal phenomena, and such specialized topics as modularity... 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 broché | 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
58,45 €Livraison sous 1 à 4 semaines58,45 €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 -
Interactive Theorem Proving and Program Development
Yves Bertot, Pierre Castéran
- Livre relié | 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
116,45 €Livraison sous 1 à 4 semaines116,45 €Livraison sous 1 à 4 semaines -
Theoretical Computer Science
Juraj Hromkovič
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- This textbook provides an elegant route through the theoretical fundamentals of computer science. In doing so, it shows that theoretical computer scie... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
Elements of Finite Model Theory
Leonid Libkin
- Livre relié | Anglais | Texts in Theoretical Computer Science. an Eatcs
- This book is an introduction to finite model theory which stresses the computer science origins of the area. In addition to presenting the main techni... Savoir plus
94,95 €Livraison sous 1 à 4 semaines94,95 €Livraison sous 1 à 4 semaines