Nos liseuses Vivlio rencontrent actuellement des problèmes de synchronisation. Nous faisons tout notre possible pour résoudre ce problème le plus rapidement possible. Toutes nos excuses pour la gêne occasionnée !
- 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
Nos liseuses Vivlio rencontrent actuellement des problèmes de synchronisation. Nous faisons tout notre possible pour résoudre ce problème le plus rapidement possible. Toutes nos excuses pour la gêne occasionnée !
- 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"
-
Design and Analysis of Randomized Algorithms
J Hromkovic
- Livre relié | Anglais | Texts in Theoretical Computer Science. an Eatcs
- Systematically teaches key paradigmic algorithm design methods Provides a deep insight into randomization 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 -
The Parametric Lambda Calculus
Simona Ronchi Della Rocca, Luca Paolini
- Livre relié | Anglais | Texts in Theoretical Computer Science. an Eatcs
- The A-calculus was invented by Church in the 1930s with the purpose of sup- plying a logical foundation for logic and mathematics [25]. Its use by Kle... 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 emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €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 -
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
- Emphasizes the computer science aspects of the subject. Details applications in databases, complexity theory, and formal languages, as well as other b... Savoir plus
94,95 €Livraison sous 1 à 4 semaines94,95 €Livraison sous 1 à 4 semaines -
Models of Massive Parallelism
Max Garzon
- Livre broché | Anglais | 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... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Information and Randomness
Cristian S Calude
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- The first edition of the monograph Information and Randomness: An Algorithmic Perspective by Crist ian Calude was published in 1994. In my Foreword I ... Savoir plus
79,45 €Livraison sous 1 à 4 semaines79,45 €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 -
Complexity Theory and Cryptology
Jörg Rothe
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- to Cryptocomplexity.- Foundations of Computer Science and Mathematics.- Foundations of Complexity Theory.- Foundations of Cryptology.- Hierarchies Bas... 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
- The two internationally renowned authors elucidate the structure of "fast" parallel computation. Its complexity is emphasised through a variety of tec... Savoir plus
79,45 €Livraison sous 1 à 4 semaines79,45 €Livraison sous 1 à 4 semaines -
Communication Complexity and Parallel Computing
Juraj Hromkovič
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- The communication complexity of two-party protocols is an only 15 years old complexity measure, but it is already considered to be one of the fundamen... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Computable Analysis
Klaus Weihrauch
- Livre relié | Anglais | 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... 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
- Graphs and Algorithms in Communication Networks on Seven League Boots.- Studies in Broadband and Optical Networks.- Traffic Grooming: Combinatorial Re... Savoir plus
158,45 €Livraison sous 1 à 4 semaines158,45 €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 A-calculus was invented by Church in the 1930s with the purpose of sup- plying a logical foundation for logic and mathematics [25]. Its use by Kle... 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
- Opening.- The Triptych Paradigm.- Documents.- Conceptual Framework.- Methods and Methodology.- Models and Modelling.- Descriptions: Theory and Practic... Savoir plus
116,45 €Livraison sous 1 à 4 semaines116,45 €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 -
Verification of Reactive Systems
Klaus Schneider
- Livre broché | Anglais | 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 ... 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
- The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this t... 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
- Fixed-Parameter Tractability.- Reductions and Parameterized Intractability.- The Class W[P].- Logic and Complexity.- Two Fundamental Hierarchies.- The... Savoir plus
84,45 €Livraison sous 1 à 4 semaines84,45 €Livraison sous 1 à 4 semaines -
The Complexity Theory Companion
Lane A Hemaspaandra, Mitsunori Ogihara
- Livre relié | Anglais | Texts in Theoretical Computer Science. an Eatcs
- Here is an accessible, algorithmically oriented guide to some of the most interesting techniques of complexity theory. The book shows that simple algo... 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
- A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers in... Savoir plus
116,45 €Livraison sous 1 à 4 semaines116,45 €Livraison sous 1 à 4 semaines -
Elements of Finite Model Theory
Leonid Libkin
- Livre relié | Anglais | Texts in Theoretical Computer Science. an Eatcs
- Emphasizes the computer science aspects of the subject. Details applications in databases, complexity theory, and formal languages, as well as other b... Savoir plus
94,95 €Livraison sous 1 à 4 semaines94,95 €Livraison sous 1 à 4 semaines