Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Kama Lodaya, Kamal Lodaya, Mahajan, Mahajan, Meena Mahajan - FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Kama Lodaya, Kamal Lodaya, Mahajan, Mahajan, Meena Mahajan FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science Englisch 07.06.2005 Taschenbuch Fr. 70.00 6-7 Wochen
W. Damm, Werne Damm, Werner Damm, Jörg Desel, Jörg Desel et al, H. Ehrig... - Integration of Software Specification Techniques for Applications in Engineering
W. Damm, Werne Damm, Werner Damm, Jörg Desel, Jörg Desel et al, H. Ehrig... Integration of Software Specification Techniques for Applications in Engineering Englisch 20.12.2004 Taschenbuch Fr. 70.00 6-7 Wochen
Hans-Arno Jacobsen - Middleware 2004
Hans-Arno Jacobsen Middleware 2004 Englisch 07.06.2005 Taschenbuch Fr. 135.00 6-7 Wochen
Michel Milano, Michela Milano - Constraint and Integer Programming
Michel Milano, Michela Milano Constraint and Integer Programming Englisch 21.04.2005 Fester Einband Fr. 203.00 6-7 Wochen
BERGERON, Janick Bergeron - Writing Testbenches: Functional Verification of HDL Models
BERGERON, Janick Bergeron Writing Testbenches: Functional Verification of HDL Models Englisch 02.01.2008 Fester Einband Fr. 237.00 6-7 Wochen
Thomas Baar, Ana Moreira, Alfre Strohmeier, Alfred Strohmeier - UML 2004 - The Unified Modeling Language
Thomas Baar, Ana Moreira, Alfre Strohmeier, Alfred Strohmeier UML 2004 - The Unified Modeling Language Englisch 04.06.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Nuno Jardim Nunes, Alberto Rodrigues da Silva, Bran Selic, Ambrosio Toval Alvarez - UML Modeling Languages and Applications
Nuno Jardim Nunes, Alberto Rodrigues da Silva, Bran Selic, Ambrosio Toval Alvarez UML Modeling Languages and Applications Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Radhi Cousot, Radhia Cousot - Verification, Model Checking, and Abstract Interpretation
Radhi Cousot, Radhia Cousot Verification, Model Checking, and Abstract Interpretation Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Doro A Peled, Doron A Peled, Doron Peled, Doron A. Peled, Tsay, Tsay... - Automated Technology for Verification and Analysis
Doro A Peled, Doron A Peled, Doron Peled, Doron A. Peled, Tsay, Tsay... Automated Technology for Verification and Analysis Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Dang Van Hung, Martin Wirsing - Theoretical Aspects of Computing - ICTAC 2005
Dang Van Hung, Martin Wirsing Theoretical Aspects of Computing - ICTAC 2005 Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Thomas Gschwind, Cecilia Mascolo - Software Engineering and Middleware
Thomas Gschwind, Cecilia Mascolo Software Engineering and Middleware Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Silvia T. Acuna, Natalia Juristo, Silvia T. Acuna, Juristo, Juristo, Natalia Juristo... - Software Process Modeling
Silvia T. Acuna, Natalia Juristo, Silvia T. Acuna, Juristo, Juristo, Natalia Juristo... Software Process Modeling Englisch 01.01.2005 Fester Einband Fr. 179.00 6-7 Wochen
Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki - Software Security - Theories and Systems
Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki Software Security - Theories and Systems Englisch 04.06.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Kang Zhang, Kang Zhang, Kang Zhang, Zhang Kang Zhang, Kan Zhang, Kang Zhang - Software Visualization
Kang Zhang, Kang Zhang, Kang Zhang, Zhang Kang Zhang, Kan Zhang, Kang Zhang Software Visualization Englisch 11.02.2011 Fester Einband Fr. 248.00 6-7 Wochen
Wei-Ngan Chin - Programming Languages and Systems
Wei-Ngan Chin Programming Languages and Systems Englisch 04.06.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Mooly Sagiv - Programming Languages and Systems
Mooly Sagiv Programming Languages and Systems Englisch 01.07.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Heinrich Rust - Operational Semantics for Timed Systems
Heinrich Rust Operational Semantics for Timed Systems Englisch 07.06.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Peter Seibel - Practical Common Lisp
Peter Seibel Practical Common Lisp Englisch 01.04.2005 Taschenbuch Fr. 97.00 6-7 Wochen
Zeliha Dilsun Kirli - Mobile Computation with Functions
Zeliha Dilsun Kirli Mobile Computation with Functions Englisch 25.06.2009 Fester Einband Fr. 153.00 6-7 Wochen
Wolfgang M¿ller, Wolfgang Müller, Wolfgan Rosenstiel, Wolfgang Rosenstiel, J¿rgen Ruf, Jürgen Ruf - SystemC
Wolfgang M¿ller, Wolfgang Müller, Wolfgan Rosenstiel, Wolfgang Rosenstiel, J¿rgen Ruf, Jürgen Ruf SystemC Englisch 20.10.2005 Fester Einband Fr. 207.00 6-7 Wochen