| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings
(Buch) Sprache: English
Veröffentlichung: August 2013
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Procee
(Buch) Sprache: English
Veröffentlichung: August 2007
(Auf Bestellung)
Einband: Kartoniert | SFr. 135.00
bestellen |
 | Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings
(Buch) Sprache: English
Veröffentlichung: September 2001
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Handbook of Model Checking
(Buch) Sprache: English
Veröffentlichung: Juni 2018
(Auf Bestellung)
Einband: Gebunden | SFr. 178.00
bestellen |
 | Handbook of Model Checking
(Buch) Sprache: English
Veröffentlichung: November 2020
(Auf Bestellung)
Einband: Kartoniert | SFr. 169.00
bestellen |
 | Hybrid Systems III: Verification and Control
(Buch) Sprache: English
Veröffentlichung: April 1996
(Auf Bestellung)
Einband: Kartoniert | SFr. 134.00
bestellen |
 | Hybrid Systems: Computation and Control - First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings
(Buch) Sprache: English
Veröffentlichung: März 1998
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 201
(Buch) Sprache: English
Veröffentlichung: Januar 2013
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
