Ergebnisse filtern
-
- 148
-
- 148
-
- 9
- 109
- 30
-
- 148
-
- 148
-
- 148
- 8
-
Broy / Krüger / Meisinger Model-Driven Development of Reliable Automotive Services
Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-70929-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bello / Edwards Biomedical Simulation
4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-70520-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gurfinkel / Heule Tools and Algorithms for the Construction and Analysis of Systems
31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-90652-7Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Benz / Gopinath / Shi NASA Formal Methods
16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-60697-7Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rovatsos / Vouros / Julian Multi-Agent Systems and Agreement Technologies
13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33508-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Junges / Katz Tools and Algorithms for the Construction and Analysis of Systems
32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part IErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-22751-5Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brock / Krichmar From Animals to Animats 17
17th International Conference on Simulation of Adaptive Behavior, SAB 2024, Irvine, CA, USA, September 9-12, 2024, Proceedings2025Verlag: SpringerISBN: 978-3-031-71532-7Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bandini / Manzoni / Umeo Cellular Automata
9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21-24, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15978-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barkowsky / Burte / Hölscher Spatial Cognition X
13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26-30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2-5, 2016, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68188-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blackburn / Ghidini / Turner Modeling and Using Context
4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40380-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Finkbeiner / Kovács Tools and Algorithms for the Construction and Analysis of Systems
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III2024Verlag: SpringerISBN: 978-3-031-57255-5Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kanellopoulos / Kyropoulou / Voudouris Algorithmic Game Theory
15th International Symposium, SAGT 2022, Colchester, UK, September 12-15, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-15713-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lukosch / Bekebrede / Kortmann Simulation Gaming. Applications for Sustainable Cities and Smart Infrastructures
48th International Simulation and Gaming Association Conference, ISAGA 2017, Delft, The Netherlands, July 10-14, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-91901-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sachse Computational Cardiology
Modeling of Anatomy, Electrophysiology, and Mechanics1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21907-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hodicky Modelling and Simulation for Autonomous Systems
Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-47604-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chopard / Tomassini Cellular Automata
5th International Conference on Cellular Automata for Research and Industry, ACRI 2002, Geneva, Switzerland, October 9-11, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44304-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Warboys Software Process Technology
Third European Workshop, EWSPT '94, Villard de Lans, France, February 7-9, 1994. Proceedings1. Auflage 1994Verlag: SpringerISBN: 978-3-540-57739-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Angeline / Reynolds / McDonnell Evolutionary Programming VI
6th International Conference, EP 97, Indianapolis, Indiana, USA, April 13-16, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62788-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rausch / Reussner / Mirandola The Common Component Modeling Example
Comparing Software Component ModelsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85288-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gurfinkel / Heule Tools and Algorithms for the Construction and Analysis of Systems
31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-90642-8Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Caragiannis / Hansen Algorithmic Game Theory
14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21-24, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-85946-6Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Finkbeiner / Kovács Tools and Algorithms for the Construction and Analysis of Systems
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I2024Verlag: SpringerISBN: 978-3-031-57245-6Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Margenov / Vulkov / Wasniewski Numerical Analysis and Its Applications
4th International Conference, NAA 2008 Lozenetz, Bulgaria, June 16-20, 2008, Revised Selected Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00463-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort