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

Reihe Monographs in Computer Science

Buchcover Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle McIver

Buchcover Geometric Fundamentals of Robotics

Geometric Fundamentals of Robotics

Buchcover Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle McIver

Buchcover High Performance Discovery In Time Series

High Performance Discovery In Time Series

Techniques and Case Studies

Buchcover High Performance Discovery In Time Series

High Performance Discovery In Time Series

Techniques and Case Studies

Buchcover Computer Systems

Computer Systems

Theory, Technology, and Applications

Buchcover Computer Systems

Computer Systems

Theory, Technology, and Applications

Buchcover Programming Methodology

Programming Methodology

Buchcover Programming Methodology

Programming Methodology

Buchcover Set Theory for Computing

Set Theory for Computing

From Decision Procedures to Declarative Programming with Sets

Domenico Cantone

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 28 29 30 31 ...