Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata, Masanobu Umeda, Armin Wolf - Declarative Programming for Knowledge Management
Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata, Masanobu Umeda, Armin Wolf Declarative Programming for Knowledge Management Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Byro Cook, Byron Cook, Podelski, Podelski, Andreas Podelski - Verification, Model Checking, and Abstract Interpretation
Byro Cook, Byron Cook, Podelski, Podelski, Andreas Podelski Verification, Model Checking, and Abstract Interpretation Inglese 05.08.2009 Tascabile Fr. 70.00 6-7 settimane
Luí Caires, Luis Caires, Luís Caires, T Vasconcelos, T Vasconcelos, Vasco T. Vasconcelos - CONCUR 2007 - Concurrency Theory
Luí Caires, Luis Caires, Luís Caires, T Vasconcelos, T Vasconcelos, Vasco T. Vasconcelos CONCUR 2007 - Concurrency Theory Inglese 14.04.2009 Tascabile Fr. 70.00 6-7 settimane
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