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

Reihe Monographs in Computer Science

Buchcover Geometric Fundamentals of Robotics

Geometric Fundamentals of Robotics

Buchcover Parsing Techniques

Parsing Techniques

A Practical Guide

Buchcover Parsing Techniques

Parsing Techniques

A Practical Guide

Buchcover Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle McIver

Buchcover Adapting Proofs-as-Programs

Adapting Proofs-as-Programs

The Curry--Howard Protocol

Buchcover Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle McIver

Buchcover Adapting Proofs-as-Programs

Adapting Proofs-as-Programs

The Curry--Howard Protocol

Buchcover Software Configuration Management Using Vesta

Software Configuration Management Using Vesta

Clark Allan Heydon

Buchcover Numerical Geometry of Non-Rigid Shapes

Numerical Geometry of Non-Rigid Shapes

Alexander M. Bronstein

Buchcover Numerical Geometry of Non-Rigid Shapes

Numerical Geometry of Non-Rigid Shapes

Alexander M. Bronstein

330 Treffer 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 ...