Sprache
Thema
Format
Zurücksetzen Verfügbarkeit
Autoren

Suchresultat

Zhenhua Duan, Shaoying Liu - Structured Object-Oriented Formal Language and Method
Zhenhua Duan, Shaoying Liu Structured Object-Oriented Formal Language and Method Englisch 13.03.2016 Taschenbuch vergriffen
Jonathan P. Bowen, Huibiao Zhu - Unifying Theories of Programming
Jonathan P. Bowen, Huibiao Zhu Unifying Theories of Programming Englisch 11.01.2017 Taschenbuch vergriffen
Ichiro Hasuo - Coalgebraic Methods in Computer Science
Ichiro Hasuo Coalgebraic Methods in Computer Science Englisch 04.06.2016 Taschenbuch vergriffen
Eva Kühn, Rosario Pugliese - Coordination Models and Languages
Eva Kühn, Rosario Pugliese Coordination Models and Languages Englisch 24.07.2014 Taschenbuch vergriffen
Benoit Gaudou, Jaime Simao Sichman - Multi-agent Based Simulation XVI
Benoit Gaudou, Jaime Simao Sichman Multi-agent Based Simulation XVI Englisch 15.03.2016 Taschenbuch vergriffen
Sebastian Gabmeyer, Einar Broch Johnsen - Tests and Proofs
Sebastian Gabmeyer, Einar Broch Johnsen Tests and Proofs Englisch 18.06.2017 Taschenbuch vergriffen
Serge Gaspers, Toby Walsh - Theory and Applications of Satisfiability Testing - SAT 2017
Serge Gaspers, Toby Walsh Theory and Applications of Satisfiability Testing - SAT 2017 Englisch 09.08.2017 Taschenbuch vergriffen
Jeremy Gibbons, Perdita Stevens - Bidirectional Transformations
Jeremy Gibbons, Perdita Stevens Bidirectional Transformations Englisch 29.03.2018 Taschenbuch vergriffen
Ryszard Kowalczyk, Ngoc Thanh Nguyen, Cezary Or¿owski, Cezary Orłowski, Artur Zió¿kowski, Artur Ziólkowski... - Transactions on Computational Collective Intelligence XXV
Ryszard Kowalczyk, Ngoc Thanh Nguyen, Cezary Or¿owski, Cezary Orłowski, Artur Zió¿kowski, Artur Ziólkowski... Transactions on Computational Collective Intelligence XXV Englisch 28.09.2016 Taschenbuch vergriffen
Amal Ahmed - Programming Languages and Systems
Amal Ahmed Programming Languages and Systems Englisch 15.04.2018 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
Wil Van Der Aalst, Eike Best, Wil van der Aalst - Application and Theory of Petri Nets and Concurrency
Wil Van Der Aalst, Eike Best, Wil van der Aalst Application and Theory of Petri Nets and Concurrency Englisch 05.05.2017 Taschenbuch vergriffen
Nadia Polikarpova, Steve Schneider - Integrated Formal Methods
Nadia Polikarpova, Steve Schneider Integrated Formal Methods Englisch 27.08.2017 Taschenbuch vergriffen