Sprache
Thema
Format
Zurücksetzen Verfügbarkeit
Autoren

Suchresultat

Djamal Benslimane, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain, Roland Wagner - Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX
Djamal Benslimane, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain, Roland Wagner Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Englisch 06.12.2018 Taschenbuch vergriffen
Hendrik Decker, Abdelkader Hameurlain, Josef Küng, Roland Wagner - Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV
Hendrik Decker, Abdelkader Hameurlain, Josef Küng, Roland Wagner Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Englisch 17.10.2017 Taschenbuch vergriffen
Cristina Alcaraz, Sokratis K. Katsikas - Security and Trust Management
Cristina Alcaraz, Sokratis K. Katsikas Security and Trust Management Englisch 02.10.2018 Taschenbuch vergriffen
Aaron R. Bradley, Zohar Manna - The Calculus of Computation
Aaron R. Bradley, Zohar Manna The Calculus of Computation Englisch 19.10.2010 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
Jianyong Ouyang - Emerging Resistive Switching Memories
Jianyong Ouyang Emerging Resistive Switching Memories Englisch 11.07.2016 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
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi... - Finite Model Theory and Its Applications
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi... Finite Model Theory and Its Applications Englisch 30.10.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
Mark W Maier, Mark W. Maier, Mark W. (Aerospace Corporation Maier, Maier Mark W., Eberhardt Rechtin, Eberhardt Rechtin (deceased)... - The Art of Systems Architecting
Mark W Maier, Mark W. Maier, Mark W. (Aerospace Corporation Maier, Maier Mark W., Eberhardt Rechtin, Eberhardt Rechtin (deceased)... The Art of Systems Architecting Englisch 13.01.2009 Fester Einband vergriffen
Asterios Agkathidis, Bis Publishers, Asterios Bis Publishers Agkathidis - Digital Manufacturing
Asterios Agkathidis, Bis Publishers, Asterios Bis Publishers Agkathidis Digital Manufacturing Englisch 08.07.2010 Taschenbuch vergriffen