Reihe: Programming and Software Engineering

Formal Methods: Applications and Technology

11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected

Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol

Taschenbuch | Springer Berlin, 2007

Lieferbar in 6 Werktagen

€ 54,99

Autonomic and Trusted Computing

8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011, Proceedings

Jose M. Alcaraz Calero, Laurence T. Yang, Felix Gomez-Marmol, Luis Javier García Villalba, Andy Xiaolin Li, Yan Wang

Taschenbuch | Springer Berlin, 2011

Lieferung in 7-14 Werktagen

€ 54,99

Programming Languages and Systems

8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings

Kazunori Ueda

Taschenbuch | Springer Berlin, 2010

Lieferung in 7-14 Werktagen

€ 54,99

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation

15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings

Vassilis Paliouras, Johan Vounckx, Diederik Verkest

Taschenbuch | Springer Berlin, 2005

Lieferbar in 6 Werktagen

€ 109,99

Formal Methods for Computational Systems Biology

8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008

Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro

Taschenbuch | Springer Berlin, 2008

Lieferbar in 6 Werktagen

€ 54,99

Search Based Software Engineering

Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings

Myra B. Cohen, Mel O Cinneide

Taschenbuch | Springer Berlin, 2011

Lieferung in 7-14 Werktagen

€ 54,99

Times of Convergence. Technologies Across Learning Contexts

Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008, Proceedings

Pierre Dillenbourg, Marcus Specht

Taschenbuch | Springer Berlin, 2008

Lieferbar in 6 Werktagen

€ 54,99

Software Architecture

First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings

Flavio Oquendo

Taschenbuch | Springer Berlin, 2007

Lieferbar in 6 Werktagen

€ 54,99

Product-Focused Software Process Improvement

12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings

Danilo Caivano, Markku Oivo, Maria Teresa Baldassarre, Giuseppe Visaggio

Taschenbuch | Springer Berlin, 2011

Lieferbar in 6 Werktagen

€ 54,99

Towards a Service-Based Internet

Third European Conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010, Proceedings

Di Nitto Elisabetta, Ramin Yahyapour

Taschenbuch | Springer Berlin, 2010

Lieferung in 7-14 Werktagen

€ 54,99

Reihe: Programming and Software Engineering

Formal Methods: Applications and Technology

Autonomic and Trusted Computing

Programming Languages and Systems

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation

Formal Methods for Computational Systems Biology

Search Based Software Engineering

Times of Convergence. Technologies Across Learning Contexts

Software Architecture

Product-Focused Software Process Improvement

Towards a Service-Based Internet

Unsere Prinzipien