Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Dieter Fiems, Marco Paolieri, Agapios Platis, Agapios N. Platis - Computer Performance Engineering
Dieter Fiems, Marco Paolieri, Agapios Platis, Agapios N. Platis Computer Performance Engineering Inglese 16.09.2016 Tascabile Fr. 70.00 6-7 settimane
Natalia Kushik, Mihai Nica, Franz Wotawa - Testing Software and Systems
Natalia Kushik, Mihai Nica, Franz Wotawa Testing Software and Systems Inglese 04.10.2016 Tascabile Fr. 70.00 6-7 settimane
Axel Legay, Tiziana Margaria - Tools and Algorithms for the Construction and Analysis of Systems
Axel Legay, Tiziana Margaria Tools and Algorithms for the Construction and Analysis of Systems Inglese 31.03.2017 Tascabile Fr. 70.00 6-7 settimane
Jör Desel, Jörg Desel, Serge Haddad, Maciej Koutny - Transactions on Petri Nets and Other Models of Concurrency X
Jör Desel, Jörg Desel, Serge Haddad, Maciej Koutny Transactions on Petri Nets and Other Models of Concurrency X Inglese 01.01.2015 Tascabile Fr. 70.00 6-7 settimane
Isi Dillig, Isil Dillig, Palsberg, Palsberg, Jens Palsberg - Verification, Model Checking, and Abstract Interpretation
Isi Dillig, Isil Dillig, Palsberg, Palsberg, Jens Palsberg Verification, Model Checking, and Abstract Interpretation Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Constanti Enea, Constantin Enea, Piskac, Piskac, Ruzica Piskac - Verification, Model Checking, and Abstract Interpretation
Constanti Enea, Constantin Enea, Piskac, Piskac, Ruzica Piskac Verification, Model Checking, and Abstract Interpretation Inglese 01.01.2019 Tascabile Fr. 70.00 6-7 settimane
Jens Palsberg, Zhendong Su - Static Analysis
Jens Palsberg, Zhendong Su Static Analysis Inglese 20.07.2009 Tascabile Fr. 70.00 6-7 settimane
Thao Dang, Ádám Halász, Oded Maler, Carla Piazza - Hybrid Systems Biology
Thao Dang, Ádám Halász, Oded Maler, Carla Piazza Hybrid Systems Biology Inglese 25.12.2015 Tascabile Fr. 56.90 6-7 settimane
Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent - Deontic Logic and Normative Systems
Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent Deontic Logic and Normative Systems Inglese 04.08.2014 Tascabile Fr. 70.00 6-7 settimane
Christiano Braga, Peter Csaba Ölveczky - Formal Aspects of Component Software
Christiano Braga, Peter Csaba Ölveczky Formal Aspects of Component Software Inglese 30.01.2016 Tascabile Fr. 70.00 6-7 settimane
Jose Luiz Fiadeiro, José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue - Formal Aspects of Component Software
Jose Luiz Fiadeiro, José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue Formal Aspects of Component Software Inglese 30.07.2014 Tascabile Fr. 70.00 6-7 settimane
Jordi Cabot, Julia Rubin - Modelling Foundations and Applications
Jordi Cabot, Julia Rubin Modelling Foundations and Applications Inglese 05.08.2014 Tascabile Fr. 68.00 6-7 settimane
Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker - SDL 2015: Model-Driven Engineering for Smart Cities
Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker SDL 2015: Model-Driven Engineering for Smart Cities Inglese 28.11.2015 Tascabile Fr. 68.00 6-7 settimane
Ouyang Chun, Chun Ouyang, Emilio Tuosto - Web Services and Formal Methods
Ouyang Chun, Chun Ouyang, Emilio Tuosto Web Services and Formal Methods Inglese 25.07.2014 Tascabile Fr. 56.90 6-7 settimane
Márcio Cornélio, Bill Roscoe - Formal Methods: Foundations and Applications
Márcio Cornélio, Bill Roscoe Formal Methods: Foundations and Applications Inglese 03.02.2016 Tascabile Fr. 56.90 6-7 settimane
Arie Gurfinkel, Sanjit A. Seshia - Verified Software: Theories, Tools, and Experiments
Arie Gurfinkel, Sanjit A. Seshia Verified Software: Theories, Tools, and Experiments Inglese 29.01.2016 Tascabile Fr. 70.00 6-7 settimane
Antonis Bikakis, Paul Fodor, Dumitru Roman - Rules on the Web: From Theory to Applications
Antonis Bikakis, Paul Fodor, Dumitru Roman Rules on the Web: From Theory to Applications Inglese 04.08.2014 Tascabile Fr. 70.00 6-7 settimane
Diana Gordon, Michael G. Hinchey, James L. Rash, Christopher A. Rouff, Walter Truszkowski - Formal Approaches to Agent-Based Systems
Diana Gordon, Michael G. Hinchey, James L. Rash, Christopher A. Rouff, Walter Truszkowski Formal Approaches to Agent-Based Systems Inglese 10.10.2001 Tascabile Fr. 70.00 6-7 settimane
U. Schmid, Ute Schmid - Inductive Synthesis of Functional Programs
U. Schmid, Ute Schmid Inductive Synthesis of Functional Programs Inglese 21.08.2003 Tascabile Fr. 70.00 6-7 settimane
Yevgen Biletskiy, Adrian Paschke - Advances in Rule Interchange and Applications
Yevgen Biletskiy, Adrian Paschke Advances in Rule Interchange and Applications Inglese 15.10.2007 Tascabile Fr. 70.00 6-7 settimane