| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
(Buch) Sprache: English
Veröffentlichung: Juli 2020
(Auf Bestellung)
Einband: Gebunden | SFr. 134.00
bestellen |
 | Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
(Buch) Sprache: English
Veröffentlichung: Juli 2021
(Auf Bestellung)
Einband: Kartoniert | SFr. 134.00
bestellen |
 | Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
(Buch) Sprache: English
Veröffentlichung: Oktober 2010
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27¿29, 2020, Proceedings
(Buch) Sprache: English
Veröffentlichung: Mai 2020
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9¿11, 2021, Proceedings
(Buch) Sprache: English
Veröffentlichung: Mai 2021
(Auf Bestellung)
Einband: Kartoniert | SFr. 83.00
bestellen |
 | Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30¿June 2, 2023, Proceedings
(Buch) Sprache: English
Veröffentlichung: Mai 2023
(Auf Bestellung)
Einband: Kartoniert | SFr. 103.00
bestellen |
 | Theoretical Aspects of Computing ¿ ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
(Buch) Sprache: English
Veröffentlichung: September 2014
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
