Ergebnisse filtern
-
- 142
-
- 142
-
- 8
- 105
- 29
-
- 142
-
- 142
-
- 142
- 9
-
Katila / Magnin / Clarysse Functional Imaging and Modeling of the Heart
First International Workshop, FIMH 2001, Helsinki, Finland, November 15-16, 2001, ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42861-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tanaka / Iwata / Higuchi Evolvable Systems: From Biology to Hardware
4th International Conference, ICES 2001 Tokyo, Japan, October 3-5, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42671-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gallardo / Merino Model Checking Software
25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-94110-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Al-Begain / Fiems / Horváth Analytical and Stochastic Modeling Techniques and Applications
16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02204-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mazal / Fagiolini / Vašík Modelling and Simulation for Autonomous Systems
9th International Conference, MESAS 2022, Prague, Czech Republic, October 20-21, 2022, Revised Selected Papers1. Auflage 2023Verlag: SpringerISBN: 978-3-031-31267-0Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Maler / Halász / Dang Hybrid Systems Biology
Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27655-7Medium: Buch42,80 € (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 II2024Verlag: SpringerISBN: 978-3-031-57248-7Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chiba / Südholt / Eugster Transactions on Modularity and Composition I
1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46968-3Medium: Buch82,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Braubach / Briot / Thangarajah Programming Multi-Agent Systems
7th International Workshop, ProMAS 2009, Budapest, Hungary, May10-15, 2009.Revised Selected Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14842-2Medium: 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 IIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-90659-6Medium: Buch42,79 € (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 -
Plaza / Benjamins Knowledge Acquisition, Modeling and Management
10th European Workshop, EKAW'97, Sant Feliu de Guixols, Catalonia, Spain, October 15-18, 1997. ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63592-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 -
Prendinger / Lester / Ishizuka Intelligent Virtual Agents
8th International Conference, IVA 2008, Tokyo, Japan, September 1-3, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85482-1Medium: 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 -
van den Brand / Gasevic / Gray Software Language Engineering
Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-12106-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Spyropoulos / Hummel Self-Organizing Systems
4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009, Proceedings1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-10864-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sirisuk / Morgan / El-Ghazawi Reconfigurable Computing: Architectures, Tools and Applications
6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-12132-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schäfer / Ventre Algorithmic Game Theory
17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-71032-2Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Alfaro / Gilmore Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42556-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Di Tosto / Parunak Multi-Agent-Based Simulation X
International Workshop, MABS 2009, Budapest, Hungary, May10-15, 2009. Revised Selected Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13552-1Medium: Buch53,49 € (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 -
Taylor / Boulanger / Krüger Smart Graphics
10th International Symposium on Smart Graphics, Banff, Canada, June 24-26 Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13543-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pezzulo / Butz / Castelfranchi The Challenge of Anticipation
A Unifying Framework for the Analysis and Design of Artificial Cognitive SystemsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87701-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