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

Reihe Monographs in Computer Science

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

Buchcover Programming Methodology

Programming Methodology

Buchcover Parameterized Complexity

Parameterized Complexity

Rodney G. Downey

Buchcover Computational Geometry

Computational Geometry

An Introduction

Franco P. Preparata

Buchcover Larch: Languages and Tools for Formal Specification

Larch: Languages and Tools for Formal Specification

330 Treffer 1 2 3 4 5 6 7 8 9 10 11 12 ...