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

Reihe Progress in Theoretical Computer Science

Buchcover Comparative Metric Semantics of Programming Languages

Comparative Metric Semantics of Programming Languages

Nondeterminism and Recursion

Franck van Breughel

Birkhäuser Boston

Buchcover Solving Higher-Order Equations

Solving Higher-Order Equations

From Logic to Programming

Christian Prehofer

Birkhäuser Boston

Buchcover Object-Oriented Programming A Unified Foundation

Object-Oriented Programming A Unified Foundation

Giuseppe Castagna

Birkhäuser Boston

Buchcover Algol-like Languages

Algol-like Languages

Birkhäuser Boston

Buchcover Algol-like Languages

Algol-like Languages

Birkhäuser Boston

Buchcover Algol-like Languages

Algol-like Languages

Birkhäuser Boston

Buchcover Isomorphisms of Types

Isomorphisms of Types

from ?-calculus to information retrieval and language design

Roberto DiCosmo

Birkhäuser Boston

Buchcover The Combinatory Programme

The Combinatory Programme

Birkhäuser Boston

Buchcover Subrecursive Programming Systems

Subrecursive Programming Systems

Complexity & Succinctness

Birkhäuser Boston

Buchcover Polynomial and Matrix Computations

Polynomial and Matrix Computations

Fundamental Algorithms

Birkhäuser Boston

59 Treffer 1 2 3 4 5 6