Ergebnisse filtern
-
- 77
-
- 76
- 1
-
- 14
- 53
- 10
-
- 77
-
- 75
- 2
-
- 77
- 2
-
Floater / Lyche / Mazure Mathematical Methods for Curves and Surfaces
9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67884-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bilò / Flammini Algorithmic Game Theory
10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-66699-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dutle / Humphrey / Titolo NASA Formal Methods
17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93705-7Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lavi / Zhang Algorithmic Game Theory
18th International Symposium, SAGT 2025, Bath, UK, September 2-5, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-03638-4Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blasch / Darema / Aved Dynamic Data Driven Applications Systems
4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6-10, 2022, Proceedings2024Verlag: SpringerISBN: 978-3-031-52669-5Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fred / De Marsico / Figueiredo Pattern Recognition: Applications and Methods
4th International Conference, ICPRAM 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27676-2Medium: 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 IIErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-22748-5Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Behrisch / Krajzewicz / Weber Simulation of Urban Mobility
First International Conference, SUMO 2013, Berlin, Germany, May 15-17, 2013. Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45078-9Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lehnert Energy-Aware Communications
17th International Workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-23540-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Al-Begain / Fiems / Vincent Analytical and Stochastic Modeling Techniques and Applications
19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-30781-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
van Assen / Bovendeerd / Delhaas Functional Imaging and Modeling of the Heart
8th International Conference, FIMH 2015, Maastricht, The Netherlands, June 25-27, 2015. Proceedings2015Verlag: SpringerISBN: 978-3-319-20308-9Medium: 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 -
Mazal Modelling and Simulation for Autonomous Systems
4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-76071-1Medium: Buch53,49 € (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 -
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 -
Mazal / Fagiolini / Vašík Modelling and Simulation for Autonomous Systems
11th International Conference, MESAS 2024, Chania, Crete, Greece, October 1-3, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-99731-0Medium: Buch139,09 € (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 -
Deshmukh / Havelund / Pinto NASA Formal Methods
18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-28078-7Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grimaldo / Norling Multi-Agent-Based Simulation XV
International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-14626-3Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cuzzocrea / Maabout Model and Data Engineering
Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41365-0Medium: 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: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abate / Safranek Hybrid Systems Biology
Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-26915-3Medium: Buch51,36 € (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 -
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 -
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort