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

Reihe Monographs in Computer Science

Buchcover The Science of Programming

The Science of Programming

Buchcover Specification and Development of Interactive Systems

Specification and Development of Interactive Systems

Focus on Streams, Interfaces, and Refinement

Buchcover A Basis for Theoretical Computer Science

A Basis for Theoretical 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

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