Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2
- 2
- Erscheinungsjahr
-
- 2
- 2
- Autoren
-
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 4
- 3
- 1
- 1
- 1
- 2
- 3
- 3
- 1
- 1
- 2
- 3
- 3
- 1
- 4
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 3
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 4
- 2
- 3
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 5
- 1
- 2
- 3
- 2
- 1
- 1
- 1
- 4
- 2
- 1
- 4
- 2
- 1
- 1
- 2
- 2
- 9
- 2
- 1
- 4
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 3
- 3
- 2
- 1
- 1
- 3
- 1
- 2
- 1
- 3
- 2
- 7
- 2
- 3
- 1
- 3
- 6
- 3
- 2
- 2
- 30
- 1
- 3
- 3
- 1
- 3
- 1
- 4
- 3
- 3
- 3
- 2
- 3
- 8
- 1
- 2
- 6
- 3
- 1
- 2
- 2
- 2
- 4
- 3
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 4
- 2
- 4
- 4
- 1
- 3
- 9
- 1
- 1
- 2
- 5
- 4
- 2
- 1
- 1
- 1
- 3
- 2
- 3
- 3
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 2
- 2
- 4
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 4
- 2
- 1
- 2
- 4
- 1
- 2
- 2
- 3
- 3
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 4
- 1
- 3
- 1
- 2
- 1
- 3
- 3
- 2
- 3
- 4
- 4
- 3
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 3
- 2
- 1
- 2
- 2
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 2
- 4
- 4
- 4
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 2
- 3
- 5
- 3
- 2
- 6
- 2
- 1
- 3
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 1
- 1
- 4
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 4
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 4
- 2
- 1
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 4
- 1
- 4
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 4
- 2
- 4
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 4
- 4
- 4
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 7
- 1
- 1
- 1
- 1
- 2
- 4
- 2
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 3
- 3
- 1
- 2
- 4
- 3
- 2
- 2
- 2
- 1
- 2
- 3
- 1
- 3
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 3
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 4
- 4
- 2
- 1
- 2
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 4
- 3
- 2
- 4
- 1
- 1
- 1
- 4
- 2
- 4
- 2
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 3
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 3
- 4
- 1
- 2
- 4
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 2
- 1
- 1
- 3
- 2
- 3
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 17
- 2
- 1
- 1
- 1
- 2
- 3
- 6
- 3
- 4
- 1
- 3
- 4
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 4
- 2
- 5
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 4
- 1
- 1
- 3
- 1
- 4
- 1
- 4
- 3
- 1
- 3
- 3
- 2
- 3
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 1
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 3
- 4
- 4
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 4
- 2
- 2
- 3
- 3
- 3
- 2
- 6
- 2
- 3
- 2
- 3
- 3
- 4
- 3
- 3
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 13
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 4
- 2
- 2
- 3
- 3
- 2
- 3
- 4
- 2
- 3
- 3
- 3
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 4
- 4
- 3
- 3
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 3
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 6
- 2
- 2
- 3
- 3
- 9
- 2
- 2
- 6
- 2
- 3
- 3
- 2
- Verlag
-
- 4
- Preis
-
- 4
- Sprachen
-
- 4
- Verfügbarkeit
-
- 4
- Katalog
-
- 4
Artikel pro Seite:
Sortierung nach:
-
Chen / Esparza / Cheng Automated Technology for Verification and Analysis
17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-31783-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chen / Cheng / Esparza Automated Technology for Verification and Analysis
17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, ProceedingsErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-31784-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Ben Hedia / Yu / Chen Verification and Evaluation of Computer and Communication Systems
14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-65954-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ben Hedia / Chen / Liu Verification and Evaluation of Computer and Communication Systems
14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-65955-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
Artikel pro Seite:
Sortierung nach:
vorherige Seite
nächste Seite
Artikel pro Seite:
Sortierung nach:
Bitte ändern Sie das Passwort