- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Reeksen: boeken uit de reeks Texts in Theoretical Computer Science. an Eatcs
-
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
€ 52,95Levertermijn 1 à 4 weken€ 52,95Levertermijn 1 à 4 weken -
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,45Levertermijn 1 à 4 weken€ 64,45Levertermijn 1 à 4 weken -
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
€ 69,45Levertermijn 1 à 4 weken€ 69,45Levertermijn 1 à 4 weken -
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
€ 106,95Levertermijn 1 à 4 weken€ 106,95Levertermijn 1 à 4 weken -
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
€ 160,45Levertermijn 1 à 4 weken€ 160,45Levertermijn 1 à 4 weken -
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
€ 96,45Levertermijn 1 à 4 weken€ 96,45Levertermijn 1 à 4 weken -
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,45Levertermijn 1 à 4 weken€ 64,45Levertermijn 1 à 4 weken -
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
€ 53,45Levertermijn 1 à 4 weken€ 53,45Levertermijn 1 à 4 weken -
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,45Levertermijn 1 à 4 weken€ 53,45Levertermijn 1 à 4 weken -
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
€ 80,45Levertermijn 1 à 4 weken€ 80,45Levertermijn 1 à 4 weken -
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
€ 80,45Levertermijn 1 à 4 weken€ 80,45Levertermijn 1 à 4 weken -
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,45Levertermijn 1 à 4 weken€ 53,45Levertermijn 1 à 4 weken -
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
€ 160,45Levertermijn 1 à 4 weken€ 160,45Levertermijn 1 à 4 weken -
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
€ 79,45Levertermijn 1 à 4 weken€ 79,45Levertermijn 1 à 4 weken -
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
€ 52,95Levertermijn 1 à 4 weken€ 52,95Levertermijn 1 à 4 weken -
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
€ 53,45Levertermijn 1 à 4 weken€ 53,45Levertermijn 1 à 4 weken -
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
€ 117,95Levertermijn 1 à 4 weken€ 117,95Levertermijn 1 à 4 weken -
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
€ 85,45Levertermijn 1 à 4 weken€ 85,45Levertermijn 1 à 4 weken -
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
€ 58,95Levertermijn 1 à 4 weken€ 58,95Levertermijn 1 à 4 weken -
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,45Levertermijn 1 à 4 weken€ 53,45Levertermijn 1 à 4 weken -
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
€ 52,95Levertermijn 1 à 4 weken€ 52,95Levertermijn 1 à 4 weken -
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
€ 94,95Levertermijn 1 à 4 weken€ 94,95Levertermijn 1 à 4 weken -
Theoretical Computer Science
Juraj Hromkovič
- Paperback | Engels | 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... Lees meer
€ 106,95Levertermijn 1 à 4 weken€ 106,95Levertermijn 1 à 4 weken -
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
€ 116,45Levertermijn 1 à 4 weken€ 116,45Levertermijn 1 à 4 weken