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

Reihe Texts in Theoretical Computer Science. An EATCS Series

Buchcover The Parametric Lambda Calculus

The Parametric Lambda Calculus

A Metamodel for Computation

Simona Ronchi Della Rocca

Springer Berlin

Buchcover Computable Analysis

Computable Analysis

An Introduction

Klaus Weihrauch

Springer Berlin

Buchcover Parsing Schemata

Parsing Schemata

A Framework for Specification and Analysis of Parsing Algorithms

Springer Berlin

Buchcover The Resolution Calculus

The Resolution Calculus

Alexander Leitsch

Springer Berlin

Buchcover Models of Massive Parallelism

Models of Massive Parallelism

Analysis of Cellular Automata and Neural Networks

Springer Berlin

Buchcover Structural Complexity I

Structural Complexity I

Jose L. Balcazar

Springer Berlin

Buchcover Exact Exponential Algorithms

Exact Exponential Algorithms

Springer Berlin

Buchcover Graphs and Algorithms in Communication Networks

Graphs and Algorithms in Communication Networks

Studies in Broadband, Optical, Wireless and Ad Hoc Networks

Springer Berlin

Buchcover Models of Massive Parallelism

Models of Massive Parallelism

Analysis of Cellular Automata and Neural Networks

Springer Berlin

Buchcover Structural Complexity I

Structural Complexity I

Jose L. Balcazar

Springer Berlin

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