| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
(Buch) Sprache: English
Veröffentlichung: September 2016
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
(Buch) Sprache: English
Veröffentlichung: August 2014
(Auf Bestellung)
Einband: Kartoniert | SFr. 68.00
bestellen |
 | From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014
(Buch) Sprache: English
Veröffentlichung: März 2014
(Auf Bestellung)
Einband: Kartoniert | SFr. 68.00
bestellen |
 | Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Procee
(Buch) Sprache: English
Veröffentlichung: Oktober 2013
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings
(Buch) Sprache: English
Veröffentlichung: September 2019
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
(Buch) Sprache: English
Veröffentlichung: Juli 2017
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Risks and Security of Internet and Systems: 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers
(Buch) Sprache: English
Veröffentlichung: März 2017
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Risks and Security of Internet and Systems: 12th International Conference, CRISIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers
(Buch) Sprache: English
Veröffentlichung: Februar 2018
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
(Buch) Sprache: English
Veröffentlichung: August 2013
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Confe
(Buch) Sprache: English
Veröffentlichung: März 2017
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Confe
(Buch) Sprache: English
Veröffentlichung: März 2017
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
