Languages
Subject
Format
Availabity
Authors

Search result

Matthew Dwyer - Model Checking Software
Matthew Dwyer Model Checking Software English 02.05.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Bharat Jayaraman - Practical Aspects of Declarative Languages
Bharat Jayaraman Practical Aspects of Declarative Languages English 14.06.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Maurice Bruynooghe - Logic Based Program Synthesis and Transformation
Maurice Bruynooghe Logic Based Program Synthesis and Transformation English 24.06.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Don Batory, Charles Consel, Christian Lengauer, Martin Odersky - Domain-Specific Program Generation
Don Batory, Charles Consel, Christian Lengauer, Martin Odersky Domain-Specific Program Generation English 24.05.2004 Paperback / Softback Fr. 70.00 6-7 weeks
S. Melnik, Sergey Melnik - Generic Model Management
S. Melnik, Sergey Melnik Generic Model Management English 28.04.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Kyung W. Lee, Kyung Whan Lee, Roger Y. Lee, C. V. Ramamoorthy, C.V. Ramamoorthy - Software Engineering Research and Applications
Kyung W. Lee, Kyung Whan Lee, Roger Y. Lee, C. V. Ramamoorthy, C.V. Ramamoorthy Software Engineering Research and Applications English 30.04.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Robert L. Nord - Software Product Lines
Robert L. Nord Software Product Lines English 18.08.2004 Paperback / Softback Fr. 110.00 6-7 weeks
Daniel Kroening, Ofer Strichman - Decision Procedures
Daniel Kroening, Ofer Strichman Decision Procedures English 13.07.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Dragan Bosnacki, Stefan Edelkamp - Model Checking Software
Dragan Bosnacki, Stefan Edelkamp Model Checking Software English 21.06.2007 Paperback / Softback Fr. 70.00 6-7 weeks
Cami Demetrescu, Camil Demetrescu - Experimental Algorithms
Cami Demetrescu, Camil Demetrescu Experimental Algorithms English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Gerard Berry, Huber Comon, Hubert Comon, Alain Finkel - Computer Aided Verification
Gerard Berry, Huber Comon, Hubert Comon, Alain Finkel Computer Aided Verification English 29.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Manfred Pflanz, Matthias Pflanz - On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
Manfred Pflanz, Matthias Pflanz On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors English 25.04.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Sam Beydeda, Sami Beydeda, Gruhn, Gruhn, Volker Gruhn - Testing Commercial-off-the-Shelf Components and Systems
Sam Beydeda, Sami Beydeda, Gruhn, Gruhn, Volker Gruhn Testing Commercial-off-the-Shelf Components and Systems English 13.12.2004 Hardback Fr. 135.00 6-7 weeks
Ja Bosch, Jan Bosch, Krueger, Krueger, Charles Krueger - Software Reuse: Methods, Techniques, and Tools
Ja Bosch, Jan Bosch, Krueger, Krueger, Charles Krueger Software Reuse: Methods, Techniques, and Tools English 17.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Dexte Kozen, Dexter Kozen, Dexter C. Kozen, Shankland, Shankland, Carron Shankland - Mathematics of Program Construction
Dexte Kozen, Dexter Kozen, Dexter C. Kozen, Shankland, Shankland, Carron Shankland Mathematics of Program Construction English 17.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Holz, Holz, Harald Holz, Grigor Melnik, Grigori Melnik - Advances in Learning Software Organizations
Holz, Holz, Harald Holz, Grigor Melnik, Grigori Melnik Advances in Learning Software Organizations English 29.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Maharaj, Maharaj, Savitri Maharaj, Charle Rattray, Charles Rattray - Algebraic Methodology and Software Technology
Maharaj, Maharaj, Savitri Maharaj, Charle Rattray, Charles Rattray Algebraic Methodology and Software Technology English 25.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Avram Joel Spolsky, Joel Spolsky - Joel on Software
Avram Joel Spolsky, Joel Spolsky Joel on Software English 01.11.2004 Paperback / Softback Fr. 37.50 6-7 weeks
Geert D. van Albada, Geert D.van Albada, Marian Bubak, Jack J. Dongarra, Peter M. A. Sloot, Peter M.A. Sloot - Computational Science - ICCS 2004. Vol.1
Geert D. van Albada, Geert D.van Albada, Marian Bubak, Jack J. Dongarra, Peter M. A. Sloot, Peter M.A. Sloot Computational Science - ICCS 2004. Vol.1 English 24.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Geert D. van Albada, Marian Bubak, Geer D van Albada, Geert D van Albada, Jack J. Dongarra, Peter M A Sloot et al... - Computational Science - ICCS 2004. Vol.2
Geert D. van Albada, Marian Bubak, Geer D van Albada, Geert D van Albada, Jack J. Dongarra, Peter M A Sloot et al... Computational Science - ICCS 2004. Vol.2 English 25.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks