| 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: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
(Buch) Sprache: English
Veröffentlichung: Juli 2007
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
(Buch) Sprache: English
Veröffentlichung: August 2006
(Auf Bestellung)
Einband: Kartoniert | SFr. 135.00
bestellen |
 | Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Pro
(Buch) Sprache: English
Veröffentlichung: Dezember 2023
(Auf Bestellung)
Einband: Kartoniert | SFr. 109.00
bestellen |
 | Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7
(Buch) Sprache: English
Veröffentlichung: August 2001
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Measurement, Modelling and Evaluation of Computing Systems: 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, P
(Buch) Sprache: English
Veröffentlichung: März 2020
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Process Algebra and Probabilistic Methods: Performance Modeling and Verification - Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen,
(Buch) Sprache: English
Veröffentlichung: Juli 2002
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Confe
(Buch) Sprache: English
Veröffentlichung: März 2006
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Validation of Stochastic Systems: A Guide to Current Research
(Buch) Sprache: English
Veröffentlichung: August 2004
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
| Autor von: |
 | Interactive Markov Chains: The Quest for Quantified Quality
(Buch) Sprache: English
Veröffentlichung: September 2002
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
