Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1150
- 341
- Erscheinungsjahr
-
- 9
- 71
- 96
- 95
- 95
- 92
- 94
- 94
- 95
- 95
- 113
- 103
- 111
- 68
- 65
- 67
- 59
- 69
- Autoren
-
- 1
- 4
- 1
- 1
- 2
- 5
- 1
- 1
- 3
- 1
- 2
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 7
- 1
- 3
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 2
- 54
- 2
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 2
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 2
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 3
- 2
- 4
- 2
- 4
- 3
- 4
- 2
- 2
- 5
- 13
- 2
- 8
- 2
- 5
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 7
- 2
- 2
- 2
- 2
- 8
- 2
- 5
- 2
- 2
- 3
- 6
- 5
- 2
- 3
- 4
- 5
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 5
- 5
- 2
- 2
- 3
- 7
- 2
- 3
- 5
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 6
- 2
- 2
- 2
- 3
- 3
- 6
- 3
- 2
- 3
- 3
- 8
- 2
- 2
- 2
- 3
- 3
- 3
- 5
- 7
- 9
- 4
- 2
- 3
- 7
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 4
- 5
- 2
- 3
- 18
- 17
- 3
- 2
- 2
- 2
- 7
- 5
- 2
- 7
- 2
- 2
- 8
- 3
- 3
- 3
- 3
- 4
- 5
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 3
- 5
- 6
- 2
- 4
- 2
- 3
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 5
- 3
- 2
- 3
- 3
- 3
- 3
- 5
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 13
- 5
- 2
- 3
- 2
- 3
- 3
- 6
- 2
- 2
- 12
- 8
- 2
- 60
- 4
- 3
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 2
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 8
- 3
- 2
- 3
- 5
- 3
- 7
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 5
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 10
- 3
- 6
- 2
- 4
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 9
- 2
- 2
- 2
- 4
- 5
- 2
- 5
- 10
- 2
- 3
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 7
- 3
- 2
- 19
- 2
- 4
- 2
- 2
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 4
- 4
- 2
- 2
- 5
- 2
- 2
- 4
- 6
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 13
- 2
- 12
- 2
- 2
- 5
- 2
- 2
- 4
- 5
- 3
- 2
- 2
- 4
- 2
- 4
- 5
- 3
- 2
- 2
- 2
- 4
- 5
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 16
- 2
- 2
- 10
- 2
- 4
- 2
- 3
- 2
- 3
- 4
- 2
- 3
- 7
- 2
- 3
- 4
- 2
- 7
- 2
- 6
- 2
- 2
- 2
- 2
- 5
- 2
- 5
- 5
- 2
- 2
- 3
- 3
- 2
- 13
- 2
- 2
- 2
- 3
- 2
- 18
- 2
- 5
- 3
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 47
- 2
- 2
- 2
- 2
- 5
- 2
- 6
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 55
- 2
- 2
- 2
- 5
- 4
- 4
- 3
- 6
- 2
- 2
- 3
- 5
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 4
- 4
- 3
- 2
- 2
- 2
- 10
- 3
- 3
- 3
- 2
- 2
- 4
- 3
- 2
- 4
- 5
- 3
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 7
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 6
- 2
- 2
- 5
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 3
- 10
- 4
- 6
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 14
- 14
- 14
- 4
- 6
- 9
- 4
- 2
- 4
- 3
- 5
- 4
- 2
- 2
- 16
- 3
- 2
- 3
- 6
- 2
- 2
- 3
- 3
- 2
- 7
- 4
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 14
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 10
- 15
- 6
- 2
- 2
- 9
- 15
- 13
- 2
- 2
- 3
- 2
- 5
- 6
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 14
- 59
- 3
- 20
- 2
- 2
- 2
- 6
- 4
- 2
- 2
- 5
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 12
- 14
- 15
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 3
- 5
- 4
- 2
- 2
- 2
- 2
- 4
- 10
- 8
- 5
- 3
- 4
- 3
- 3
- 2
- 4
- 3
- 2
- 3
- 4
- 2
- 2
- 10
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 6
- 2
- 3
- 3
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 4
- 3
- 4
- 2
- 2
- 6
- 2
- 13
- 2
- 5
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 6
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 4
- 3
- 2
- 2
- 6
- 2
- 2
- Verlag
-
- 1309
- 169
- 1
- 2
- 10
- Preis
-
- 65
- 1226
- 200
- Sprachen
-
- 1491
- Verfügbarkeit
-
- 1491
- Katalog
-
- 1491
- 17
-
Atig / Bensalem / Bliudze Verification and Evaluation of Computer and Communication Systems
12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-00358-6Medium: 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: SpringerISBN: 978-3-030-65954-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chaudhuri / Farzan Computer Aided Verification
28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-41528-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Kotsireas / Rump / Yap Mathematical Aspects of Computer and Information Sciences
6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-32858-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fritz / Schiele / Piater Computer Vision Systems
7th International Conference on Computer Vision Systems, ICVS 2009 Liège, Belgium, October 13-15, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04666-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Etessami / Rajamani Computer Aided Verification
17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-27231-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Touili / Cook / Jackson Computer Aided Verification
22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14294-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dillig / Tasiran Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I1. Auflage 2019Verlag: SpringerISBN: 978-3-030-25539-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lahiri / Wang Computer Aided Verification
32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-53287-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lahiri / Wang Computer Aided Verification
32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II1. Auflage 2020Verlag: SpringerISBN: 978-3-030-53290-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gopalakrishnan / Qadeer Computer Aided Verification
23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-22110-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Silva / Leino Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II1. Auflage 2021Verlag: SpringerISBN: 978-3-030-81687-2Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dillig / Tasiran Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II1. Auflage 2019Verlag: SpringerISBN: 978-3-030-25542-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gasteratos / Vincze / Tsotsos Computer Vision Systems
6th International Conference on Computer Vision Systems, ICVS 2008 Santorini, Greece, May 12-15, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-79546-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Majumdar / Kuncak Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I1. Auflage 2017Verlag: SpringerISBN: 978-3-319-63386-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chen / Leibe / Neumann Computer Vision Systems
9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39401-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gopalakrishnan / Qadeer Computer Aided Verification
23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22109-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage53,49 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Orailoglu / Jung / Reichenbach Embedded Computer Systems: Architectures, Modeling, and Simulation
20th International Conference, SAMOS 2020, Samos, Greece, July 5-9, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-60938-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vassiliadis / Wong / Hämäläinen Embedded Computer Systems: Architectures, Modeling, and Simulation
6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-36410-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bertels / Dimopoulos / Silvano Embedded Computer Systems: Architectures, Modeling, and Simulation
9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03137-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vassiliadis / Berekovic / Hämäläinen Embedded Computer Systems: Architectures, Modeling, and Simulation
7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73622-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pnevmatikatos / Pelcat / Jung Embedded Computer Systems: Architectures, Modeling, and Simulation
19th International Conference, SAMOS 2019, Samos, Greece, July 7-11, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-27561-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Berekovic / Dimopoulos / Wong Embedded Computer Systems: Architectures, Modeling, and Simulation
8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-70549-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hämäläinen / Pimentel / Takala Embedded Computer Systems: Architectures, Modeling, and Simulation
5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26969-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cerone / Ölveczky Theoretical Aspects of Computing – ICTAC 2021
18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-85315-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark80,24 € (inkl. MwSt.)
sofort verfügbar80,24 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort