Lingue
Categoria
Format
Resettare disponibilità
Autori

Risultato ricerca

Zhenhua Duan, Shaoying Liu - Structured Object-Oriented Formal Language and Method
Zhenhua Duan, Shaoying Liu Structured Object-Oriented Formal Language and Method Inglese 13.03.2016 Tascabile Esaurito
Jonathan P. Bowen, Huibiao Zhu - Unifying Theories of Programming
Jonathan P. Bowen, Huibiao Zhu Unifying Theories of Programming Inglese 11.01.2017 Tascabile Esaurito
Ichiro Hasuo - Coalgebraic Methods in Computer Science
Ichiro Hasuo Coalgebraic Methods in Computer Science Inglese 04.06.2016 Tascabile Esaurito
Eva Kühn, Rosario Pugliese - Coordination Models and Languages
Eva Kühn, Rosario Pugliese Coordination Models and Languages Inglese 24.07.2014 Tascabile Esaurito
Benoit Gaudou, Jaime Simao Sichman - Multi-agent Based Simulation XVI
Benoit Gaudou, Jaime Simao Sichman Multi-agent Based Simulation XVI Inglese 15.03.2016 Tascabile Esaurito
Sebastian Gabmeyer, Einar Broch Johnsen - Tests and Proofs
Sebastian Gabmeyer, Einar Broch Johnsen Tests and Proofs Inglese 18.06.2017 Tascabile Esaurito
Serge Gaspers, Toby Walsh - Theory and Applications of Satisfiability Testing - SAT 2017
Serge Gaspers, Toby Walsh Theory and Applications of Satisfiability Testing - SAT 2017 Inglese 09.08.2017 Tascabile Esaurito
Jeremy Gibbons, Perdita Stevens - Bidirectional Transformations
Jeremy Gibbons, Perdita Stevens Bidirectional Transformations Inglese 29.03.2018 Tascabile Esaurito
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 Inglese 28.09.2016 Tascabile Esaurito
Amal Ahmed - Programming Languages and Systems
Amal Ahmed Programming Languages and Systems Inglese 15.04.2018 Tascabile Esaurito
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 Inglese 26.05.2014 Tascabile Esaurito
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 Inglese 05.05.2017 Tascabile Esaurito
Nadia Polikarpova, Steve Schneider - Integrated Formal Methods
Nadia Polikarpova, Steve Schneider Integrated Formal Methods Inglese 27.08.2017 Tascabile Esaurito