Ergebnisse filtern
-
- 10
-
- 2
- 1
- 2
- 2
- 1
- 1
- 1
-
- 1
- 2
- 5
- 1
- 1
-
- 1
- 7
- 2
-
- 10
-
- 10
-
- 10
- 2
Mathematik | Informatik
-
Beyer / Taksar / Cheng Markovian Demand Inventory Models
2010Verlag: Springer USISBN: 978-1-4614-2466-6Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Beyer / Cheng / Sethi Markovian Demand Inventory Models
2010. Auflage 2009Verlag: Springer UsISBN: 978-0-387-71603-9Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Keller / Beyer Tests and Proofs
13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-31156-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Zufferey / Beyer Verification, Model Checking, and Abstract Interpretation
21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-39321-2Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Huisman / Beyer Tools and Algorithms for the Construction and Analysis of Systems
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II1. Auflage 2018Verlag: Springer Nature SwitzerlandISBN: 978-3-319-89962-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Boreale / Beyer Formal Techniques for Distributed Systems
Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-38591-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Huisman / Beyer Tools and Algorithms for the Construction and Analysis of Systems
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I1. Auflage 2018Verlag: Springer Nature SwitzerlandISBN: 978-3-319-89959-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cavalcanti / Beyer Fundamental Approaches to Software Engineering
27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-57258-6Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Beyer / Kordon / Hartmanns TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-67694-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Beyer / Steffen / Huisman Tools and Algorithms for the Construction and Analysis of Systems
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III1. Auflage 2019Verlag: Springer Nature SwitzerlandISBN: 978-3-030-17501-6Medium: 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
