Types for Proofs and Programs, Fachbücher von Marino Miculan, Furio Honsell, Ivan Scagnetto

Stefano Berardi (u. A.) | Types For Proofs And Programs | Taschenbuch

Certified Programs and Proofs, Fachbücher von Dale Miller, Chris Hawblitzel

Algorithms and Programs of Dynamic Mixture Estimation, Fachbücher von Evgenia Suzdaleva, Ivan Nagy

Types for Proofs and Programs, Fachbücher von Ferruccio Damiani, Ugo De Liguoro, Stefano Berardi

Lutz Plümer | Termination Proofs For Logic Programs | Taschenbuch |

Education and Support Programs for Caregivers, Fachbücher

Successful Prevention Programs for Children and Adolescents, Fachbücher

Certified Programs And Proofs Second International Conference, Cpp

Formal Semantics and Proof Techniques for Optimizing VHDL Models, Fachbücher

Programs for Developing and Feeding the Breeding Herd, Fachbücher

Type Systems For Distributed Programs: Components And Sessions 3320

Functional Fillers for Plastics, Fachbücher von Marino Xanthos

Michael Norrish (u. A.) | Certified Programs And Proofs | Taschenbuch

Developing and Evaluating Educational Programs for Students with Autism, Fachbücher

Types for Proofs and Programs, Fachbücher