Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Cristina Alcaraz, Sokratis K. Katsikas - Security and Trust Management
Cristina Alcaraz, Sokratis K. Katsikas Security and Trust Management Inglese 02.10.2018 Tascabile Fr. 70.00 6-7 settimane
Alessandro Abate, David Safranek - Hybrid Systems Biology
Alessandro Abate, David Safranek Hybrid Systems Biology Inglese 10.01.2016 Tascabile Fr. 68.00 6-7 settimane
Carlos Martín-Vide, Alexander Okhotin, Dana Shapira - Language and Automata Theory and Applications
Carlos Martín-Vide, Alexander Okhotin, Dana Shapira Language and Automata Theory and Applications Inglese 15.02.2019 Tascabile Fr. 70.00 6-7 settimane
Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni - Programming Multi-Agent Systems
Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni Programming Multi-Agent Systems Inglese 23.02.2005 Tascabile Fr. 70.00 6-7 settimane
Andy King - Logic-Based Program Synthesis and Transformation
Andy King Logic-Based Program Synthesis and Transformation Inglese 18.03.2008 Tascabile Fr. 70.00 6-7 settimane
Dragan Bosnacki, Stefan Edelkamp - Model Checking Software
Dragan Bosnacki, Stefan Edelkamp Model Checking Software Inglese 21.06.2007 Tascabile Fr. 70.00 6-7 settimane
Sanjai Rayadurgam, Oksana Tkachuk - NASA Formal Methods
Sanjai Rayadurgam, Oksana Tkachuk NASA Formal Methods Inglese 04.06.2016 Tascabile Fr. 91.00 6-7 settimane
Paolo Milazzo, Dániel Varró, Manuel Wimmer - Software Technologies: Applications and Foundations
Paolo Milazzo, Dániel Varró, Manuel Wimmer Software Technologies: Applications and Foundations Inglese 06.12.2016 Tascabile Fr. 70.00 6-7 settimane
Susanna Donatelli, Stefan Haar - Application and Theory of Petri Nets and Concurrency
Susanna Donatelli, Stefan Haar Application and Theory of Petri Nets and Concurrency Inglese 31.05.2019 Tascabile Fr. 70.00 6-7 settimane
Diana Gordon-Spears, Michael G. Hinchey, James L. Rash, Christopher Rouff, Walter F. Truszkowski - Formal Approaches to Agent-Based Systems
Diana Gordon-Spears, Michael G. Hinchey, James L. Rash, Christopher Rouff, Walter F. Truszkowski Formal Approaches to Agent-Based Systems Inglese 29.07.2003 Tascabile Fr. 70.00 6-7 settimane
Asaf Adi, Suzette Stoutenburg, Said Tabet - Rules and Rule Markup Languages for the Semantic Web
Asaf Adi, Suzette Stoutenburg, Said Tabet Rules and Rule Markup Languages for the Semantic Web Inglese 04.11.2005 Tascabile Fr. 70.00 6-7 settimane
José Luiz Fiadeiro, Pierre-Yves Schobbens - Recent Trends in Algebraic Development Techniques
José Luiz Fiadeiro, Pierre-Yves Schobbens Recent Trends in Algebraic Development Techniques Inglese 24.04.2007 Tascabile Fr. 70.00 6-7 settimane
Welf Löwe, Mario Südholt - Software Composition
Welf Löwe, Mario Südholt Software Composition Inglese 29.08.2006 Tascabile Fr. 70.00 6-7 settimane
Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron - Membrane Computing
Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron Membrane Computing Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Barbara Jobstmann, K. Rustan M. Leino - Verification, Model Checking, and Abstract Interpretation
Barbara Jobstmann, K. Rustan M. Leino Verification, Model Checking, and Abstract Interpretation Inglese 26.12.2015 Tascabile Fr. 70.00 6-7 settimane
Barbara Paech, Colette Rolland - Requirements Engineering: Foundation for Software Quality
Barbara Paech, Colette Rolland Requirements Engineering: Foundation for Software Quality Inglese 30.05.2008 Tascabile Fr. 70.00 6-7 settimane
Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev - Grand Timely Topics in Software Engineering
Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev Grand Timely Topics in Software Engineering Inglese 29.06.2017 Tascabile Fr. 70.00 6-7 settimane
Mario Bravetti, Leila Kloul, Gianluigi Zavattaro - Formal Techniques for Computer Systems and Business Processes
Mario Bravetti, Leila Kloul, Gianluigi Zavattaro Formal Techniques for Computer Systems and Business Processes Inglese 25.08.2005 Tascabile Fr. 70.00 6-7 settimane
Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron - Membrane Computing
Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron Membrane Computing Inglese 03.02.2016 Tascabile Fr. 70.00 6-7 settimane
Rachid Echahed, Mark Minas - Graph Transformation
Rachid Echahed, Mark Minas Graph Transformation Inglese 22.06.2016 Tascabile Fr. 70.00 6-7 settimane