Ergebnisse filtern
-
- 53
-
- 3
- 9
- 16
- 15
- 10
-
- 53
-
- 45
- 8
-
- 53
-
- 53
-
- 53
- 9
-
Kordon / Vardanega Reliable Software Technologies - Ada-Europe 2008
13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68621-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nagl / Marquardt Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support
Results of the IMPROVE ProjectErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-70551-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Krämer / Lin / Narasimhan Service-Oriented Computing - ICSOC 2007
Fifth International Conference, Vienna, Austria, September 17-20, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74973-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Horváth / Telek Formal Methods and Stochastic Models for Performance Evaluation
Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35362-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Al-Begain / Heindl / Telek Analytical and Stochastic Modeling Techniques and Applications
15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68980-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Meyer / Gurevich Tests and Proofs
First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73769-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yang / Jin / Ungerer Autonomic and Trusted Computing
Third International Conference, ATC 2006, Wuhan, China, September 3-6, 20061. Auflage 2006Verlag: SpringerISBN: 978-3-540-38619-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ciancarini / Wiklicky Coordination Models and Languages
8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34694-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Murphy / Vitek Coordination Models and Languages
9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72793-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lea / Zavattaro Coordination Models and Languages
10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68264-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jardim Nunes / Selic / Rodrigues da Silva UML Modeling Languages and Applications
<<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25081-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bruni / Wolf Web Services and Formal Methods
5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01363-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Saglietti / Oster Computer Safety, Reliability, and Security
26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-75100-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Górski Computer Safety, Reliability, and Security
25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45762-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Namjoshi / Yoneda / Higashino Automated Technology for Verification and Analysis
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75595-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhuge / Fox Grid and Cooperative Computing - GCC 2005
4th International Conference, Beijing, China, November 30 -- December 3, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30510-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Akehurst / Vogel / Paige Model Driven Architecture - Foundations and Applications
Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72900-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rensink / Warmer Model-Driven Architecture - Foundations and Applications
Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35909-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Morisio Reuse of Off-the-Shelf Components
9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34606-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bernardo / Degano / Zavattaro 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, 2008Erscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68892-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bernardo / Cimatti Formal Methods for Hardware Verification
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34304-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bernardo / Hillston Formal Methods for Performance Evaluation
7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced LecturesErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72482-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bernardo / Bogliolo 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 Lectures1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25697-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pipek / Rosson / Wulf End-User Development
2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00425-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kordon / Sztipanovits Reliable Systems on Unreliable Networked Platforms
12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71155-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort