Ergebnisse filtern
-
- 20
-
- 1
- 1
- 6
- 4
- 3
- 2
- 1
- 2
-
- 10
- 8
- 2
-
- 16
- 4
-
- 20
-
- 20
-
- 20
Professionelle Anwendung
-
Larsen / Wang / Sokolsky Dependable Software Engineering. Theories, Tools, and Applications
Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-69482-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cheng / Magee / de Lemos Software Engineering for Self-Adaptive Systems
2009Verlag: SpringerISBN: 978-3-642-02160-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ali Babar / Vierimaa / Oivo Product-Focused Software Process Improvement
11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13791-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Marquardt / Nagl Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support
Results of the IMPROVE Project2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-70551-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Giese / Karsai / Lee Model-Based Engineering of Embedded Real-Time Systems
International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16276-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Miesenberger / Holzinger HCI and Usability for e-Inclusion
5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2009, Linz, Austria, November 9-10, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-10307-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Paliouras / Verkest / Vounckx Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-29013-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Furia / Aichernig Tests and Proofs
10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-41134-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Markopoulos / Rowland / IJsselsteijn Fun and Games
Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-88321-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Laneve / Su Web Services and Formal Methods
6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14457-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Namjoshi / Okamura / Yoneda Automated Technology for Verification and Analysis
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-75595-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Paige Theory and Practice of Model Transformations
Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-02407-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Palanque / Graham Interactive Systems. Design, Specification, and Verification
15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-70568-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhang / Graf Automated Technology for Verification and Analysis
4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-47237-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tsay / Peled Automated Technology for Verification and Analysis
Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-29209-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Biletskiy / Paschke Advances in Rule Interchange and Applications
International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-75974-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Keller / Gabriel / Dongarra Recent Advances in the Message Passing Interface
17th European MPI User's Group Meeting, EuroMPI 2010, Stuttgart, Germany, September12-15, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15645-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Aleven / Kay / Mostow Intelligent Tutoring Systems
10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part I1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13387-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cress / Dimitrova / Specht Learning in the Synergy of Multiple Disciplines
4th European Conference on Technology Enhanced Learning, EC-TEL 2009 Nice, France, September 29--October 2, 2009 ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04635-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Aleven / Kay / Mostow Intelligent Tutoring Systems
10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part II1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13436-4Medium: 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