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

Reihe Monographs in Computer Science

Buchcover Programming with Sets

Programming with Sets

An Introduction to SETL

Buchcover An Introduction to Formal Language Theory

An Introduction to Formal Language Theory

Buchcover The Synthesizer Generator

The Synthesizer Generator

A System for Constructing Language-Based Editors

Buchcover The Synthesizer Generator Reference Manual

The Synthesizer Generator Reference Manual

Buchcover VLSI Placement and Routing: The PI Project

VLSI Placement and Routing: The PI Project

Alan T. Sherman

Buchcover Programming with Specifications

Programming with Specifications

An Introduction to ANNA, A Language for Specifying Ada Programs

Buchcover Programming in the 1990s

Programming in the 1990s

An Introduction to the Calculation of Programs

Buchcover String-Rewriting Systems

String-Rewriting Systems

Buchcover Logic for Applications

Logic for Applications

Buchcover First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving

308 Treffer 1 2 3 4 5 6 7 8 9 10 11 12 13 14 ...