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

Reihe Texts in Theoretical Computer Science. An EATCS Series

Buchcover Introduction to Concurrency Theory

Introduction to Concurrency Theory

Transition Systems and CCS

Roberto Gorrieri

Springer International Publishing

Buchcover Grammatical Picture Generation

Grammatical Picture Generation

A Tree-Based Approach

Springer Berlin

Buchcover Finite Model Theory and Its Applications

Finite Model Theory and Its Applications

Springer Berlin

Buchcover Extremal Combinatorics

Extremal Combinatorics

With Applications in Computer Science

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 Introduction to Circuit Complexity

Introduction to Circuit Complexity

A Uniform Approach

Heribert Vollmer

Springer Berlin

Buchcover Public-Key Cryptography

Public-Key Cryptography

Springer Berlin

Buchcover The Complexity Theory Companion

The Complexity Theory Companion

Lane A. Hemaspaandra

Springer Berlin

Buchcover Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development

Coq’Art: The Calculus of Inductive Constructions

Springer Berlin

130 Treffer 1 2 3 4 5 6 ...