Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Marti Steffen, Martin Steffen, Zavattaro, Zavattaro, Gianluigi Zavattaro - Formal Methods for Open Object-Based Distributed Systems
Marti Steffen, Martin Steffen, Zavattaro, Zavattaro, Gianluigi Zavattaro Formal Methods for Open Object-Based Distributed Systems Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
M. Bernardo, Marc Bernardo, Marco Bernardo, Corradini, Corradini, F. Corradini... - Formal Methods for the Design of Real-Time Systems
M. Bernardo, Marc Bernardo, Marco Bernardo, Corradini, Corradini, F. Corradini... Formal Methods for the Design of Real-Time Systems Inglese 20.12.2004 Tascabile Fr. 70.00 6-7 settimane
H. Kreowski, Hans-Jörg Kreowski, Ug Montanari, Ugo Montanari, Fernando Orejas, Fernando Orejas et al... - Formal Methods in Software and Systems Modeling
H. Kreowski, Hans-Jörg Kreowski, Ug Montanari, Ugo Montanari, Fernando Orejas, Fernando Orejas et al... Formal Methods in Software and Systems Modeling Inglese 26.04.2005 Tascabile Fr. 70.00 6-7 settimane
Christoph Schäfer, Christoph M. Schäfer - Schnellstart Python
Christoph Schäfer, Christoph M. Schäfer Schnellstart Python Tedesco 04.07.2019 Tascabile Fr. 22.50 6-7 settimane
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... - String Analysis for Software Verification and Security
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... String Analysis for Software Verification and Security Inglese 01.01.2019 Tascabile Fr. 91.00 6-7 settimane
Maur Cerioli, Maura Cerioli - Fundamental Approaches to Software Engineering
Maur Cerioli, Maura Cerioli Fundamental Approaches to Software Engineering Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Eduardo Alonso, Dimita Kazakov, Dimitar Kazakov, Daniel Kudenko - Adaptive Agents and Multi-Agent Systems II. Vol.2
Eduardo Alonso, Dimita Kazakov, Dimitar Kazakov, Daniel Kudenko Adaptive Agents and Multi-Agent Systems II. Vol.2 Inglese 22.06.2005 Tascabile Fr. 70.00 6-7 settimane
Ivica Crnkovic, George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau - Component-Based Software Engineering
Ivica Crnkovic, George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau Component-Based Software Engineering Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Annabelle McIver, Annabell Mclver, Annabelle Mclver, Morgan, Morgan, Carroll Morgan - Programming Methodology
Annabelle McIver, Annabell Mclver, Annabelle Mclver, Morgan, Morgan, Carroll Morgan Programming Methodology Inglese 30.10.2002 Copertina rigida Fr. 147.00 6-7 settimane
Thomas Gschwind, Cecilia Mascolo - Software Engineering and Middleware
Thomas Gschwind, Cecilia Mascolo Software Engineering and Middleware Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Silvia T. Acuna, Natalia Juristo, Silvia T. Acuna, Juristo, Juristo, Natalia Juristo... - Software Process Modeling
Silvia T. Acuna, Natalia Juristo, Silvia T. Acuna, Juristo, Juristo, Natalia Juristo... Software Process Modeling Inglese 01.01.2005 Copertina rigida Fr. 179.00 6-7 settimane
Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki - Software Security - Theories and Systems
Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki Software Security - Theories and Systems Inglese 04.06.2005 Tascabile Fr. 70.00 6-7 settimane
Doro A Peled, Doron A Peled, Doron Peled, Doron A. Peled, Tsay, Tsay... - Automated Technology for Verification and Analysis
Doro A Peled, Doron A Peled, Doron Peled, Doron A. Peled, Tsay, Tsay... Automated Technology for Verification and Analysis Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Dang Van Hung, Martin Wirsing - Theoretical Aspects of Computing - ICTAC 2005
Dang Van Hung, Martin Wirsing Theoretical Aspects of Computing - ICTAC 2005 Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Jürgen Giesl - Term Rewriting and Applications
Jürgen Giesl Term Rewriting and Applications Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Thomas Baar, Ana Moreira, Alfre Strohmeier, Alfred Strohmeier - UML 2004 - The Unified Modeling Language
Thomas Baar, Ana Moreira, Alfre Strohmeier, Alfred Strohmeier UML 2004 - The Unified Modeling Language Inglese 04.06.2005 Tascabile Fr. 70.00 6-7 settimane
Nuno Jardim Nunes, Alberto Rodrigues da Silva, Bran Selic, Ambrosio Toval Alvarez - UML Modeling Languages and Applications
Nuno Jardim Nunes, Alberto Rodrigues da Silva, Bran Selic, Ambrosio Toval Alvarez UML Modeling Languages and Applications Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Jens Palsberg, Zhendong Su - Static Analysis
Jens Palsberg, Zhendong Su Static Analysis Inglese 20.07.2009 Tascabile Fr. 70.00 6-7 settimane
Daoqi Yang - C++ and Object-Oriented Numeric Computing for Scientists and Engineers
Daoqi Yang C++ and Object-Oriented Numeric Computing for Scientists and Engineers Inglese 01.01.2001 Copertina rigida Fr. 117.00 6-7 settimane
Lee Spector - Automatic Quantum Computer Programming
Lee Spector Automatic Quantum Computer Programming Inglese 01.01.2004 Copertina rigida Fr. 169.00 6-7 settimane