Reihe: Programming and Software Engineering

Universal Access in Human-Computer Interaction. Applications and Services

4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, held as Part of HCi International 2007, Beijing,China, July 22-27, 2007, Proceedings, Part III

Constantine Stephanidis

Taschenbuch | Springer Berlin, 2007

Lieferbar in 6 Werktagen

€ 109,99

Theory and Practice of Model Transformations

Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

Laurence Tratt, Martin Gogolla

Taschenbuch | Springer Berlin, 2010

Lieferung in 7-14 Werktagen

€ 54,99

Mathematical and Engineering Methods in Computer Science

7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

Zdeněk Kotásek, Jan Bouda, Ivana Cerná, Lukas Sekanina, Tomas Vojnar, David Antoš

Taschenbuch | Springer Berlin, 2012

Lieferbar in 6 Werktagen

€ 54,99

Ada 2005 Reference Manual. Language and Standard Libraries

International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1

S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy

Taschenbuch | Springer Berlin, 2006

Lieferung in 7-14 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

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

Reihe: Programming and Software Engineering

Universal Access in Human-Computer Interaction. Applications and Services

Theory and Practice of Model Transformations

Mathematical and Engineering Methods in Computer Science

Ada 2005 Reference Manual. Language and Standard Libraries

Formal Methods for Computational Systems Biology

Search Based 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

Unsere Prinzipien