Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Jeanne Adams, Jeanne C Adams, Jeanne C. Adams, Walter Brainerd, Walter S Brainerd, Walter S. Brainerd... - The FORTRAN 2003 Handbook : The Complete Syntax, Features and
Jeanne Adams, Jeanne C Adams, Jeanne C. Adams, Walter Brainerd, Walter S Brainerd, Walter S. Brainerd... The FORTRAN 2003 Handbook : The Complete Syntax, Features and Englisch 31.10.2008 Fester Einband Fr. 216.00 6-7 Wochen
Bertran Meyer, Bertrand Meyer, Woodcock, Woodcock, James Woodcock, Jim Woodcock - Verified Software: Theories, Tools, Experiments
Bertran Meyer, Bertrand Meyer, Woodcock, Woodcock, James Woodcock, Jim Woodcock Verified Software: Theories, Tools, Experiments Englisch 29.01.2013 Taschenbuch Fr. 135.00 6-7 Wochen
Olivier Danvy, Frit Henglein, Fritz Henglein, Harry Mairson, Harry Mairson et al, Alberto Pettorossi - Automatic Program Development
Olivier Danvy, Frit Henglein, Fritz Henglein, Harry Mairson, Harry Mairson et al, Alberto Pettorossi Automatic Program Development Englisch 25.06.2009 Fester Einband Fr. 169.00 6-7 Wochen
Egon Börger, Antonio Cisternino - Advances in Software Engineering
Egon Börger, Antonio Cisternino Advances in Software Engineering Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Martell, Martell, Craig Martell, Barbar Paech, Barbara Paech - Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Martell, Martell, Craig Martell, Barbar Paech, Barbara Paech Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs Englisch 28.04.2011 Taschenbuch Fr. 70.00 6-7 Wochen
Roberto Amadio - Foundations of Software Science and Computational Structures
Roberto Amadio Foundations of Software Science and Computational Structures Englisch 29.01.2013 Taschenbuch Fr. 70.00 6-7 Wochen
John Barnes - Ada 2005 Rationale
John Barnes Ada 2005 Rationale Englisch 01.01.2008 Taschenbuch Fr. 70.00 6-7 Wochen
Klaus Havelund, Rupa Majumdar, Rupak Majumdar, Jens Palsberg - Model Checking Software
Klaus Havelund, Rupa Majumdar, Rupak Majumdar, Jens Palsberg Model Checking Software Englisch 27.09.2012 Taschenbuch Fr. 70.00 6-7 Wochen
Keijiro Araki, Shaoying Liu, Tom Maibaum - Formal Methods and Software Engineering
Keijiro Araki, Shaoying Liu, Tom Maibaum Formal Methods and Software Engineering Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Axel Simon - Value-Range Analysis of C Programs
Axel Simon Value-Range Analysis of C Programs Englisch 26.06.2009 Fester Einband Fr. 184.00 6-7 Wochen
Dietrich Baumgarten - Kompakt im Doppelpack, HTML und JavaScript Webdesign für Einsteiger
Dietrich Baumgarten Kompakt im Doppelpack, HTML und JavaScript Webdesign für Einsteiger Deutsch 01.01.2002 Taschenbuch Fr. 41.90 6-7 Wochen
Oeg de Moor, Oege De Moor, I Schwartzbach, I Schwartzbach, Oege De Moor, Michael Schwartzbach... - Compiler Construction
Oeg de Moor, Oege De Moor, I Schwartzbach, I Schwartzbach, Oege De Moor, Michael Schwartzbach... Compiler Construction Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Yuhua Luo - Cooperative Design, Visualization, and Engineering
Yuhua Luo Cooperative Design, Visualization, and Engineering Englisch 30.01.2013 Taschenbuch Fr. 73.00 6-7 Wochen
Silvia Abrahao, Tao Jiang, Tai-hoo Kim, Tai-Hoon Kim, Akingbehin Kiumi, Akingbehin Kiumi et al... - Advances in Software Engineering
Silvia Abrahao, Tao Jiang, Tai-hoo Kim, Tai-Hoon Kim, Akingbehin Kiumi, Akingbehin Kiumi et al... Advances in Software Engineering Englisch 12.11.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Rafael H. Bordini, Mehd Dastani, Mehdi Dastani, Jurgen Dix, Jürgen Dix, Jürgen Dix et al... - Multi-Agent Programming:
Rafael H. Bordini, Mehd Dastani, Mehdi Dastani, Jurgen Dix, Jürgen Dix, Jürgen Dix et al... Multi-Agent Programming: Englisch 13.07.2009 Fester Einband Fr. 193.00 6-7 Wochen
Jens Palsberg, Jen Palsberg, Jens Palsberg - Semantics and Algebraic Specification
Jens Palsberg, Jen Palsberg, Jens Palsberg Semantics and Algebraic Specification Englisch 18.09.2009 Taschenbuch Fr. 70.00 6-7 Wochen
YiXiang Chen, Guo-Qiang Zhang, Guo-Qiang Zhang, Klaus Keimel, Ying Ming Liu et al, Ying Ming Liu... - Domains and Processes
YiXiang Chen, Guo-Qiang Zhang, Guo-Qiang Zhang, Klaus Keimel, Ying Ming Liu et al, Ying Ming Liu... Domains and Processes Englisch 17.10.2013 Taschenbuch Fr. 135.00 6-7 Wochen
Helmut Seidl, Reinhar Wilhelm, Reinhard Wilhelm - Compiler Design
Helmut Seidl, Reinhar Wilhelm, Reinhard Wilhelm Compiler Design Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Per Brinch Hansen, Pe Brinch Hansen, Per Brinch Hansen - Classic Operating Systems
Per Brinch Hansen, Pe Brinch Hansen, Per Brinch Hansen Classic Operating Systems Englisch 27.10.2010 Taschenbuch Fr. 147.00 6-7 Wochen
Silvia T. Acuna, Juristo, Juristo, Natalia Juristo, Silvi T Acuna, Silvia T Acuna - Software Process Modeling
Silvia T. Acuna, Juristo, Juristo, Natalia Juristo, Silvi T Acuna, Silvia T Acuna Software Process Modeling Englisch 22.10.2010 Taschenbuch Fr. 135.00 6-7 Wochen