| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
(Buch) Sprache: English
Veröffentlichung: Juli 2002
(Auf Bestellung)
Einband: Kartoniert | SFr. 135.00
bestellen |
 | Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
(Buch) Sprache: English
Veröffentlichung: April 1992
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | CONCUR 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings
(Buch) Sprache: English
Veröffentlichung: August 2001
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
(Buch) Sprache: English
Veröffentlichung: April 2004
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
(Buch) Sprache: English
Veröffentlichung: Juni 2019
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
| | Quantitative Model-Based Analysis of Real-Time Embedded Systems: The Quasimodo Project
(Buch) Sprache: English
Veröffentlichung: August 2012
(Auf Bestellung)
Einband: Gebunden | SFr. 162.00
bestellen |
 | Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Select
(Buch) Sprache: English
Veröffentlichung: November 1995
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
