Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Jorg A Pérez, Jorge A Pérez, Jorge A. Pérez, Yoshida, Yoshida, Nobuko Yoshida - Formal Techniques for Distributed Objects, Components, and Systems
Jorg A Pérez, Jorge A Pérez, Jorge A. Pérez, Yoshida, Yoshida, Nobuko Yoshida Formal Techniques for Distributed Objects, Components, and Systems Inglese 01.01.2019 Tascabile Fr. 89.00 6-7 settimane
Gay, Gay, Gregory Gay, Shiv Nejati, Shiva Nejati - Search-Based Software Engineering
Gay, Gay, Gregory Gay, Shiv Nejati, Shiva Nejati Search-Based Software Engineering Inglese 01.01.2019 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
Jens Palsberg, Zhendong Su - Static Analysis
Jens Palsberg, Zhendong Su Static Analysis Inglese 20.07.2009 Tascabile Fr. 69.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
Radhi Cousot, Radhia Cousot - Verification, Model Checking, and Abstract Interpretation
Radhi Cousot, Radhia Cousot Verification, Model Checking, and Abstract Interpretation Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Pawe Urzyczyn, Pawel Urzyczyn - Typed Lambda Calculi and Applications
Pawe Urzyczyn, Pawel Urzyczyn Typed Lambda Calculi and Applications Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Hubert Baumeister, Mike Holcombe, Michele Marchesi - Extreme Programming and Agile Processes in Software Engineering
Hubert Baumeister, Mike Holcombe, Michele Marchesi Extreme Programming and Agile Processes in Software Engineering Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Fran¿s Fages, François Fages, François Fages et al, Boi Faltings, Adria Petcu, Adrian Petcu... - Recent Advances in Constraints
Fran¿s Fages, François Fages, François Fages et al, Boi Faltings, Adria Petcu, Adrian Petcu... Recent Advances in Constraints Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Martin Abadi, Martín Abadi, Luca De Alfaro, Luca de Alfaro - CONCUR 2005 - Concurrency Theory
Martin Abadi, Martín Abadi, Luca De Alfaro, Luca de Alfaro CONCUR 2005 - Concurrency Theory Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Heinrich Rust - Operational Semantics for Timed Systems
Heinrich Rust Operational Semantics for Timed Systems Inglese 07.06.2005 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
Uustalu, Uustalu, Tarmo Uustalu, Varm Vene, Varmo Vene - Advanced Functional Programming
Uustalu, Uustalu, Tarmo Uustalu, Varm Vene, Varmo Vene Advanced Functional Programming Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Pau Pettersson, Paul Pettersson, Yi, Yi, Wang Yi - Formal Modeling and Analysis of Timed Systems
Pau Pettersson, Paul Pettersson, Yi, Yi, Wang Yi Formal Modeling and Analysis of Timed Systems Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Gustav Alonso, Gustavo Alonso - Middleware 2005
Gustav Alonso, Gustavo Alonso Middleware 2005 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Allen Emerson, E Allen Emerson, E. Allen Emerson, Kedar S. Namjoshi, S Namjoshi, S Namjoshi - Verification, Model Checking, and Abstract Interpretation
Allen Emerson, E Allen Emerson, E. Allen Emerson, Kedar S. Namjoshi, S Namjoshi, S Namjoshi Verification, Model Checking, and Abstract Interpretation Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Kwangkeu Yi, Kwangkeun Yi - Programming Languages and Systems
Kwangkeu Yi, Kwangkeun Yi Programming Languages and Systems Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Jaco C van de Pol, Jaco C. van de Pol, Graem P Smith, Graeme P Smith, Jaco C. van de Pol, Judi M. T. Romijn... - Integrated Formal Methods
Jaco C van de Pol, Jaco C. van de Pol, Graem P Smith, Graeme P Smith, Jaco C. van de Pol, Judi M. T. Romijn... Integrated Formal Methods Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Beniamino Di Martino, Jack Dongarra, Diete Kranzlmüller, Dieter Kranzlmüller, Beniamino di Martino - Recent Advances in Parallel Virtual Machine and Message Passing Interface
Beniamino Di Martino, Jack Dongarra, Diete Kranzlmüller, Dieter Kranzlmüller, Beniamino di Martino Recent Advances in Parallel Virtual Machine and Message Passing Interface Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Chri Hankin, Chris Hankin, Siveroni, Siveroni, Igor Siveroni - Static Analysis
Chri Hankin, Chris Hankin, Siveroni, Siveroni, Igor Siveroni Static Analysis Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane