Ergebnisse filtern
-
- 7
- 7
-
- 2
- 4
- 2
- 4
- 2
-
- 2
- 9
- 3
-
- 14
-
- 14
-
- 14
-
- 14
-
Ábrahám / Huisman Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-33693-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark85,59 € (inkl. MwSt.)
sofort verfügbar
-
Hojjat / Ábrahám Fundamentals of Software Engineering
10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-42441-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark64,19 € (inkl. MwSt.)
sofort verfügbar
-
Palamidessi / Ábrahám Formal Techniques for Distributed Objects, Components, and Systems
34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings2014Verlag: SpringerISBN: 978-3-662-43612-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ábrahám / Hojjat Fundamentals of Software Engineering
10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-42440-3Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Paolieri / Ábrahám Quantitative Evaluation of Systems
19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-16335-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ábrahám / Paolieri Quantitative Evaluation of Systems
19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-16336-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Abbas / Ábrahám Runtime Verification
24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-74233-0Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Huisman / Ábrahám Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-33692-3Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ábrahám / Palamidessi Formal Techniques for Distributed Objects, Components, and Systems
34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-43613-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Ábrahám / Abbas Runtime Verification
24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, ProceedingsErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-74234-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark58,84 € (inkl. MwSt.)
sofort verfügbar
-
Ábrahám / Johnsen / Bonsangue Theory and Practice of Formal Methods
Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-30733-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ábrahám / Bonsangue / Johnsen Theory and Practice of Formal Methods
Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-30734-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Ábrahám / Dubslaff / Tarifa Theoretical Aspects of Computing – ICTAC 2023
20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-47963-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark85,59 € (inkl. MwSt.)
sofort verfügbar
-
Ábrahám / Tarifa / Dubslaff Theoretical Aspects of Computing - ICTAC 2023
20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-47962-5Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
