| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th Int
(Buch) Sprache: English
Veröffentlichung: Mai 2014
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Fundamentals of Software Engineering: 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
(Buch) Sprache: English
Veröffentlichung: August 2023
(Auf Bestellung)
Einband: Kartoniert | SFr. 83.00
bestellen |
 | Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
(Buch) Sprache: English
Veröffentlichung: Mai 2016
(Auf Bestellung)
Einband: Kartoniert | SFr. 109.00
bestellen |
| | Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings
(Buch) Sprache: English
Veröffentlichung: September 2022
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
(Buch) Sprache: English
Veröffentlichung: Oktober 2024
(Auf Bestellung)
Einband: Kartoniert | SFr. 76.00
bestellen |
 | Theoretical Aspects of Computing - ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
(Buch) Sprache: English
Veröffentlichung: November 2023
(Auf Bestellung)
Einband: Kartoniert | SFr. 109.00
bestellen |
 | Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
(Buch) Sprache: English
Veröffentlichung: März 2016
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
