- Afhalen na 1 uur in een winkel met voorraad
- In januari gratis thuislevering in België
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- In januari gratis thuislevering in België
- Ruim aanbod met 7 miljoen producten
Reeksen: boeken uit de reeks Texts in Theoretical Computer Science. an Eatcs
-
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
€ 64,95€ 64,95 -
Design and Analysis of Randomized Algorithms
J Hromkovic
- Hardcover | Engels | 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 ... Lees meer
€ 70,45€ 70,45 -
The Parametric Lambda Calculus
Simona Ronchi Della Rocca, Luca Paolini
- Hardcover | Engels | 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... Lees meer
€ 53,45€ 53,45 -
Abstract Computing Machines
Werner Kluge
- Hardcover | Engels | 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... Lees meer
€ 108,45€ 108,45 -
Graphs and Algorithms in Communication Networks
- Hardcover | Engels | 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... Lees meer
€ 162,45€ 162,45 -
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
€ 64,45€ 64,45 -
Elements of Finite Model Theory
Leonid Libkin
- Paperback | Engels | 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... Lees meer
€ 108,45€ 108,45 -
Complexity Theory and Cryptology
Jörg Rothe
- Paperback | Engels | 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... Lees meer
€ 53,45€ 53,45 -
Temporal Logic and State Systems
Fred Kröger, Stephan Merz
- Hardcover | Engels | 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... Lees meer
€ 81,45€ 81,45 -
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
€ 54,45€ 54,45 -
Information and Randomness
Cristian S Calude
- Paperback | Engels | 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 ... Lees meer
€ 81,45€ 81,45 -
Communication Complexity and Parallel Computing
Juraj Hromkovič
- Paperback | Engels | 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... Lees meer
€ 53,45€ 53,45 -
Graphs and Algorithms in Communication Networks
- Paperback | Engels | 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... Lees meer
€ 162,45€ 162,45 -
Boolean Functions and Computation Models
Peter Clote, Evangelos Kranakis
- Hardcover | Engels | 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... Lees meer
€ 80,45€ 80,45 -
Computable Analysis
Klaus Weihrauch
- Hardcover | Engels | 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... Lees meer
€ 53,45€ 53,45 -
The Parametric Lambda Calculus
Simona Ronchi Della Rocca, Luca Paolini
- Paperback | Engels | 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... Lees meer
€ 54,45€ 54,45 -
Software Engineering 3
Dines Bjørner
- Paperback | Engels | 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... Lees meer
€ 119,45€ 119,45 -
Verification of Reactive Systems
Klaus Schneider
- Paperback | Engels | 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 ... Lees meer
€ 53,45€ 53,45 -
Software Engineering 2
Dines Bjørner
- Hardcover | Engels | 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... Lees meer
€ 53,45€ 53,45 -
Parameterized Complexity Theory
J Flum, M Grohe
- Paperback | Engels | 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... Lees meer
€ 92,45€ 92,45 -
Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
- Paperback | 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
€ 64,95€ 64,95 -
The Complexity Theory Companion
Lane A Hemaspaandra, Mitsunori Ogihara
- Hardcover | Engels | Texts in Theoretical Computer Science. an Eatcs
- The Complexity Theory Companion is an accessible, algorithmically oriented, research-centered, up-to-date guide to some of the most interesting techni... Lees meer
€ 85,45€ 85,45 -
Elements of Finite Model Theory
Leonid Libkin
- Hardcover | Engels | 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... Lees meer
€ 106,95€ 106,95 -
Interactive Theorem Proving and Program Development
Yves Bertot, Pierre Castéran
- Hardcover | Engels | 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... Lees meer
€ 128,45€ 128,45