Ergebnisse filtern
-
- 75
-
- 75
-
- 11
- 53
- 11
-
- 75
-
- 75
-
- 75
- 4
Modellierung & Simulation
-
Quesada-Arencibia / Affenzeller / Moreno-Díaz Computer Aided Systems Theory - EUROCAST 2024
19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part IIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-83887-3Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Quesada-Arencibia / Affenzeller / Moreno-Díaz Computer Aided Systems Theory - EUROCAST 2024
19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-82951-2Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Quesada-Arencibia / Affenzeller / Moreno-Díaz Computer Aided Systems Theory - EUROCAST 2024
19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-82959-8Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Schuchart / Bouteiller / Hunold Recent Advances in the Message Passing Interface
32nd European MPI Users' Group Meeting, EuroMPI 2025, Charlotte, NC, USA, October 1-3, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-07193-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Moreno-Díaz / Pichler / Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2017
16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I1. Auflage 2018Verlag: SpringerISBN: 978-3-319-74717-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Moreno-Díaz / Pichler / Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2022
18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022, Revised Selected Papers1. Auflage 2022Verlag: SpringerISBN: 978-3-031-25311-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Moreno-Díaz / Pichler / Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2015
15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27339-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Moreno-Díaz / Pichler / Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2019
17th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019, Revised Selected Papers, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-45092-2Medium: Buch53,49 € (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
-
Moreno-Díaz / Pichler / Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2017
16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II1. Auflage 2018Verlag: SpringerISBN: 978-3-319-74726-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 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
-
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
-
Blasch / Darema / Metaxas Dynamic Data Driven Applications Systems
5th International Conference, DDDAS/Infosymbiotics for Reliable AI 2024, New Brunswick, NJ, USA, November 6-8, 2024, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-94894-7Medium: Buch139,09 € (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
-
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: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ren / Hussain / Liao Advances in Brain Inspired Cognitive Systems
13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings2024Verlag: SpringerISBN: 978-981-97-1416-2Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Blaas-Schenner / Niethammer / Haas Recent Advances in the Message Passing Interface
31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings2025Verlag: SpringerISBN: 978-3-031-73369-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gavrilova / Tan Transactions on Computational Science XXII
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54211-4Medium: Buch53,49 € (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
-
Mazal / Fagiolini / Vasik Modelling and Simulation for Autonomous Systems
10th International Conference, MESAS 2023, Palermo, Italy, October 17-19, 2023, Revised Selected Papers2023Verlag: SpringerISBN: 978-3-031-71396-5Medium: Buch79,17 € (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
-
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
-
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
-
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
