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

Reihe Monographs in Computer Science

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

Buchcover What Computing Is All About

What Computing Is All About

Jan L.A.van de Snepscheut

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