- Retrait en 2 heures
- Assortiment impressionnant
- Paiement sécurisé
- Toujours un magasin près de chez vous
- 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
Séries : livres de la série 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
64,45 €Livraison sous 1 à 4 semaines64,45 €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 phenomenon that can be harnessed to solve various problems in all areas of computer science. Randomized algorithms are often ... Savoir plus
69,45 €Livraison sous 1 à 4 semaines69,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 Klee... 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
106,95 €Livraison sous 1 à 4 semaines106,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
160,45 €Livraison sous 1 à 4 semaines160,45 €Livraison sous 1 à 4 semaines -
Elements of Finite Model Theory
Leonid Libkin
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- Finite model theory is an area of mathematical logic that grew out of computer science applications. The main sources of motivational examples for fin... Savoir plus
96,45 €Livraison sous 1 à 4 semaines96,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
64,45 €Livraison sous 1 à 4 semaines64,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 increasingly employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research topics in com... Savoir plus
53,45 €Livraison sous 1 à 4 semaines53,45 €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
80,45 €Livraison sous 1 à 4 semaines80,45 €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
53,45 €Livraison sous 1 à 4 semaines53,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
80,45 €Livraison sous 1 à 4 semaines80,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
53,45 €Livraison sous 1 à 4 semaines53,45 €Livraison sous 1 à 4 semaines -
Graphs and Algorithms in Communication Networks
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- Examining communication networks from a mathematical perspective, this volume offers an introductory overview of broadband, optical, wireless and ad h... Savoir plus
160,45 €Livraison sous 1 à 4 semaines160,45 €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 foundations of computational complexity theory go back to Alan Thring in the 1930s who was concerned with the existence of automatic procedures de... 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 -
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 Klee... Savoir plus
53,45 €Livraison sous 1 à 4 semaines53,45 €Livraison sous 1 à 4 semaines -
Software Engineering 3
Dines Bjørner
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbo... Savoir plus
117,95 €Livraison sous 1 à 4 semaines117,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
85,45 €Livraison sous 1 à 4 semaines85,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,95 €Livraison sous 1 à 4 semaines58,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 -
Verification of Reactive Systems
Klaus Schneider
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of ... Savoir plus
53,45 €Livraison sous 1 à 4 semaines53,45 €Livraison sous 1 à 4 semaines -
Elements of Finite Model Theory
Leonid Libkin
- Livre relié | Anglais | Texts in Theoretical Computer Science. an Eatcs
- Finite model theory is an area of mathematical logic that grew out of computer science applications. The main sources of motivational examples for fin... Savoir plus
94,95 €Livraison sous 1 à 4 semaines94,95 €Livraison sous 1 à 4 semaines -
Theoretical Computer Science
Juraj Hromkovič
- Livre broché | Anglais | Texts in Theoretical Computer Science. an Eatcs
- The aim of this textbook is not only to provide an elegant route through the theoretical fundamentals of computer science, but also to show that theor... Savoir plus
106,95 €Livraison sous 1 à 4 semaines106,95 €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