Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

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
Andy King, Oleg Kiselyov - Functional and Logic Programming
Andy King, Oleg Kiselyov Functional and Logic Programming Inglese 23.02.2016 Tascabile Fr. 67.00 6-7 settimane
Christiano Braga, Narciso Martí-Oliet - Formal Methods: Foundations and Applications
Christiano Braga, Narciso Martí-Oliet Formal Methods: Foundations and Applications Inglese 27.01.2015 Tascabile Fr. 55.90 6-7 settimane
Kerstin Lemke-Rust, Michael Tunstall - Smart Card Research and Advanced Applications
Kerstin Lemke-Rust, Michael Tunstall Smart Card Research and Advanced Applications Inglese 07.03.2017 Tascabile Fr. 69.00 6-7 settimane
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