Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Nabil Abdennadher, Nabi Abdennahder, Nabil Abdennahder, KORDON, Kordon, Fabrice Kordon - Reliable Software Technologies - Ada-Europe 2007
Nabil Abdennadher, Nabi Abdennahder, Nabil Abdennahder, KORDON, Kordon, Fabrice Kordon Reliable Software Technologies - Ada-Europe 2007 Inglese 05.08.2009 Tascabile Fr. 70.00 6-7 settimane
Hubert Comon-Lundh, Claud Kirchner, Claude Kirchner, Hélène Kirchner - Rewriting, Computation and Proof
Hubert Comon-Lundh, Claud Kirchner, Claude Kirchner, Hélène Kirchner Rewriting, Computation and Proof Inglese 05.08.2009 Tascabile Fr. 70.00 6-7 settimane
Neil Ellis, Neil et Ellis, Meera Kunnumpurath, Meeraj Kunnumpurath, Meeraj M. Kunnumpurath, Meeraj Moidoo Kunnumpurath... - Pro J2EE 1.4
Neil Ellis, Neil et Ellis, Meera Kunnumpurath, Meeraj Kunnumpurath, Meeraj M. Kunnumpurath, Meeraj Moidoo Kunnumpurath... Pro J2EE 1.4 Inglese 01.01.2004 Tascabile Fr. 110.00 6-7 settimane
Thomas Ball, Sriram K. Rajamani - Model Checking Software
Thomas Ball, Sriram K. Rajamani Model Checking Software Inglese 01.07.2009 Tascabile Fr. 70.00 6-7 settimane
Michele Marchesi, Giancarlo Succi - Extreme Programming and Agile Processes in Software Engineering
Michele Marchesi, Giancarlo Succi Extreme Programming and Agile Processes in Software Engineering Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Irina Virbitskaite, Andrei Voronkov - Perspectives of Systems Informatics
Irina Virbitskaite, Andrei Voronkov Perspectives of Systems Informatics Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Eyal Bin, Shmuel Ur, Av Ziv, Avi Ziv - Hardware and Software, Verification and Testing
Eyal Bin, Shmuel Ur, Av Ziv, Avi Ziv Hardware and Software, Verification and Testing Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Fran Baader, Franz Baader - Automated Deduction - CADE-19
Fran Baader, Franz Baader Automated Deduction - CADE-19 Inglese 11.08.2005 Tascabile Fr. 70.00 6-7 settimane
Marcello Bonsangue, Willem P. DeRoever, Susanne Graf, Frank S. de Boer, Frank S.de Boer, Marcell Bonsangue... - Formal Methods for Components and Objects, FMCO 2002
Marcello Bonsangue, Willem P. DeRoever, Susanne Graf, Frank S. de Boer, Frank S.de Boer, Marcell Bonsangue... Formal Methods for Components and Objects, FMCO 2002 Inglese 18.08.2005 Tascabile Fr. 70.00 6-7 settimane
Matthew Norman - Database Design Manual: using MySQL for Windows
Matthew Norman Database Design Manual: using MySQL for Windows Inglese 16.10.2003 Copertina rigida Fr. 153.00 6-7 settimane
Ghosh, Sumit Ghosh - Algorithm Design for Networked Information Technology Systems
Ghosh, Sumit Ghosh Algorithm Design for Networked Information Technology Systems Inglese 29.12.2003 Copertina rigida Fr. 147.00 6-7 settimane
Michae Ihringer, Michael Ihringer, Wolfgan Kirsten, Wolfgang Kirsten, Mathias Kühn, Bernhard Röhrig... - Object-Oriented Application Development Using the Cache Postrelational Database, w. CD-ROM
Michae Ihringer, Michael Ihringer, Wolfgan Kirsten, Wolfgang Kirsten, Mathias Kühn, Bernhard Röhrig... Object-Oriented Application Development Using the Cache Postrelational Database, w. CD-ROM Inglese 01.01.2003 Copertina rigida Fr. 70.00 6-7 settimane
Sean Kenefick - Real World Software Configuration Management
Sean Kenefick Real World Software Configuration Management Inglese 26.11.2003 Tascabile Fr. 60.90 6-7 settimane
Jack Dongarra, Domenico Laforenza, Salvatore Orlando - Recent Advances in Parallel Virtual Machine and Message Passing Interface
Jack Dongarra, Domenico Laforenza, Salvatore Orlando Recent Advances in Parallel Virtual Machine and Message Passing Interface Inglese 30.06.2009 Tascabile Fr. 135.00 6-7 settimane
Zhou Chaochen, M. R. Hansen, Michael Hansen, Michael R Hansen, Michael R. Hansen, Chaoche Zhou... - Duration Calculus
Zhou Chaochen, M. R. Hansen, Michael Hansen, Michael R Hansen, Michael R. Hansen, Chaoche Zhou... Duration Calculus Inglese 13.12.2003 Copertina rigida Fr. 135.00 6-7 settimane
Martin Gro¿-Rhode, M. Große-Rhode, Martin Große-Rhode, Wilfried Brauer, Grzegorz Rozenberg, Arto Salomaa - Semantic Integration of Heterogeneous Software Specifications
Martin Gro¿-Rhode, M. Große-Rhode, Martin Große-Rhode, Wilfried Brauer, Grzegorz Rozenberg, Arto Salomaa Semantic Integration of Heterogeneous Software Specifications Inglese 17.12.2003 Copertina rigida Fr. 189.00 6-7 settimane
Roberto Amadio, Denis Lugiez - CONCUR 2003 - Concurrency Theory
Roberto Amadio, Denis Lugiez CONCUR 2003 - Concurrency Theory Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Branislav Rovan, Peter Vojtas - Mathematical Foundations of Computer Science 2003
Branislav Rovan, Peter Vojtas Mathematical Foundations of Computer Science 2003 Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Alexandre Petrenko, Andreas Ulrich - Formal Approaches to Software Testing
Alexandre Petrenko, Andreas Ulrich Formal Approaches to Software Testing Inglese 16.08.2005 Tascabile Fr. 70.00 6-7 settimane
Levi, Levi, Giorgio Levi, Bernhar Steffen, Bernhard Steffen - Verification, Model Checking, and Abstract Interpretation
Levi, Levi, Giorgio Levi, Bernhar Steffen, Bernhard Steffen Verification, Model Checking, and Abstract Interpretation Inglese 16.08.2005 Tascabile Fr. 70.00 6-7 settimane