Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Joaquim Filipe, Jaap van den Herik, Jaap van den Herik - Agents and Artificial Intelligence
Joaquim Filipe, Jaap van den Herik, Jaap van den Herik Agents and Artificial Intelligence Inglese 07.02.2017 Tascabile Fr. 69.00 6-7 settimane
Leonardo de Moura, Moa Johansson, Michael Kohlhase, Bruce Miller, Frank Toma, Frank Tompa - Intelligent Computer Mathematics
Leonardo de Moura, Moa Johansson, Michael Kohlhase, Bruce Miller, Frank Toma, Frank Tompa Intelligent Computer Mathematics Inglese 12.07.2016 Tascabile Fr. 58.50 6-7 settimane
Ivica Crnkovic, Elena Troubitsyna - Software Engineering for Resilient Systems
Ivica Crnkovic, Elena Troubitsyna Software Engineering for Resilient Systems Inglese 26.08.2016 Tascabile Fr. 69.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. 69.00 6-7 settimane
Furio Honsell, Marino Miculan, Ivan Scagnetto - Types for Proofs and Programs
Furio Honsell, Marino Miculan, Ivan Scagnetto Types for Proofs and Programs Inglese 26.05.2008 Tascabile Fr. 69.00 6-7 settimane
Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff - Programming Multi-Agent Systems
Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff Programming Multi-Agent Systems Inglese 29.04.2008 Tascabile Fr. 69.00 6-7 settimane
Supratik Chakraborty, Madhavan Mukund - Automated Technology for Verification and Analysis
Supratik Chakraborty, Madhavan Mukund Automated Technology for Verification and Analysis Inglese 16.08.2012 Tascabile Fr. 69.00 6-7 settimane
Matteo Baldoni, Birna van Riemsdijk, Tran Cao Son, Birna van Riemsdijk, Michael Winikoff - Declarative Agent Languages and Technologies VI
Matteo Baldoni, Birna van Riemsdijk, Tran Cao Son, Birna van Riemsdijk, Michael Winikoff Declarative Agent Languages and Technologies VI Inglese 12.01.2009 Tascabile Fr. 69.00 6-7 settimane
Corina S Pasareanu, Corina S. Pasareanu, Gwen Salaün - Formal Aspects of Component Software
Corina S Pasareanu, Corina S. Pasareanu, Gwen Salaün Formal Aspects of Component Software Inglese 09.01.2013 Tascabile Fr. 65.00 6-7 settimane
Andrea De Lucia, Filomena Ferrucci - Software Engineering
Andrea De Lucia, Filomena Ferrucci Software Engineering Inglese 11.01.2013 Tascabile Fr. 65.00 6-7 settimane
Bernhard Beckert, Marcello M. Bonsangue, Ferruccio Damiani, Frank S. de Boer - Formal Methods for Components and Objects
Bernhard Beckert, Marcello M. Bonsangue, Ferruccio Damiani, Frank S. de Boer Formal Methods for Components and Objects Inglese 03.01.2013 Tascabile Fr. 69.00 6-7 settimane
Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza - Recent Advances in Constraints
Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza Recent Advances in Constraints Inglese 07.04.2004 Tascabile Fr. 69.00 6-7 settimane
Tiziana Maragria, Bernhard Steffen - Leveraging Applications of Formal Methods
Tiziana Maragria, Bernhard Steffen Leveraging Applications of Formal Methods Inglese 03.11.2006 Tascabile Fr. 69.00 6-7 settimane
George Eleftherakis, Mike Hinchey, Mike Holcombe - Software Engineering and Formal Methods
George Eleftherakis, Mike Hinchey, Mike Holcombe Software Engineering and Formal Methods Inglese 28.08.2012 Tascabile Fr. 69.00 6-7 settimane
Jean-Michel Bruel - Satellite Events at the MoDELS 2005 Conference
Jean-Michel Bruel Satellite Events at the MoDELS 2005 Conference Inglese 25.01.2006 Tascabile Fr. 69.00 6-7 settimane
Oleg Sokolsky, Serdar Tasiran - Runtime Verification
Oleg Sokolsky, Serdar Tasiran Runtime Verification Inglese 12.12.2007 Tascabile Fr. 69.00 6-7 settimane
Jean Pierre Banatre, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer, Martin Wirsing - Software-Intensive Systems and New Computing Paradigms
Jean Pierre Banatre, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer, Martin Wirsing Software-Intensive Systems and New Computing Paradigms Inglese 06.11.2008 Tascabile Fr. 69.00 6-7 settimane
Nabil Abdennadher, Nabi Abdennahder, Nabil Abdennahder, KORDON, Kordon, Fabrice Kordon - Reliable Software Technologies - Ada-Europe 2007
Nabil Abdennadher, Nabi Abdennahder, Nabil Abdennahder, KORDON, Kordon, Fabrice Kordon Reliable Software Technologies - Ada-Europe 2007 Inglese 05.08.2009 Tascabile Fr. 70.00 6-7 settimane
Michae Cebulla, Michael Cebulla - Object-Oriented Technology. ECOOP 2007 Workshop Reader
Michae Cebulla, Michael Cebulla Object-Oriented Technology. ECOOP 2007 Workshop Reader Inglese 29.01.2013 Tascabile Fr. 70.00 6-7 settimane
Stefa Leue, Stefan Leue, Merino, Merino, Pedro Merino - Formal Methods for Industrial Critical Systems
Stefa Leue, Stefan Leue, Merino, Merino, Pedro Merino Formal Methods for Industrial Critical Systems Inglese 27.09.2012 Tascabile Fr. 70.00 6-7 settimane