Languages
Subject
Format
Availabity
Authors

Search result

Michele Marchesi, Giancarlo Succi - Extreme Programming and Agile Processes in Software Engineering
Michele Marchesi, Giancarlo Succi Extreme Programming and Agile Processes in Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Irina Virbitskaite, Andrei Voronkov - Perspectives of Systems Informatics
Irina Virbitskaite, Andrei Voronkov Perspectives of Systems Informatics English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Fran Baader, Franz Baader - Automated Deduction - CADE-19
Fran Baader, Franz Baader Automated Deduction - CADE-19 English 11.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 18.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2003 Hardback Fr. 70.00 6-7 weeks
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 English 30.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
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 English 13.12.2003 Hardback Fr. 135.00 6-7 weeks
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 English 17.12.2003 Hardback Fr. 189.00 6-7 weeks
Roberto Amadio, Denis Lugiez - CONCUR 2003 - Concurrency Theory
Roberto Amadio, Denis Lugiez CONCUR 2003 - Concurrency Theory English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Alexandre Petrenko, Andreas Ulrich - Formal Approaches to Software Testing
Alexandre Petrenko, Andreas Ulrich Formal Approaches to Software Testing English 16.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 16.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Catuscia Palamidessi - Logic Programming
Catuscia Palamidessi Logic Programming English 19.02.2009 Paperback / Softback Fr. 158.00 6-7 weeks
Vijay A. Saraswat - Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation
Vijay A. Saraswat Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Grady Booch, Perdita Stevens, Jon Whittle - UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications
Grady Booch, Perdita Stevens, Jon Whittle UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications English 25.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Carlos Martin-Vide, Victor Mitrana, Gheorghe Paun, C. Martin-Vide, Carlos Martin-Vide, V. Mitrana... - Formal Languages and Applications
Carlos Martin-Vide, Victor Mitrana, Gheorghe Paun, C. Martin-Vide, Carlos Martin-Vide, V. Mitrana... Formal Languages and Applications English 17.03.2004 Hardback Fr. 237.00 6-7 weeks
Rocco De Nicola, Rocco DeNicola, Gianluigi Ferrari, Greg Meredith, Rocco de Nicola - Coordination Models and Languages
Rocco De Nicola, Rocco DeNicola, Gianluigi Ferrari, Greg Meredith, Rocco de Nicola Coordination Models and Languages English 19.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Nachu Dershowitz, Nachum Dershowitz - Verification: Theory and Practice
Nachu Dershowitz, Nachum Dershowitz Verification: Theory and Practice English 18.03.2004 Paperback / Softback Fr. 135.00 6-7 weeks
Rene Alt, René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther - Numerical Software with Result Verification
Rene Alt, René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther Numerical Software with Result Verification English 19.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Eerke Boiten, Eerke A. Boiten, John Derrick, Graeme Smith - Integrated Formal Methods
Eerke Boiten, Eerke A. Boiten, John Derrick, Graeme Smith Integrated Formal Methods English 23.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks