Languages
Subject
Format
Availabity
Authors

Search result

Hubert Baumeister, Mike Holcombe, Michele Marchesi - Extreme Programming and Agile Processes in Software Engineering
Hubert Baumeister, Mike Holcombe, Michele Marchesi Extreme Programming and Agile Processes in Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Mario Dal Cin, Mohamed Kaâniche, András Pataricza - Dependable Computing - EDCC 2005
Mario Dal Cin, Mohamed Kaâniche, András Pataricza Dependable Computing - EDCC 2005 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Rémi Bastide, Philipp Palanque, Philippe Palanque, Jörg Roth - Engineering Human Computer Interaction and Interactive Systems
Rémi Bastide, Philipp Palanque, Philippe Palanque, Jörg Roth Engineering Human Computer Interaction and Interactive Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Martin Henson, Martin Henson et al, Stev King, Steve King, Steve Schneider, Helen Treharne - ZB 2005: Formal Specification and Development in Z and B
Martin Henson, Martin Henson et al, Stev King, Steve King, Steve Schneider, Helen Treharne ZB 2005: Formal Specification and Development in Z and B English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Manfred Broy, Beng Jonsson, Bengt Jonsson, Joost-Pieter Katoen, Joost-Pieter Katoen et al, Martin Leucker... - Model-Based Testing of Reactive Systems
Manfred Broy, Beng Jonsson, Bengt Jonsson, Joost-Pieter Katoen, Joost-Pieter Katoen et al, Martin Leucker... Model-Based Testing of Reactive Systems English 04.07.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Ro Morrison, Ron Morrison, Oquendo, Oquendo, Flavio Oquendo - Software Architecture
Ro Morrison, Ron Morrison, Oquendo, Oquendo, Flavio Oquendo Software Architecture English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Thomas Gschwind, Cecilia Mascolo - Software Engineering and Middleware
Thomas Gschwind, Cecilia Mascolo Software Engineering and Middleware English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Ricardo Choren, Alessandr Garcia, Alessandro Garcia, Carlos Lucena, Carlos Lucena et al, Alexander Romanovsky - Software Engineering for Multi-Agent Systems III
Ricardo Choren, Alessandr Garcia, Alessandro Garcia, Carlos Lucena, Carlos Lucena et al, Alexander Romanovsky Software Engineering for Multi-Agent Systems III English 12.04.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Gustav Dahll, Bjoern Axel Gran, Rune Winther - Computer Safety, Reliability, and Security
Gustav Dahll, Bjoern Axel Gran, Rune Winther Computer Safety, Reliability, and Security English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Kwangkeu Yi, Kwangkeun Yi - Programming Languages and Systems
Kwangkeu Yi, Kwangkeun Yi Programming Languages and Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Gustav Alonso, Gustavo Alonso - Middleware 2005
Gustav Alonso, Gustavo Alonso Middleware 2005 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Boualem Benatallah, Fabi Casati, Fabio Casati, Paolo Traverso - Service-Oriented Computing - ICSOC 2005
Boualem Benatallah, Fabi Casati, Fabio Casati, Paolo Traverso Service-Oriented Computing - ICSOC 2005 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
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 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Heinrich Rust - Operational Semantics for Timed Systems
Heinrich Rust Operational Semantics for Timed Systems English 07.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Colin Atkinson, Christia Bunse, Christian Bunse, Hans-Gerhard Gross, Hans-Gerhard Gross et al, Christian Peper - Component-Based Software Development for Embedded Systems
Colin Atkinson, Christia Bunse, Christian Bunse, Hans-Gerhard Gross, Hans-Gerhard Gross et al, Christian Peper Component-Based Software Development for Embedded Systems English 22.12.2005 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Beniamino Di Martino, Jack Dongarra, Diete Kranzlmüller, Dieter Kranzlmüller, Beniamino di Martino - Recent Advances in Parallel Virtual Machine and Message Passing Interface
Beniamino Di Martino, Jack Dongarra, Diete Kranzlmüller, Dieter Kranzlmüller, Beniamino di Martino Recent Advances in Parallel Virtual Machine and Message Passing Interface English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Vassilis Paliouras, Diederik Verkest, Johan Vounckx - Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
Vassilis Paliouras, Diederik Verkest, Johan Vounckx Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks