| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Pro
(Buch) Sprache: English
Veröffentlichung: November 2021
(Auf Bestellung)
Einband: Kartoniert | SFr. 103.00
bestellen |
 | Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
(Buch) Sprache: English
Veröffentlichung: August 2007
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
(Buch) Sprache: English
Veröffentlichung: September 2007
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Procee
(Buch) Sprache: English
Veröffentlichung: Oktober 2003
(Auf Bestellung)
Einband: Kartoniert | SFr. 135.00
bestellen |
 | Formal Methods: Foundations and Applications - 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selec
(Buch) Sprache: English
Veröffentlichung: November 2009
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December
(Buch) Sprache: English
Veröffentlichung: September 2006
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Software Engineering for Robotics
(Buch) Sprache: English
Veröffentlichung: Juli 2021
(Auf Bestellung)
Einband: Gebunden | SFr. 158.00
bestellen |
 | Software Engineering for Robotics
(Buch) Sprache: English
Veröffentlichung: Juli 2022
(Auf Bestellung)
Einband: Kartoniert | SFr. 158.00
bestellen |
 | Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
(Buch) Sprache: English
Veröffentlichung: Juli 2013
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
(Buch) Sprache: English
Veröffentlichung: Juli 2013
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai,
(Buch) Sprache: English
Veröffentlichung: Juli 2013
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Sel
(Buch) Sprache: English
Veröffentlichung: Juli 2008
(Auf Bestellung)
Einband: Kartoniert | SFr. 135.00
bestellen |
 | Verified Software: Theories, Tools, Experiments - Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
(Buch) Sprache: English
Veröffentlichung: September 2008
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
