Buchportal für Bücher die eine ISBN tragen.

Reihe Texts in Theoretical Computer Science. An EATCS Series

Buchcover Design and Analysis of Randomized Algorithms

Design and Analysis of Randomized Algorithms

Introduction to Design Paradigms

Springer Berlin

Buchcover Dissemination of Information in Communication Networks

Dissemination of Information in Communication Networks

Broadcasting, Gossiping, Leader Election, and Fault-Tolerance

Juraj Hromkovič

Springer Berlin

Buchcover Abstract Computing Machines

Abstract Computing Machines

A Lambda Calculus Perspective

Springer Berlin

Buchcover A Practical Theory of Reactive Systems

A Practical Theory of Reactive Systems

Incremental Modeling of Dynamic Behaviors

R. Kurki-Suonio

Springer Berlin

Buchcover Universal Artificial Intelligence

Universal Artificial Intelligence

Sequential Decisions Based on Algorithmic Probability

Springer Berlin

Buchcover The Parametric Lambda Calculus

The Parametric Lambda Calculus

A Metamodel for Computation

Simona Ronchi Della Rocca

Springer Berlin

Buchcover Elements of Finite Model Theory

Elements of Finite Model Theory

Springer Berlin

Buchcover Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development

Coq’Art: The Calculus of Inductive Constructions

Springer Berlin

Buchcover Verification of Reactive Systems

Verification of Reactive Systems

Formal Methods and Algorithms

Klaus Schneider

Springer Berlin

Buchcover Theoretical Computer Science

Theoretical Computer Science

Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography

Juraj Hromkovič

Springer Berlin

130 Treffer 1 2 3 4 5 6 7 8 9 10 11 12 13