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

Cristina Alcaraz, Sokratis K. Katsikas - Security and Trust Management

Cristina Alcaraz, Sokratis K. Katsikas Security and Trust Management Englisch 02.10.2018 Taschenbuch vergriffen

Yevgen Biletskiy, Adrian Paschke - Advances in Rule Interchange and Applications

Yevgen Biletskiy, Adrian Paschke Advances in Rule Interchange and Applications Englisch 15.10.2007 Taschenbuch vergriffen

Anna-Lena Lamprecht - Leveraging Applications of Formal Methods, Verification, and Validation

Anna-Lena Lamprecht Leveraging Applications of Formal Methods, Verification, and Validation Englisch 22.12.2016 Taschenbuch vergriffen

Cyrille Artho, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems Englisch 16.02.2017 Taschenbuch vergriffen

Ivica Crnkovic, George T. Heineman, Heinz G. Schmidt, Judith A. Stafford - Component-Based Software Engineering

Ivica Crnkovic, George T. Heineman, Heinz G. Schmidt, Judith A. Stafford Component-Based Software Engineering Englisch 29.06.2007 Taschenbuch vergriffen

Fred Kröger, Stephan Merz - Temporal Logic and State Systems

Fred Kröger, Stephan Merz Temporal Logic and State Systems Englisch 25.11.2010 Taschenbuch vergriffen

Yamine Ait Ameur, Frederic Boniol, Klaus-Dieter Schewe, Virginie Wiels - ABZ 2014: The Landing Gear Case Study

Yamine Ait Ameur, Frederic Boniol, Klaus-Dieter Schewe, Virginie Wiels ABZ 2014: The Landing Gear Case Study Englisch 26.05.2014 Taschenbuch vergriffen

Matteo Baldoni, M. Birna van Riemsdijk, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff - Declarative Agent Languages and Technologies V

Matteo Baldoni, M. Birna van Riemsdijk, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff Declarative Agent Languages and Technologies V Englisch 29.01.2008 Taschenbuch vergriffen

Clark Barrett, Waldmann, Uwe Waldmann - Automated Deduction - CADE 30

Clark Barrett, Waldmann, Uwe Waldmann Automated Deduction - CADE 30 Englisch 11.09.2025 Taschenbuch vergriffen