Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Dang Van Hung, Deepak Kapur - Theoretical Aspects of Computing - ICTAC 2017
Dang Van Hung, Deepak Kapur Theoretical Aspects of Computing - ICTAC 2017 Inglese 17.09.2017 Tascabile Fr. 69.00 6-7 settimane
Markus Lumpe, José Proença - Formal Aspects of Component Software
Markus Lumpe, José Proença Formal Aspects of Component Software Inglese 14.09.2017 Tascabile Fr. 69.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
Marcello Balduccini, Tomi Janhunen - Logic Programming and Nonmonotonic Reasoning
Marcello Balduccini, Tomi Janhunen Logic Programming and Nonmonotonic Reasoning Inglese 29.06.2017 Tascabile Fr. 69.00 6-7 settimane
Virginia Dignum, Pablo Noriega, Murat Sensoy, Jaime Simão Sichman - Coordination, Organizations, Institutions, and Norms in Agent Systems XI
Virginia Dignum, Pablo Noriega, Murat Sensoy, Jaime Simão Sichman Coordination, Organizations, Institutions, and Norms in Agent Systems XI Inglese 14.07.2016 Tascabile Fr. 69.00 6-7 settimane
Marco Bozzano, Yiannis Papadopoulos - Model-Based Safety and Assessment
Marco Bozzano, Yiannis Papadopoulos Model-Based Safety and Assessment Inglese 02.08.2017 Tascabile Fr. 69.00 6-7 settimane
Maya Daneva, Oscar Pastor - Requirements Engineering: Foundation for Software Quality
Maya Daneva, Oscar Pastor Requirements Engineering: Foundation for Software Quality Inglese 04.03.2016 Tascabile Fr. 69.00 6-7 settimane
Paola Festa, Meinolf Sellmann, Joaquin Vanschoren - Learning and Intelligent Optimization
Paola Festa, Meinolf Sellmann, Joaquin Vanschoren Learning and Intelligent Optimization Inglese 06.12.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
Gul Agha, Benny van Houdt, Benny Van Houdt - Quantitative Evaluation of Systems
Gul Agha, Benny van Houdt, Benny Van Houdt Quantitative Evaluation of Systems Inglese 03.08.2016 Tascabile Fr. 69.00 6-7 settimane
Ichiro Hasuo - Coalgebraic Methods in Computer Science
Ichiro Hasuo Coalgebraic Methods in Computer Science Inglese 04.06.2016 Tascabile Fr. 69.00 6-7 settimane
Elvira Albert, Ivan Lanese - Formal Techniques for Distributed Objects, Components, and Systems
Elvira Albert, Ivan Lanese Formal Techniques for Distributed Objects, Components, and Systems Inglese 27.06.2016 Tascabile Fr. 69.00 6-7 settimane
Sandrine Blazy, Marsha Chechik - Verified Software. Theories, Tools, and Experiments
Sandrine Blazy, Marsha Chechik Verified Software. Theories, Tools, and Experiments Inglese 08.11.2016 Tascabile Fr. 69.00 6-7 settimane
Paolo Baldan, University of Roma "La Sapienza" - CONCUR 2014 - Concurrency Theory
Paolo Baldan, University of Roma "La Sapienza" CONCUR 2014 - Concurrency Theory Inglese 06.08.2014 Tascabile Fr. 69.00 6-7 settimane
Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich, Jan Martijn van der Werf - Web Services, Formal Methods, and Behavioral Types
Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich, Jan Martijn van der Werf Web Services, Formal Methods, and Behavioral Types Inglese 20.04.2016 Tascabile Fr. 58.50 6-7 settimane
Miklos Biro, Michael Butler, Atif Mashkoor, Klaus-Dieter Schewe - Abstract State Machines, Alloy, B, TLA, VDM, and Z
Miklos Biro, Michael Butler, Atif Mashkoor, Klaus-Dieter Schewe Abstract State Machines, Alloy, B, TLA, VDM, and Z Inglese 11.05.2016 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