Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

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. 69.00 6-7 settimane
Tibor Csöndes, Gábor Kovács, György Réthy - SDL 2017: Model-Driven Engineering for Future Internet
Tibor Csöndes, Gábor Kovács, György Réthy SDL 2017: Model-Driven Engineering for Future Internet Inglese 07.09.2017 Tascabile Fr. 69.00 6-7 settimane
Sebastian Gabmeyer, Einar Broch Johnsen - Tests and Proofs
Sebastian Gabmeyer, Einar Broch Johnsen Tests and Proofs Inglese 18.06.2017 Tascabile Fr. 69.00 6-7 settimane
James Cussens, Alessandra Russo - Inductive Logic Programming
James Cussens, Alessandra Russo Inductive Logic Programming Inglese 16.07.2017 Tascabile Fr. 69.00 6-7 settimane
Manuel V Hermenegildo, Pedro Lopez-Garcia - Logic-Based Program Synthesis and Transformation
Manuel V Hermenegildo, Pedro Lopez-Garcia Logic-Based Program Synthesis and Transformation Inglese 25.07.2017 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
Matthew J. Patitz, Mike Stannett - Unconventional Computation and Natural Computation
Matthew J. Patitz, Mike Stannett Unconventional Computation and Natural Computation Inglese 28.04.2017 Tascabile Fr. 69.00 6-7 settimane
Francesco Calimeri, Kevin Hamlen, Nicola Leone - Practical Aspects of Declarative Languages
Francesco Calimeri, Kevin Hamlen, Nicola Leone Practical Aspects of Declarative Languages Inglese 22.12.2017 Tascabile Fr. 58.50 6-7 settimane
Antonio Cerone, Marco Roveri - Software Engineering and Formal Methods
Antonio Cerone, Marco Roveri Software Engineering and Formal Methods Inglese 03.02.2018 Tascabile Fr. 102.00 6-7 settimane
Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang - Dependable Software Engineering. Theories, Tools, and Applications
Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang Dependable Software Engineering. Theories, Tools, and Applications Inglese 17.10.2017 Tascabile Fr. 69.00 6-7 settimane
Daniel Cabeza, Manuel Hermenegildo - Practical Aspects of Declarative Languages
Daniel Cabeza, Manuel Hermenegildo Practical Aspects of Declarative Languages Inglese 14.01.2005 Tascabile Fr. 69.00 6-7 settimane
José Luiz Fiadeiro, Peter Mosses, Fernando Orejas - Recent Trends in Algebraic Development Techniques
José Luiz Fiadeiro, Peter Mosses, Fernando Orejas Recent Trends in Algebraic Development Techniques Inglese 23.03.2005 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
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
Jeanne Reed, Rick Reed - SDL 2001: Meeting UML
Jeanne Reed, Rick Reed SDL 2001: Meeting UML Inglese 18.06.2001 Tascabile Fr. 69.00 6-7 settimane
Arnaud Carayol, Cyril Nicaud - Implementation and Application of Automata
Arnaud Carayol, Cyril Nicaud Implementation and Application of Automata Inglese 28.05.2017 Tascabile Fr. 69.00 6-7 settimane
Cezar Câmpeanu, Giovanni Pighizzini - Descriptional Complexity of Formal Systems
Cezar Câmpeanu, Giovanni Pighizzini Descriptional Complexity of Formal Systems Inglese 03.06.2017 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
Kazuhiro Kuwabara, Jaeho Lee - Intelligent Agents and Multi-Agent Systems
Kazuhiro Kuwabara, Jaeho Lee Intelligent Agents and Multi-Agent Systems Inglese 05.08.2002 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