| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings
(Buch) Sprache: English
Veröffentlichung: Dezember 2023
(Auf Bestellung)
Einband: Kartoniert | SFr. 96.00
bestellen |
 | Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
(Buch) Sprache: English
Veröffentlichung: Oktober 2024
(Auf Bestellung)
Einband: Kartoniert | SFr. 168.00
bestellen |
 | Bridging the Gap Between AI and Reality: Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings
(Buch) Sprache: English
Veröffentlichung: Dezember 2024
(Auf Bestellung)
Einband: Kartoniert | SFr. 97.00
bestellen |
 | Bridging the Gap Between AI and Reality: Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Selected Papers
(Buch) Sprache: English
Veröffentlichung: Oktober 2025
(Auf Bestellung)
Einband: Kartoniert | SFr. 56.90
bestellen |
 | Bridging the Gap Between AI and Reality: Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, Rhodes, Greece, Novem
(Buch) Sprache: English
Veröffentlichung: Oktober 2025
(Auf Bestellung)
Einband: Kartoniert | SFr. 56.90
bestellen |
 | Computing and Software Science: State of the Art and Perspectives
(Buch) Sprache: English
Veröffentlichung: Oktober 2019
(Auf Bestellung)
Einband: Kartoniert | SFr. 44.50
bestellen |
 | Correct System Design: Recent Insights and Advances
(Buch) Sprache: English
Veröffentlichung: September 1999
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings
(Buch) Sprache: English
Veröffentlichung: August 2025
(Auf Bestellung)
Einband: Kartoniert | SFr. 81.00
bestellen |
 | Let’s Talk AI: Interdisciplinarity Is a Must
(Buch) Sprache: English
Veröffentlichung: Oktober 2025
(Auf Bestellung)
Einband: Kartoniert | SFr. 56.90
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Gre
(Buch) Sprache: English
Veröffentlichung: Oktober 2022
(Auf Bestellung)
Einband: Kartoniert | SFr. 96.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, Oc
(Buch) Sprache: English
Veröffentlichung: Oktober 2024
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus
(Buch) Sprache: English
Veröffentlichung: Oktober 2018
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus
(Buch) Sprache: English
Veröffentlichung: Oktober 2018
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November
(Buch) Sprache: English
Veröffentlichung: Oktober 2018
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22
(Buch) Sprache: English
Veröffentlichung: Oktober 2022
(Auf Bestellung)
Einband: Kartoniert | SFr. 90.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, I
(Buch) Sprache: English
Veröffentlichung: Oktober 2024
(Auf Bestellung)
Einband: Kartoniert | SFr. 109.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Sympos
(Buch) Sprache: English
Veröffentlichung: Oktober 2024
(Auf Bestellung)
Einband: Kartoniert | SFr. 103.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024,
(Buch) Sprache: English
Veröffentlichung: Oktober 2024
(Auf Bestellung)
Einband: Kartoniert | SFr. 91.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece
(Buch) Sprache: English
Veröffentlichung: Oktober 2022
(Auf Bestellung)
Einband: Kartoniert | SFr. 96.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 20
(Buch) Sprache: English
Veröffentlichung: Oktober 2014
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
Seite 1 von 3  |
Newsfeed | 
Facebook | 
Twitter
