Languages
Subject
Format
Clear Availabity
Authors

Search result

Pankaj Jalote, Ian Mackie - A Concise Introduction to SoftWare Engineering
Pankaj Jalote, Ian Mackie A Concise Introduction to SoftWare Engineering English 29.09.2008 Paperback / Softback Sold out
William Von Hagen, William Von Hagen, k hagen Wall, Kurt Wall - Definitive guide to gcc -the-
William Von Hagen, William Von Hagen, k hagen Wall, Kurt Wall Definitive guide to gcc -the- English 31.12.2005 Paperback / Softback Sold out
Radovan Cervenka, Ivan Trencansky - The Agent Modeling Language - AML
Radovan Cervenka, Ivan Trencansky The Agent Modeling Language - AML English 01.05.2007 Paperback / Softback Sold out
Dov Dori - Object-Process Methodology
Dov Dori Object-Process Methodology English 03.10.2013 Paperback / Softback Sold out
B. K. Aichernig, Bernhard K. Aichernig, T. Maibaum, Tom Maibaum - Formal Methods at the Crossroads. From Panacea to Foundational Support
B. K. Aichernig, Bernhard K. Aichernig, T. Maibaum, Tom Maibaum Formal Methods at the Crossroads. From Panacea to Foundational Support English 18.11.2003 Paperback / Softback Sold out
Rajeev Alur, Insup Lee - Embedded Software
Rajeev Alur, Insup Lee Embedded Software English 29.09.2003 Paperback / Softback Sold out
Susanne Graf, Laurent Mounier - Model Checking Software
Susanne Graf, Laurent Mounier Model Checking Software English 18.03.2004 Paperback / Softback Sold out
Frank Mueller - High-Level Parallel Programming Models and Supportive Environments
Frank Mueller High-Level Parallel Programming Models and Supportive Environments English 04.04.2001 Paperback / Softback Sold out
Matthew Dwyer - Model Checking Software
Matthew Dwyer Model Checking Software English 02.05.2001 Paperback / Softback Sold out
S. Melnik, Sergey Melnik - Generic Model Management
S. Melnik, Sergey Melnik Generic Model Management English 28.04.2004 Paperback / Softback Sold out
Henk Schepers - Software and Compilers for Embedded Systems
Henk Schepers Software and Compilers for Embedded Systems English 23.08.2004 Paperback / Softback Sold out
Herbert Kuchen, Kazunori Ueda - Functional and Logic Programming
Herbert Kuchen, Kazunori Ueda Functional and Logic Programming English 23.02.2001 Paperback / Softback Sold out
Pieter Koopman, Markus Mohnen - Implementation of Functional Languages
Pieter Koopman, Markus Mohnen Implementation of Functional Languages English 18.04.2001 Paperback / Softback Sold out
Siddhartha Chatterjee, Jeanne Ferrante, Manish Gupta, Samuel P. Midkiff, Jose E. Moreira, Jan Prins... - Languages and Compilers for Parallel Computing
Siddhartha Chatterjee, Jeanne Ferrante, Manish Gupta, Samuel P. Midkiff, Jose E. Moreira, Jan Prins... Languages and Compilers for Parallel Computing English 05.12.2001 Paperback / Softback Sold out
Dragan Bosnacki, Stefan Leue - Model Checking Software
Dragan Bosnacki, Stefan Leue Model Checking Software English 27.03.2002 Paperback / Softback Sold out
T. Fahringer, Thomas Fahringer, B. Scholz, Bernhard Scholz - Advanced Symbolic Analysis for Compilers
T. Fahringer, Thomas Fahringer, B. Scholz, Bernhard Scholz Advanced Symbolic Analysis for Compilers English 07.04.2003 Paperback / Softback Sold out
Frank Pfenning, Yannis Smaragdakis - Generative Programming and Component Engineering
Frank Pfenning, Yannis Smaragdakis Generative Programming and Component Engineering English 12.09.2003 Paperback / Softback Sold out
Stephan Diehl - Distributed Virtual Worlds
Stephan Diehl Distributed Virtual Worlds English 01.12.2010 Paperback / Softback Sold out
Philippe Codognet - Logic Programming
Philippe Codognet Logic Programming English 14.11.2001 Paperback / Softback Sold out
Richard J. Boulton, Paul B. Jackson - Theorem Proving in Higher Order Logics
Richard J. Boulton, Paul B. Jackson Theorem Proving in Higher Order Logics English 22.08.2001 Paperback / Softback Sold out