Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Uw Assmann, Uwe Assmann, Thomas Gschwind, Oscar Nierstrasz - Software Composition
Uw Assmann, Uwe Assmann, Thomas Gschwind, Oscar Nierstrasz Software Composition Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Marco Bernardo, Rocco De Nicola, Jane Hillston - Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo, Rocco De Nicola, Jane Hillston Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems Inglese 12.06.2016 Tascabile Fr. 70.00 6-7 settimane
Yvo Desmedt - Information Security
Yvo Desmedt Information Security Inglese 31.12.2015 Tascabile Fr. 70.00 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. 55.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. 69.00 6-7 settimane
Markus Lumpe, Wim Vanderperren - Software Composition
Markus Lumpe, Wim Vanderperren Software Composition Inglese 13.12.2007 Tascabile Fr. 69.00 6-7 settimane
Martin Leucker - Runtime Verification
Martin Leucker Runtime Verification Inglese 23.10.2008 Tascabile Fr. 69.00 6-7 settimane
Rohit Gheyi, David Naumann - Formal Methods: Foundations and Applications
Rohit Gheyi, David Naumann Formal Methods: Foundations and Applications Inglese 11.08.2012 Tascabile Fr. 65.00 6-7 settimane
Bob Coecke, Luke Ong, Prakash Panangaden - Computation, Logic, Games and Quantum Foundations - The Many Facets of Samson Abramsky
Bob Coecke, Luke Ong, Prakash Panangaden Computation, Logic, Games and Quantum Foundations - The Many Facets of Samson Abramsky Inglese 16.05.2013 Tascabile Fr. 69.00 6-7 settimane
Ralph Johnson, James Noble, Eugene Wallingford, Uwe Zdun - Transactions on Pattern Languages of Programming III
Ralph Johnson, James Noble, Eugene Wallingford, Uwe Zdun Transactions on Pattern Languages of Programming III Inglese 11.06.2013 Tascabile Fr. 65.00 6-7 settimane
Clark Barrett, Misty Davies, Temesghen Kahsai - NASA Formal Methods
Clark Barrett, Misty Davies, Temesghen Kahsai NASA Formal Methods Inglese 09.04.2017 Tascabile Fr. 69.00 6-7 settimane
Frank Mueller, Xipeng Shen, James Tuck - Languages and Compilers for Parallel Computing
Frank Mueller, Xipeng Shen, James Tuck Languages and Compilers for Parallel Computing Inglese 20.02.2016 Tascabile Fr. 69.00 6-7 settimane
Simon Devitt, Ivan Lanese - Reversible Computation
Simon Devitt, Ivan Lanese Reversible Computation Inglese 30.06.2016 Tascabile Fr. 69.00 6-7 settimane
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 Fr. 69.00 6-7 settimane
Alberto Lluch Lafuente, José Proença - Coordination Models and Languages
Alberto Lluch Lafuente, José Proença Coordination Models and Languages Inglese 27.06.2016 Tascabile Fr. 69.00 6-7 settimane
Jonathan P. Bowen, Huibiao Zhu - Unifying Theories of Programming
Jonathan P. Bowen, Huibiao Zhu Unifying Theories of Programming Inglese 11.01.2017 Tascabile Fr. 69.00 6-7 settimane
John Criswell, Chen Ding, Peng Wu - Languages and Compilers for Parallel Computing
John Criswell, Chen Ding, Peng Wu Languages and Compilers for Parallel Computing Inglese 20.01.2017 Tascabile Fr. 69.00 6-7 settimane
Yuliya Lierler, Walid Taha - Practical Aspects of Declarative Languages
Yuliya Lierler, Walid Taha Practical Aspects of Declarative Languages Inglese 17.12.2016 Tascabile Fr. 69.00 6-7 settimane
Matteo Baldoni, Amit K. Chopra, Katsutoshi Hirayama, Tran Cao Son, Paolo Torroni - PRIMA 2016: Principles and Practice of Multi-Agent Systems
Matteo Baldoni, Amit K. Chopra, Katsutoshi Hirayama, Tran Cao Son, Paolo Torroni PRIMA 2016: Principles and Practice of Multi-Agent Systems Inglese 10.08.2016 Tascabile Fr. 69.00 6-7 settimane
Dorel Lucanu - Rewriting Logic and Its Applications
Dorel Lucanu Rewriting Logic and Its Applications Inglese 18.08.2016 Tascabile Fr. 69.00 6-7 settimane