Languages
Subject
Format
Availabity
Authors

Search result

Frank Pfenning - Term Rewriting and Applications
Frank Pfenning Term Rewriting and Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Christophe Dony, J. L. Knudsen, Jorgen Lindskov Knudsen, Jorge Lindskov Knudsen, Jorgen Lindskov Knudsen, Alexander Romanovsky... - Advanced Topics in Exception Handling Techniques
Christophe Dony, J. L. Knudsen, Jorgen Lindskov Knudsen, Jorge Lindskov Knudsen, Jorgen Lindskov Knudsen, Alexander Romanovsky... Advanced Topics in Exception Handling Techniques English 20.10.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Davi Lightfoot, David Lightfoot, Szyperski, Szyperski, Clemens Szyperski - Modular Programming Languages
Davi Lightfoot, David Lightfoot, Szyperski, Szyperski, Clemens Szyperski Modular Programming Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Eugene Asarin, Patricia Bouyer - Formal Modeling and Analysis of Timed Systems
Eugene Asarin, Patricia Bouyer Formal Modeling and Analysis of Timed Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Zoltá Ésik, Zoltán Ésik - Computer Science Logic
Zoltá Ésik, Zoltán Ésik Computer Science Logic English 26.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
David Harel, Oscar Nierstrasz, Gianna Reggio, Jon Whittle - Model Driven Engineering Languages and Systems
David Harel, Oscar Nierstrasz, Gianna Reggio, Jon Whittle Model Driven Engineering Languages and Systems English 14.04.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Jifeng He, Zhiming Liu - Formal Methods and Software Engineering
Jifeng He, Zhiming Liu Formal Methods and Software Engineering English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Klaus Havelund, Manue Núnez, Manuel Núnez, Grigore Rosu, Grigore Rosu et al, Burkhart Wolff - Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund, Manue Núnez, Manuel Núnez, Grigore Rosu, Grigore Rosu et al, Burkhart Wolff Formal Approaches to Software Testing and Runtime Verification English 15.03.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata, Masanobu Umeda, Armin Wolf - Declarative Programming for Knowledge Management
Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata, Masanobu Umeda, Armin Wolf Declarative Programming for Knowledge Management English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Rober A Duff, Robert A Duff, Randall L. Brukardt, Robert A. Duff, Randall L Brukardt et al, Pascal Leroy... - Ada 2005 Reference Manual. Language and Standard Libraries
Rober A Duff, Robert A Duff, Randall L. Brukardt, Robert A. Duff, Randall L Brukardt et al, Pascal Leroy... Ada 2005 Reference Manual. Language and Standard Libraries English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Eduard Ayguadé, Eduard Ayguadè, Geral Baumgartner, Gerald Baumgartner, J. Ramanujam, J Ramanujam et al... - Languages and Compilers for Parallel Computing
Eduard Ayguadé, Eduard Ayguadè, Geral Baumgartner, Gerald Baumgartner, J. Ramanujam, J Ramanujam et al... Languages and Compilers for Parallel Computing English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Bernhard Beckert, Peter H Schmitt, Reine Hähnle, Reiner Hähnle, Peter H. Schmitt - Verification of Object-Oriented Software. The KeY Approach
Bernhard Beckert, Peter H Schmitt, Reine Hähnle, Reiner Hähnle, Peter H. Schmitt Verification of Object-Oriented Software. The KeY Approach English 14.04.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Byro Cook, Byron Cook, Podelski, Podelski, Andreas Podelski - Verification, Model Checking, and Abstract Interpretation
Byro Cook, Byron Cook, Podelski, Podelski, Andreas Podelski Verification, Model Checking, and Abstract Interpretation English 05.08.2009 Paperback / Softback Fr. 70.00 6-7 weeks
K. Denecke, Klaus Denecke, J. Koppitz, Jc6rg Koppitz, Jör Koppitz, Jorg Koppitz... - M-Solid Varieties of Algebras
K. Denecke, Klaus Denecke, J. Koppitz, Jc6rg Koppitz, Jör Koppitz, Jorg Koppitz... M-Solid Varieties of Algebras English 09.03.2006 Hardback Fr. 179.00 6-7 weeks
C Pozrikidis, C. Pozrikidis, Constantine Pozrikidis - Introduction to C++ Programming and Graphics
C Pozrikidis, C. Pozrikidis, Constantine Pozrikidis Introduction to C++ Programming and Graphics English 07.07.2007 Hardback Fr. 110.00 6-7 weeks
Rainer Leupers, Heinric Meyr, Heinrich Meyr, Olive Schliebusch, Oliver Schliebusch - Optimized ASIP Synthesis from Architecture Description Language Models
Rainer Leupers, Heinric Meyr, Heinrich Meyr, Olive Schliebusch, Oliver Schliebusch Optimized ASIP Synthesis from Architecture Description Language Models English 25.06.2009 Hardback Fr. 169.00 6-7 weeks
Yasuo Narukawa - Modeling Decisions for Artificial Intelligence
Yasuo Narukawa Modeling Decisions for Artificial Intelligence English 07.10.2008 Paperback / Softback Fr. 69.00 6-7 weeks
Dietrich Baumgarten - Kompakt im Doppelpack, HTML und JavaScript Webdesign für Einsteiger
Dietrich Baumgarten Kompakt im Doppelpack, HTML und JavaScript Webdesign für Einsteiger German 01.01.2002 Paperback / Softback Fr. 41.90 6-7 weeks
Joachim L Zuckarelli, Joachim L. Zuckarelli - Programmieren lernen mit Python und JavaScript, m. 1 Buch, m. 1 E-Book
Joachim L Zuckarelli, Joachim L. Zuckarelli Programmieren lernen mit Python und JavaScript, m. 1 Buch, m. 1 E-Book German 06.07.2021 Mixed media product Fr. 66.00 6-7 weeks
Oliver Alt - Car Multimedia Systeme Modell-basiert testen mit SysML
Oliver Alt Car Multimedia Systeme Modell-basiert testen mit SysML German 27.03.2009 Paperback / Softback Fr. 91.00 6-7 weeks