| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and
(Buch) Sprache: English
Veröffentlichung: August 2017
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | FM 2009: Formal Methods - Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
(Buch) Sprache: English
Veröffentlichung: Oktober 2009
(Auf Bestellung)
Einband: Kartoniert | SFr. 135.00
bestellen |
 | Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12
(Buch) Sprache: English
Veröffentlichung: November 2009
(Auf Bestellung)
Einband: Kartoniert | SFr. 135.00
bestellen |
 | Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and
(Buch) Sprache: English
Veröffentlichung: April 2024
(Auf Bestellung)
Einband: Kartoniert | SFr. 55.90
bestellen |
 | Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December
(Buch) Sprache: English
Veröffentlichung: September 2006
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Software Engineering for Robotics
(Buch) Sprache: English
Veröffentlichung: Juli 2021
(Auf Bestellung)
Einband: Gebunden | SFr. 158.00
bestellen |
 | Software Engineering for Robotics
(Buch) Sprache: English
Veröffentlichung: Juli 2022
(Auf Bestellung)
Einband: Kartoniert | SFr. 158.00
bestellen |
 | The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I
(Buch) Sprache: English
Veröffentlichung: August 2024
(Auf Bestellung)
Einband: Kartoniert | SFr. 91.00
bestellen |
 | The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II
(Buch) Sprache: English
Veröffentlichung: August 2024
(Auf Bestellung)
Einband: Kartoniert | SFr. 91.00
bestellen |
 | Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
(Buch) Sprache: English
Veröffentlichung: Oktober 2006
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Towards Autonomous Robotic Systems: 26th Annual Conference, TAROS 2025, York, UK, August 20–22, 2025, Proceedings
(Buch) Sprache: English
Veröffentlichung: August 2025
(Auf Bestellung)
Einband: Kartoniert | SFr. 102.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
