Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Bil Pugh, Bill Pugh, Tseng, Tseng, Chau-Wen Tseng - Languages and Compilers for Parallel Computing
Bil Pugh, Bill Pugh, Tseng, Tseng, Chau-Wen Tseng Languages and Compilers for Parallel Computing Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Pascal Hentenryck, Pascal Van Hentenryck, Pascal Van Hentenryck - Practical Aspects of Declarative Languages
Pascal Hentenryck, Pascal Van Hentenryck, Pascal Van Hentenryck Practical Aspects of Declarative Languages 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
Gavi Bierman, Gavin Bierman, Koch, Koch, Christoph Koch - Database Programming Languages
Gavi Bierman, Gavin Bierman, Koch, Koch, Christoph Koch Database Programming Languages Inglese 07.02.2006 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
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
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
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
Manfred Broy, Johanne Gruenbauer, Johannes Gruenbauer, David Harel, David Harel et al, Tony Hoare - Engineering Theories of Software Intensive Systems
Manfred Broy, Johanne Gruenbauer, Johannes Gruenbauer, David Harel, David Harel et al, Tony Hoare Engineering Theories of Software Intensive Systems Inglese 26.06.2009 Tascabile Fr. 193.00 6-7 settimane
Theo Pavlidis, Theodosios Pavlidis - Fundamentals of X Programming
Theo Pavlidis, Theodosios Pavlidis Fundamentals of X Programming Inglese 29.01.2013 Copertina rigida Fr. 110.00 6-7 settimane
Lynn Horobin, Anne Mignotte, Eugeni Villar, Eugenio Villar - System on Chip Design Languages
Lynn Horobin, Anne Mignotte, Eugeni Villar, Eugenio Villar System on Chip Design Languages Inglese 14.04.2009 Copertina rigida Fr. 206.00 6-7 settimane
Bar Jacobs, Bart Jacobs, Rensink, Rensink, Arend Rensink - Formal Methods for Open Object-Based Distributed Systems V
Bar Jacobs, Bart Jacobs, Rensink, Rensink, Arend Rensink Formal Methods for Open Object-Based Distributed Systems V Inglese 03.03.2011 Copertina rigida Fr. 189.00 6-7 settimane
Giulio Concas, Ernest Damiani, Ernesto Damiani, Marco Scotto, Marco Scotto et al, Giancarlo Succi - Agile Processes in Software Engineering and Extreme Programming
Giulio Concas, Ernest Damiani, Ernesto Damiani, Marco Scotto, Marco Scotto et al, Giancarlo Succi Agile Processes in Software Engineering and Extreme Programming Inglese 29.01.2013 Tascabile Fr. 70.00 6-7 settimane
B Buchanan, B. Buchanan, W. J. Buchanan, William J. Buchanan - The Complete Handbook of the Internet, 4 Teile
B Buchanan, B. Buchanan, W. J. Buchanan, William J. Buchanan The Complete Handbook of the Internet, 4 Teile Inglese 29.01.2013 Copertina rigida Fr. 110.00 6-7 settimane
S. D. Gilmore, M. D. Ryan, Stephe Gilmore, Stephen Gilmore, Ryan, Ryan... - Language Constructs for Describing Features
S. D. Gilmore, M. D. Ryan, Stephe Gilmore, Stephen Gilmore, Ryan, Ryan... Language Constructs for Describing Features Inglese 02.12.2013 Tascabile Fr. 120.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
Marcel Arenas, Marcelo Arenas, I Schwartzbach, I Schwartzbach, Michael I. Schwartzbach - Database Programming Languages
Marcel Arenas, Marcelo Arenas, I Schwartzbach, I Schwartzbach, Michael I. Schwartzbach Database Programming Languages Inglese 13.09.2012 Tascabile Fr. 70.00 6-7 settimane
Stefa Leue, Stefan Leue, Merino, Merino, Pedro Merino - Formal Methods for Industrial Critical Systems
Stefa Leue, Stefan Leue, Merino, Merino, Pedro Merino Formal Methods for Industrial Critical Systems Inglese 27.09.2012 Tascabile Fr. 70.00 6-7 settimane
Michae Cebulla, Michael Cebulla - Object-Oriented Technology. ECOOP 2007 Workshop Reader
Michae Cebulla, Michael Cebulla Object-Oriented Technology. ECOOP 2007 Workshop Reader Inglese 29.01.2013 Tascabile Fr. 70.00 6-7 settimane