Suchresultat - Bücher - CeDe.ch

Nimm mit uns Kontakt auf!

Hast du Fragen, Tipps, Lob oder Kritik? Deine Rückmeldung hilft uns, CeDe.ch noch besser zu machen. Wir freuen uns deshalb über jede Nachricht und beantworten alle E-Mails schnell, kompetent und gerne. Vielen Dank!

Diese Seite verwendet Cookies. Erfahren Sie in unserer Datenschutzerklärung mehr darüber, wie wir Cookies einsetzen und wie Sie Ihre Einstellungen ändern können. OK

Portofreier Versand aus Winterthur seit 1997

Suchresultat

Lei Bu, Holger Hermanns, Jun Sun - Dependable Software Engineering. Theories, Tools, and Applications

Lei Bu, Holger Hermanns, Jun Sun Dependable Software Engineering. Theories, Tools, and Applications Englisch 07.01.2024 Taschenbuch Fr. 109.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)

Holge Hermanns, Holger Hermanns - Measurement, Modelling and Evaluation of Computing Systems

Holge Hermanns, Holger Hermanns Measurement, Modelling and Evaluation of Computing Systems Englisch 01.05.2020 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)

Holger Hermanns, Jens Palsberg - Tools and Algorithms for the Construction and Analysis of Systems

Holger Hermanns, Jens Palsberg Tools and Algorithms for the Construction and Analysis of Systems Englisch 15.03.2006 Taschenbuch Fr. 70.00 6-7 Wochen

Holge Hermanns, Holger Hermanns, SEGALA, Segala, Roberto Segala - Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Holge Hermanns, Holger Hermanns, SEGALA, Segala, Roberto Segala Process Algebra and Probabilistic Methods: Performance Modeling and Verification Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen

Holger Hermanns - Interactive Markov Chains

Holger Hermanns Interactive Markov Chains Englisch 18.10.2002 Taschenbuch Fr. 70.00 6-7 Wochen

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Holger Hermanns et al, Joost-Pieter Katoen, Boudewij R Haverkort... - Validation of Stochastic Systems

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Holger Hermanns et al, Joost-Pieter Katoen, Boudewij R Haverkort... Validation of Stochastic Systems Englisch 08.10.2004 Taschenbuch Fr. 70.00 6-7 Wochen

Werner Damm, Holger Hermanns - Computer Aided Verification

Werner Damm, Holger Hermanns Computer Aided Verification Englisch 14.04.2009 Taschenbuch Fr. 70.00 6-7 Wochen

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen - Lectures on Formal Methods and Performance Analysis

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen Lectures on Formal Methods and Performance Analysis Englisch 29.08.2001 Taschenbuch Fr. 70.00 6-7 Wochen