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

Reihe Texts in Theoretical Computer Science. An EATCS Series

Buchcover DNA Computing

New Computing Paradigms

Springer Berlin

Buchcover Introduction to Process Algebra

Introduction to Process Algebra

Springer Berlin

Buchcover Theoretical Computer Science

Theoretical Computer Science

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

Juraj Hromkovič

Springer Berlin

Buchcover Public-Key Cryptography

Public-Key Cryptography

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 Dissemination of Information in Optical Networks:

Dissemination of Information in Optical Networks:

From Technology to Algorithms

Subir Bandyopadhyay

Springer Berlin

Buchcover Temporal Logic and State Systems

Temporal Logic and State Systems

Springer Berlin

Buchcover Modelling Distributed Systems

Modelling Distributed Systems

Springer Berlin

Buchcover Abstract Computing Machines

Abstract Computing Machines

A Lambda Calculus Perspective

Springer Berlin

130 Treffer 1 2 3 4 5 6 7 8 9 10 ...