Book serie: / Книги серии: Lecture Notes in Computer Science 3465 : Programming and Software Engineering » Page 98 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 3465 : Programming and Software Engineering » Page 98

book Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

pdf

Author: Ugo Montanari Marco Pistore (auth.) Marco Bernardo Alessandro Bogliolo (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Empirical Software Engineering Issues. Critical Assessment and Future Directions: International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers

Empirical Software Engineering Issues. Critical Assessment and Future Directions: International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers

pdf

Author: Dieter Rombach (auth.) Victor R. Basili Dieter Rombach Kurt Schneider Barbara Kitchenham Dietmar Pfahl Richard W. Selby (eds.)
Language: English
Year: 2007

00

26.01.2024

4

0

book Engineering Human Computer Interaction and Interactive Systems: Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers

Engineering Human Computer Interaction and Interactive Systems: Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers

pdf

Author: Bonnie E. John Len Bass Maria-Isabel Sanchez-Segura Rob J. Adams (auth.) Rémi Bastide Philippe Palanque Jörg Roth (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Computer Performance Engineering: 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings

Computer Performance Engineering: 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings

pdf

Author: Boudewijn R. Haverkort (auth.) Nigel Thomas Carlos Juiz (eds.)
Language: English
Year: 2008

00

26.01.2024

1

0

book Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings

Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings

pdf

Author: John L. Henning (auth.) David Kaeli Kai Sachs (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Computer Safety, Reliability, and Security: 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings

Computer Safety, Reliability, and Security: 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings

pdf

Author: Willem Ridderhof Hans-Gerhard Gross Heiko Doerr (auth.) Francesca Saglietti Norbert Oster (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Computer Safety, Reliability, and Security: 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

Computer Safety, Reliability, and Security: 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

pdf

Author: Erik Hollnagel (auth.) Michael D. Harrison Mark-Alexander Sujan (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Component-Based Software Engineering: 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

Component-Based Software Engineering: 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

pdf

Author: Rafael Tolosana-Calasanz Omer F. Rana José A. Bañares (auth.) Michel R. V. Chaudron Clemens Szyperski Ralf Reussner (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Autonomic and Trusted Computing: 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008 Proceedings

Autonomic and Trusted Computing: 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008 Proceedings

pdf

Author: Erdal Cayirci (auth.) Chunming Rong Martin Gilje Jaatun Frode Eika Sandnes Laurence T. Yang Jianhua Ma (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Analytical and Stochastic Modeling Techniques and Applications: 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

Analytical and Stochastic Modeling Techniques and Applications: 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

pdf

Author: Dieter Fiems Veronique Inghelbrecht Bart Steyaert Herwig Bruneel (auth.) Khalid Al-Begain Armin Heindl Miklós Telek (eds.)
Language: English
Year: 2008

00

26.01.2024

4

0