Ergebnisse filtern
-
- 2
- 2
-
- 2
- 2
-
- 2
- 1
- 1
-
- 3
- 1
-
- 4
-
- 4
-
- 4
-
Wang Automated Technology for Verification and Analysis
Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. ProceedingsErscheinungsjahr 2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-30476-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
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: Springer International PublishingISBN: 978-3-319-46750-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
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