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

Reihe Monographs in Computer Science

Buchcover Software Configuration Management Using Vesta

Software Configuration Management Using Vesta

Clark Allan Heydon

Buchcover Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle McIver

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 Adapting Proofs-as-Programs

Adapting Proofs-as-Programs

The Curry--Howard Protocol

Buchcover Evolutionary Synthesis of Pattern Recognition Systems

Evolutionary Synthesis of Pattern Recognition Systems

Buchcover Evolutionary Synthesis of Pattern Recognition Systems

Evolutionary Synthesis of Pattern Recognition Systems

Buchcover Reverse Engineering of Object Oriented Code

Reverse Engineering of Object Oriented Code

Buchcover Reverse Engineering of Object Oriented Code

Reverse Engineering of Object Oriented Code

Buchcover Super-Recursive Algorithms

Super-Recursive Algorithms

308 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 ...