Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Aaron W Keen, Aaron W. Keen, Richard Olsson, Ronald A Olsson, Ronald A. Olsson - The JR Programming Language
Aaron W Keen, Aaron W. Keen, Richard Olsson, Ronald A Olsson, Ronald A. Olsson The JR Programming Language Englisch 03.03.2011 Fester Einband Fr. 124.00 6-7 Wochen
Pascal Hentenryck, Pascal Van Hentenryck, Pascal Van Hentenryck - Practical Aspects of Declarative Languages
Pascal Hentenryck, Pascal Van Hentenryck, Pascal Van Hentenryck Practical Aspects of Declarative Languages Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Pau Pettersson, Paul Pettersson, Yi, Yi, Wang Yi - Formal Modeling and Analysis of Timed Systems
Pau Pettersson, Paul Pettersson, Yi, Yi, Wang Yi Formal Modeling and Analysis of Timed Systems Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Kwangkeu Yi, Kwangkeun Yi - Programming Languages and Systems
Kwangkeu Yi, Kwangkeun Yi Programming Languages and Systems Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Gustav Alonso, Gustavo Alonso - Middleware 2005
Gustav Alonso, Gustavo Alonso Middleware 2005 Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Uustalu, Uustalu, Tarmo Uustalu, Varm Vene, Varmo Vene - Advanced Functional Programming
Uustalu, Uustalu, Tarmo Uustalu, Varm Vene, Varmo Vene Advanced Functional Programming Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Bil Pugh, Bill Pugh, Tseng, Tseng, Chau-Wen Tseng - Languages and Compilers for Parallel Computing
Bil Pugh, Bill Pugh, Tseng, Tseng, Chau-Wen Tseng Languages and Compilers for Parallel Computing Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Gavi Bierman, Gavin Bierman, Koch, Koch, Christoph Koch - Database Programming Languages
Gavi Bierman, Gavin Bierman, Koch, Koch, Christoph Koch Database Programming Languages Englisch 07.02.2006 Taschenbuch Fr. 70.00 6-7 Wochen
Jaco C van de Pol, Jaco C. van de Pol, Graem P Smith, Graeme P Smith, Jaco C. van de Pol, Judi M. T. Romijn... - Integrated Formal Methods
Jaco C van de Pol, Jaco C. van de Pol, Graem P Smith, Graeme P Smith, Jaco C. van de Pol, Judi M. T. Romijn... Integrated Formal Methods Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Allen Emerson, E Allen Emerson, E. Allen Emerson, Kedar S. Namjoshi, S Namjoshi, S Namjoshi - Verification, Model Checking, and Abstract Interpretation
Allen Emerson, E Allen Emerson, E. Allen Emerson, Kedar S. Namjoshi, S Namjoshi, S Namjoshi Verification, Model Checking, and Abstract Interpretation Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Edward Apostol, Omar Elbaga, Daniel Short, Rob Turnbull - Dreamweaver MX: Advanced ASP Web Development
Edward Apostol, Omar Elbaga, Daniel Short, Rob Turnbull Dreamweaver MX: Advanced ASP Web Development Englisch 17.10.2003 Taschenbuch Fr. 76.00 6-7 Wochen
Bar Jacobs, Bart Jacobs, Rensink, Rensink, Arend Rensink - Formal Methods for Open Object-Based Distributed Systems V
Bar Jacobs, Bart Jacobs, Rensink, Rensink, Arend Rensink Formal Methods for Open Object-Based Distributed Systems V Englisch 03.03.2011 Fester Einband Fr. 189.00 6-7 Wochen
Lynn Horobin, Anne Mignotte, Eugeni Villar, Eugenio Villar - System on Chip Design Languages
Lynn Horobin, Anne Mignotte, Eugeni Villar, Eugenio Villar System on Chip Design Languages Englisch 14.04.2009 Fester Einband Fr. 206.00 6-7 Wochen
Ivor Horton - Beginning C
Ivor Horton Beginning C Englisch 20.10.2006 Fester Einband Fr. 109.00 6-7 Wochen
Ivor Horton - Beginning C
Ivor Horton Beginning C Englisch 08.12.2014 Taschenbuch Fr. 69.00 6-7 Wochen
Alexandre Petrenko, Andreas Ulrich - Formal Approaches to Software Testing
Alexandre Petrenko, Andreas Ulrich Formal Approaches to Software Testing Englisch 16.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 16.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Catuscia Palamidessi - Logic Programming
Catuscia Palamidessi Logic Programming Englisch 19.02.2009 Taschenbuch Fr. 159.00 6-7 Wochen
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 Englisch 25.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Manfred Broy, Alexandre V. Zamulin - Perspectives of Systems Informatics
Manfred Broy, Alexandre V. Zamulin Perspectives of Systems Informatics Englisch 19.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen