Languages
Subject
Format
Availabity
Authors

Search result

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
Matthew Norman - Database Design Manual: using MySQL for Windows
Matthew Norman Database Design Manual: using MySQL for Windows English 16.10.2003 Hardback Fr. 153.00 6-7 weeks
Ghosh, Sumit Ghosh - Algorithm Design for Networked Information Technology Systems
Ghosh, Sumit Ghosh Algorithm Design for Networked Information Technology Systems English 29.12.2003 Hardback Fr. 147.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
Sean Kenefick - Real World Software Configuration Management
Sean Kenefick Real World Software Configuration Management English 26.11.2003 Paperback / Softback Fr. 60.90 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
Branislav Rovan, Peter Vojtas - Mathematical Foundations of Computer Science 2003
Branislav Rovan, Peter Vojtas Mathematical Foundations of Computer Science 2003 English 19.02.2009 Paperback / Softback Fr. 135.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. 159.00 6-7 weeks
Paritosh K Pandya, Paritosh K. Pandya, Jaikumar Radhakrishnan - FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
Paritosh K Pandya, Paritosh K. Pandya, Jaikumar Radhakrishnan FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science English 25.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Manfred Broy, Alexandre V. Zamulin - Perspectives of Systems Informatics
Manfred Broy, Alexandre V. Zamulin Perspectives of Systems Informatics English 19.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Jin Song Dong, James Woodcock, Jim Woodcock - Formal Methods and Software Engineering
Jin Song Dong, James Woodcock, Jim Woodcock Formal Methods and Software Engineering English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Elie Najm, Uw Nestmann, Uwe Nestmann, Perdita Stevens - Formal Methods for Open Object-Based Distributed Systems
Elie Najm, Uw Nestmann, Uwe Nestmann, Perdita Stevens Formal Methods for Open Object-Based Distributed Systems English 26.06.2009 Paperback / Softback Fr. 70.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