Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

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
Kendall Scott - Fast Track UML 2.0
Kendall Scott Fast Track UML 2.0 Englisch 14.04.2004 Taschenbuch Fr. 32.50 6-7 Wochen
Jin Song Dong, James Woodcock, Jim Woodcock - Formal Methods and Software Engineering
Jin Song Dong, James Woodcock, Jim Woodcock Formal Methods and Software Engineering Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
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 Englisch 26.06.2009 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Grady Booch, Perdita Stevens, Jon Whittle - UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications
Grady Booch, Perdita Stevens, Jon Whittle UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications Englisch 25.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Shiram Krishnamurthi, Shrira Krishnamurthi, Shriram Krishnamurthi, Odersky, Odersky, Martin Odersky - Compiler Construction
Shiram Krishnamurthi, Shrira Krishnamurthi, Shriram Krishnamurthi, Odersky, Odersky, Martin Odersky Compiler Construction Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Sergei Gorlatch, F. Rabhi, Fethi Rabhi, Feth A Rabhi, Fethi A Rabhi, Gorlatch... - Patterns and Skeletons for Parallel and Distributed Computing
Sergei Gorlatch, F. Rabhi, Fethi Rabhi, Feth A Rabhi, Fethi A Rabhi, Gorlatch... Patterns and Skeletons for Parallel and Distributed Computing Englisch 29.10.2002 Taschenbuch Fr. 203.00 6-7 Wochen
Robert Gl¿ck, Rober Glück, Robert Glück, Lowry, Lowry, Michael Lowry - Generative Programming and Component Engineering
Robert Gl¿ck, Rober Glück, Robert Glück, Lowry, Lowry, Michael Lowry Generative Programming and Component Engineering Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Carlos Martin-Vide, Victor Mitrana, Gheorghe Paun, C. Martin-Vide, Carlos Martin-Vide, V. Mitrana... - Formal Languages and Applications
Carlos Martin-Vide, Victor Mitrana, Gheorghe Paun, C. Martin-Vide, Carlos Martin-Vide, V. Mitrana... Formal Languages and Applications Englisch 17.03.2004 Fester Einband Fr. 239.00 6-7 Wochen
Rocco De Nicola, Rocco DeNicola, Gianluigi Ferrari, Greg Meredith, Rocco de Nicola - Coordination Models and Languages
Rocco De Nicola, Rocco DeNicola, Gianluigi Ferrari, Greg Meredith, Rocco de Nicola Coordination Models and Languages Englisch 19.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Nachu Dershowitz, Nachum Dershowitz - Verification: Theory and Practice
Nachu Dershowitz, Nachum Dershowitz Verification: Theory and Practice Englisch 18.03.2004 Taschenbuch Fr. 135.00 6-7 Wochen
Rene Alt, René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther - Numerical Software with Result Verification
Rene Alt, René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther Numerical Software with Result Verification Englisch 19.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Eerke Boiten, Eerke A. Boiten, John Derrick, Graeme Smith - Integrated Formal Methods
Eerke Boiten, Eerke A. Boiten, John Derrick, Graeme Smith Integrated Formal Methods Englisch 23.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Pete D Mosses, Peter D Mosses, P. D. Mosses, Peter D. Mosses - CASL Reference Manual
Pete D Mosses, Peter D Mosses, P. D. Mosses, Peter D. Mosses CASL Reference Manual Englisch 22.04.2004 Taschenbuch Fr. 135.00 6-7 Wochen
Lawrence Rauchwerger - Languages and Compilers for Parallel Computing
Lawrence Rauchwerger Languages and Compilers for Parallel Computing Englisch 25.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
David Schmidt - Programming Languages and Systems
David Schmidt Programming Languages and Systems Englisch 25.08.2005 Taschenbuch Fr. 169.00 6-7 Wochen
R. Sharp, Richard Sharp - Higher-Level Hardware Synthesis
R. Sharp, Richard Sharp Higher-Level Hardware Synthesis Englisch 22.04.2004 Taschenbuch Fr. 70.00 6-7 Wochen