Ergebnisse filtern
-
- 39
-
- 2
- 5
- 15
- 8
- 9
-
- 39
-
- 36
- 3
-
- 39
-
- 39
-
- 39
- 1
-
Peled / Tsay Automated Technology for Verification and Analysis
Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29209-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Butler / Jones / Romanovsky Methods, Models and Tools for Fault Tolerance
1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00866-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jacko Human-Computer Interaction. Interaction Design and Usability
12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73104-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Winckler / Johnson / Palanque Task Models and Diagrams for User Interface Design
6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-77221-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Derrick / Vain Formal Techniques for Networked and Distributed Systems - FORTE 2007
27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73195-5Medium: 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 -
Chen / Zhang Secure Transaction Protocol Analysis
Models and ApplicationsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85073-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Prodan / Fahringer Grid Computing
Experiment Management, Tool Integration, and Scientific WorkflowsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-69261-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bouyssounouse / Sifakis Embedded Systems Design
The ARTIST Roadmap for Research and Development1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25107-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ramos / Lrios Rosillo / Unger Advanced Distributed Systems
5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28063-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Südholt / Consel Object-Oriented Technology.ECOOP 2006 Workshop Reader
ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final ReportsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71772-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cebulla Object-Oriented Technology. ECOOP 2007 Workshop Reader
ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final ReportsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78194-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jacko Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments
12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IIIErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73108-5Medium: Buch160,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