Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Varol Akman, Paolo Bouquet, Richmond Thomason, Roger Young, Roger A. Young - Modeling and Using Context
Varol Akman, Paolo Bouquet, Richmond Thomason, Roger Young, Roger A. Young Modeling and Using Context Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie - Formal Methods and Software Engineering
Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie Formal Methods and Software Engineering Inglese 14.04.2009 Tascabile Fr. 70.00 6-7 settimane
Andrei Voronkov - Automated Deduction - CADE-18
Andrei Voronkov Automated Deduction - CADE-18 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Nachu Dershowitz, Nachum Dershowitz - Verification: Theory and Practice
Nachu Dershowitz, Nachum Dershowitz Verification: Theory and Practice Inglese 18.03.2004 Tascabile Fr. 135.00 6-7 settimane
Reinhar Gotzhein, Reinhard Gotzhein, REED, Reed, Rick Reed - System Analysis and Modeling: Language Profiles
Reinhar Gotzhein, Reinhard Gotzhein, REED, Reed, Rick Reed System Analysis and Modeling: Language Profiles Inglese 15.03.2011 Tascabile Fr. 70.00 6-7 settimane
Eduardo Alonso, Dimitar Kazakov, Danie Kudenko, Daniel Kudenko - Adaptive Agents and Multi-Agent Systems
Eduardo Alonso, Dimitar Kazakov, Danie Kudenko, Daniel Kudenko Adaptive Agents and Multi-Agent Systems Inglese 22.05.2003 Tascabile Fr. 70.00 6-7 settimane
B. O'Sullivan, Barr O'Sullivan, Barry O'Sullivan - Recent Advances in Constraints
B. O'Sullivan, Barr O'Sullivan, Barry O'Sullivan Recent Advances in Constraints Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Sergei V Chekanov, Sergei V. Chekanov - Numeric Computation and Statistical Data Analysis on the Java Platform
Sergei V Chekanov, Sergei V. Chekanov Numeric Computation and Statistical Data Analysis on the Java Platform Inglese 01.01.2018 Tascabile Fr. 147.00 6-7 settimane
Manue Mazzara, Manuel Mazzara, MEYER, Meyer, Bertrand Meyer - Present and Ulterior Software Engineering
Manue Mazzara, Manuel Mazzara, MEYER, Meyer, Bertrand Meyer Present and Ulterior Software Engineering Inglese 01.01.2018 Tascabile Fr. 135.00 6-7 settimane
Jerem Gibbons, Jeremy Gibbons, Nogueira, Nogueira, Pablo Nogueira - Mathematics of Program Construction
Jerem Gibbons, Jeremy Gibbons, Nogueira, Nogueira, Pablo Nogueira Mathematics of Program Construction Inglese 11.05.2012 Tascabile Fr. 69.00 6-7 settimane
Fabric Kordon, Fabrice Kordon, Vardanega, Vardanega, Tullio Vardanega - Reliable Software Technologies - Ada-Europe 2008
Fabric Kordon, Fabrice Kordon, Vardanega, Vardanega, Tullio Vardanega Reliable Software Technologies - Ada-Europe 2008 Inglese 29.01.2013 Tascabile Fr. 70.00 6-7 settimane
Tom Conte, Wen-mei W. Hwu, Nach Navarro, Nacho Navarro, Theo Ungerer, Mateo Valero... - High Performance Embedded Architectures and Compilers
Tom Conte, Wen-mei W. Hwu, Nach Navarro, Nacho Navarro, Theo Ungerer, Mateo Valero... High Performance Embedded Architectures and Compilers Inglese 01.01.2005 Tascabile Fr. 70.00 6-7 settimane
Pete Thiemann, Peter Thiemann - Programming Languages and Systems
Pete Thiemann, Peter Thiemann Programming Languages and Systems Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Shigeru Chiba, Patrick Eugster, Patrick Eugster et al, Gary T. Leavens, Mari Südholt, Mario Südholt... - Transactions on Modularity and Composition I
Shigeru Chiba, Patrick Eugster, Patrick Eugster et al, Gary T. Leavens, Mari Südholt, Mario Südholt... Transactions on Modularity and Composition I Inglese 31.01.2017 Tascabile Fr. 107.00 6-7 settimane
K C Wang, K. C. Wang, K.C. Wang - Design and Implementation of the MTX Operating System
K C Wang, K. C. Wang, K.C. Wang Design and Implementation of the MTX Operating System Inglese 01.01.2016 Tascabile Fr. 117.00 6-7 settimane
Rafael Capilla, Carlos Cetina, Barbar Gallina, Barbara Gallina - New Opportunities for Software Reuse
Rafael Capilla, Carlos Cetina, Barbar Gallina, Barbara Gallina New Opportunities for Software Reuse Inglese 01.01.2018 Tascabile Fr. 159.00 6-7 settimane
Vladimiro Sassone - Foundations of Software Science and Computational Structures
Vladimiro Sassone Foundations of Software Science and Computational Structures Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Uw Assmann, Uwe Assmann, Thomas Gschwind, Oscar Nierstrasz - Software Composition
Uw Assmann, Uwe Assmann, Thomas Gschwind, Oscar Nierstrasz Software Composition Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Marco Bernardo, Rocco De Nicola, Jane Hillston - Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo, Rocco De Nicola, Jane Hillston Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems Inglese 12.06.2016 Tascabile Fr. 70.00 6-7 settimane
Yvo Desmedt - Information Security
Yvo Desmedt Information Security Inglese 31.12.2015 Tascabile Fr. 70.00 6-7 settimane