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
Dirk Draheim - Semantics of the Probabilistic Typed Lambda Calculus
Dirk Draheim Semantics of the Probabilistic Typed Lambda Calculus Inglese 01.01.2018 Tascabile Fr. 158.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
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. 90.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