Ergebnisse filtern
- Fachgebiet
- Medium
-
- 49
- 41
- Erscheinungsjahr
-
- 17
- 2
- 8
- 6
- 6
- 4
- 10
- 2
- 6
- 4
- 2
- 6
- 4
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- Autoren
-
- 1
- 1
- 16
- 2
- 1
- 1
- 16
- 16
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 6
- 8
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 5
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 5
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 16
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 2
- 2
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 16
- 1
- 1
- 2
- 2
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 5
- 1
- 1
- 5
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 16
- 1
- 16
- 1
- 2
- 5
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 16
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 16
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 3
- 2
- 1
- 2
- 1
- 1
- 16
- 16
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 5
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 2
- 1
- 3
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 5
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 2
- 1
- 2
- 1
- 16
- 2
- 1
- 1
- 5
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 3
- 3
- 2
- 4
- 2
- 1
- 2
- 1
- 1
- 5
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 14
- 1
- 1
- 2
- 1
- 3
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 3
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 3
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 2
- 4
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 3
- 2
- 2
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 16
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 11
- 1
- 2
- 1
- 16
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 2
- 2
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 11
- 2
- 7
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 16
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 11
- 2
- 2
- 2
- 16
- 2
- 2
- 2
- 2
- 3
- 64
- 2
- 2
- 2
- 9
- 5
- 11
- 2
- 6
- 7
- 16
- 2
- 2
- 2
- 16
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 11
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 16
- 16
- 16
- 2
- 2
- 5
- 3
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 16
- 2
- 11
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 8
- 2
- 2
- 2
- 16
- 5
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 16
- 2
- 2
- 16
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 11
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 14
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 90
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 7
- 8
- 16
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 16
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 16
- 2
- 2
- 2
- 2
- 16
- 2
- 11
- 18
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 16
- 6
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 16
- Verlag
-
- 20
- 8
- 46
- 15
- 1
- Preis
-
- 7
- 78
- 5
- Sprachen
-
- 88
- 2
- Verfügbarkeit
-
- 90
- Katalog
-
- 90
-
Steffen Transactions on Foundations for Mastering Change I
1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-46507-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Steffen Bridging the Gap Between AI and Reality
First International Conference, AISoLA 2023, Crete, Greece, October 23¿28, 2023, Selected Papers2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-73740-4Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Steffen Bridging the Gap Between AI and Reality
First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings1. Auflage 2024Verlag: Springer International PublishingISBN: 978-3-031-46002-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark74,89 € (inkl. MwSt.)
sofort verfügbar74,89 € (inkl. MwSt.)
sofort verfügbar
-
Steffen Tools and Algorithms for the Construction and Analysis of Systems
4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64356-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Steffen Transactions on Foundations for Mastering Change I
1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-46508-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Steffen Bridging the Gap Between AI and Reality
First International Conference, AISoLA 2023, Crete, Greece, October 23¿28, 2023, Proceedings1. Auflage 2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-46001-2Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Steffen Bridging the Gap Between AI and Reality
Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-75433-3Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Steffen Bridging the Gap Between AI and Reality
Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, ProceedingsErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-75434-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark74,89 € (inkl. MwSt.)
sofort verfügbar74,89 € (inkl. MwSt.)
sofort verfügbar
-
Steffen / Woeginger Computing and Software Science
State of the Art and PerspectivesErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-319-91908-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark32,09 € (inkl. MwSt.)
sofort verfügbar32,09 € (inkl. MwSt.)
sofort verfügbar
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
12th International Symposium, ISoLA 2024, Crete, Greece, October 27¿31, 2024, Proceedings, Part II2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-75106-6Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-88478-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IIErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-75107-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark70,61 € (inkl. MwSt.)
sofort verfügbar70,61 € (inkl. MwSt.)
sofort verfügbar
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part IIErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-34032-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification, and Validation
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part IErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-16558-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part IIErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45231-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-47165-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-61361-7Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation
10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-89159-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark74,89 € (inkl. MwSt.)
sofort verfügbar74,89 € (inkl. MwSt.)
sofort verfügbar
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation
10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-89158-9Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV1. Auflage 2021Verlag: Springer Nature SwitzerlandISBN: 978-3-030-83722-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-88479-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar149,79 € (inkl. MwSt.)
sofort verfügbar
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-61362-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark90,94 € (inkl. MwSt.)
sofort verfügbar90,94 € (inkl. MwSt.)
sofort verfügbar
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation. Verification
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-03420-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV1. Auflage 2018Verlag: Springer Nature SwitzerlandISBN: 978-3-030-03426-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Modeling
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-03418-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
