Ergebnisse filtern
-
- 3
-
- 1
- 1
- 1
-
- 3
-
- 1
- 2
-
- 3
-
- 3
-
- 3
Mathematik | Informatik
-
Wang Formal Techniques for Networked and Distributed Systems - FORTE 2005
25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29189-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wang Automated Technology for Verification and Analysis
Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23610-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sampaio / Wang Theoretical Aspects of Computing - ICTAC 2016
13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46749-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort