Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1211
- 1166
- Erscheinungsjahr
-
- 9
- 126
- 122
- 164
- 138
- 127
- 130
- 134
- 161
- 154
- 163
- 152
- 132
- 127
- 134
- 140
- 128
- 134
- 2
- Autoren
-
- 4
- 3
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 3
- 4
- 2
- 11
- 2
- 7
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 70
- 2
- 2
- 2
- 2
- 4
- 5
- 8
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 6
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 7
- 2
- 5
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 9
- 3
- 2
- 2
- 3
- 2
- 3
- 5
- 14
- 2
- 5
- 2
- 17
- 2
- 6
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 4
- 2
- 3
- 3
- 4
- 10
- 5
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 7
- 8
- 2
- 2
- 2
- 2
- 4
- 10
- 3
- 8
- 3
- 2
- 2
- 2
- 2
- 6
- 4
- 5
- 2
- 6
- 3
- 3
- 2
- 4
- 2
- 7
- 4
- 2
- 4
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 9
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 7
- 6
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 4
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 11
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 7
- 3
- 2
- 4
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 13
- 2
- 4
- 4
- 3
- 3
- 2
- 3
- 2
- 6
- 2
- 9
- 3
- 2
- 2
- 12
- 9
- 2
- 9
- 2
- 2
- 4
- 3
- 2
- 2
- 6
- 2
- 2
- 3
- 3
- 4
- 2
- 4
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 6
- 6
- 2
- 7
- 2
- 3
- 2
- 4
- 2
- 7
- 41
- 22
- 2
- 10
- 2
- 2
- 7
- 5
- 2
- 2
- 2
- 19
- 2
- 3
- 12
- 4
- 12
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 6
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 3
- 7
- 4
- 3
- 5
- 4
- 2
- 3
- 2
- 2
- 4
- 7
- 2
- 3
- 2
- 3
- 6
- 6
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 4
- 4
- 8
- 5
- 5
- 5
- 4
- 4
- 4
- 5
- 4
- 4
- 14
- 3
- 5
- 4
- 4
- 4
- 5
- 6
- 25
- 11
- 3
- 85
- 6
- 9
- 5
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 7
- 3
- 5
- 3
- 7
- 3
- 7
- 5
- 3
- 4
- 4
- 4
- 5
- 3
- 3
- 3
- 4
- 4
- 5
- 3
- 3
- 4
- 10
- 4
- 9
- 4
- 3
- 4
- 6
- 3
- 12
- 3
- 3
- 8
- 3
- 9
- 3
- 9
- 4
- 3
- 4
- 3
- 4
- 4
- 4
- 4
- 3
- 3
- 12
- 4
- 8
- 3
- 4
- 7
- 5
- 3
- 4
- 3
- 3
- 15
- 4
- 5
- 6
- 6
- 19
- 3
- 4
- 7
- 3
- 5
- 3
- 3
- 7
- 6
- 4
- 3
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 10
- 3
- 3
- 6
- 5
- 4
- 6
- 3
- 3
- 3
- 4
- 3
- 4
- 3
- 4
- 11
- 3
- 4
- 3
- 27
- 3
- 3
- 9
- 5
- 6
- 4
- 8
- 5
- 5
- 3
- 7
- 14
- 5
- 6
- 9
- 3
- 3
- 4
- 10
- 16
- 5
- 6
- 7
- 3
- 3
- 3
- 3
- 7
- 3
- 5
- 4
- 6
- 3
- 5
- 3
- 7
- 4
- 6
- 4
- 4
- 4
- 4
- 3
- 4
- 17
- 3
- 6
- 11
- 3
- 7
- 3
- 3
- 3
- 3
- 7
- 11
- 8
- 3
- 3
- 9
- 6
- 13
- 6
- 6
- 3
- 6
- 7
- 3
- 3
- 4
- 4
- 4
- 4
- 4
- 17
- 3
- 5
- 3
- 5
- 3
- 20
- 3
- 4
- 3
- 10
- 6
- 7
- 9
- 5
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 5
- 55
- 3
- 4
- 3
- 3
- 8
- 3
- 6
- 4
- 3
- 7
- 3
- 3
- 3
- 3
- 3
- 3
- 12
- 72
- 5
- 6
- 3
- 4
- 4
- 3
- 3
- 5
- 6
- 3
- 8
- 3
- 5
- 5
- 5
- 3
- 3
- 5
- 4
- 4
- 8
- 5
- 4
- 3
- 3
- 6
- 10
- 3
- 3
- 5
- 5
- 3
- 3
- 3
- 7
- 5
- 3
- 7
- 6
- 4
- 4
- 3
- 3
- 6
- 3
- 14
- 4
- 4
- 3
- 4
- 5
- 3
- 3
- 4
- 3
- 10
- 5
- 3
- 7
- 4
- 4
- 8
- 4
- 7
- 4
- 6
- 18
- 4
- 3
- 3
- 3
- 6
- 3
- 3
- 3
- 6
- 6
- 3
- 4
- 3
- 7
- 3
- 3
- 3
- 3
- 3
- 5
- 6
- 3
- 11
- 5
- 3
- 4
- 14
- 20
- 16
- 7
- 6
- 3
- 15
- 6
- 3
- 3
- 3
- 7
- 5
- 28
- 3
- 6
- 3
- 3
- 10
- 3
- 3
- 3
- 21
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 6
- 9
- 3
- 3
- 3
- 9
- 4
- 5
- 4
- 3
- 8
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 9
- 27
- 4
- 3
- 4
- 4
- 4
- 4
- 5
- 3
- 3
- 4
- 26
- 16
- 5
- 5
- 4
- 4
- 9
- 3
- 20
- 20
- 4
- 3
- 4
- 6
- 3
- 3
- 13
- 8
- 5
- 3
- 5
- 3
- 3
- 3
- 3
- 5
- 25
- 3
- 81
- 4
- 26
- 10
- 4
- 3
- 4
- 5
- 8
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 18
- 14
- 17
- 4
- 4
- 3
- 8
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 8
- 6
- 4
- 3
- 4
- 4
- 7
- 4
- 3
- 3
- 3
- 4
- 3
- 12
- 15
- 15
- 5
- 3
- 4
- 4
- 4
- 4
- 8
- 4
- 12
- 5
- 3
- 15
- 7
- 3
- 10
- 3
- 11
- 5
- 4
- 4
- 4
- 4
- 3
- 5
- 3
- 4
- 3
- 7
- 5
- 9
- 5
- 3
- 3
- 21
- 6
- 6
- 3
- 3
- 4
- 3
- 4
- 3
- 4
- 4
- 3
- 3
- 3
- 4
- 3
- 4
- 4
- 4
- 3
- 9
- 3
- 3
- 10
- 10
- 3
- 8
- 5
- 5
- 5
- 7
- 5
- 5
- 3
- 5
- 4
- 3
- 7
- 4
- Verlag
-
- 1
- 1189
- 187
- 952
- 37
- 1
- 10
- Preis
-
- 92
- 2024
- 261
- Sprachen
-
- 2377
- Verfügbarkeit
-
- 2374
- 3
- Katalog
-
- 2377
- 20
-
Ganty / Kaâniche Verification and Evaluation of Computer and Communication Systems
13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, ProceedingsErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-35092-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Majumdar / Kuncak / Kuncak Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-63387-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Gupta / Malik Computer Aided Verification
20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings2008Verlag: SpringerISBN: 978-3-540-70545-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Vincze / Patten / Liu Computer Vision Systems
13th International Conference, ICVS 2021, Virtual Event, September 22-24, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-87155-0Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Blömer / Simos / Kotsireas Mathematical Aspects of Computer and Information Sciences
7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-72452-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Weissenbacher / Chockler Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-96141-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fritz / Schiele / Piater Computer Vision Systems
7th International Conference on Computer Vision Systems, ICVS 2009 Liège, Belgium, October 13-15, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-04667-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Fritz / Piater / Schiele Computer Vision Systems
7th International Conference on Computer Vision Systems, ICVS 2009 Liège, Belgium, October 13-15, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-04666-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 Tage -
Ball / Jones Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings2006Verlag: SpringerISBN: 978-3-540-37411-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Leino / Silva Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II1. Auflage 2021Verlag: Springer Nature SwitzerlandISBN: 978-3-030-81687-2Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Weissenbacher / Chockler Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-96144-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kuncak / Majumdar / Kuncak Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-63389-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kuncak / Majumdar / Kuncak Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-63386-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Chen / Neumann / Leibe Computer Vision Systems
9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings2013Verlag: SpringerISBN: 978-3-642-39401-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Chen / Leibe / Neumann Computer Vision Systems
9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39402-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Gasteratos / Tsotsos / Vincze Computer Vision Systems
6th International Conference on Computer Vision Systems, ICVS 2008 Santorini, Greece, May 12-15, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-79546-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Qadeer / Gopalakrishnan Computer Aided Verification
23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings2011Verlag: SpringerISBN: 978-3-642-22109-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage53,49 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Rudová / Burke Practice and Theory of Automated Timetabling VI
6th International Conference, PATAT 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised Selected Papers2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-77344-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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: Springer International PublishingISBN: 978-3-319-32859-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Slamanig / Zafeirakopoulos / Tsigaridas Mathematical Aspects of Computer and Information Sciences
8th International Conference, MACIS 2019, Gebze, Turkey, November 13-15, 2019, Revised Selected Papers1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-43119-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hung / Wirsing Theoretical Aspects of Computing - ICTAC 2005
Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-32072-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Kar / Ilavarasan / Gupta Digital Nations - Smart Cities, Innovation, and Sustainability
16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017, Delhi, India, November 21-23, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-68556-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pnevmatikatos / Jung / Pelcat Embedded Computer Systems: Architectures, Modeling, and Simulation
19th International Conference, SAMOS 2019, Samos, Greece, July 7-11, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-27561-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nehmeier / Wolff von Gudenberg / Tucker Scientific Computing, Computer Arithmetic, and Validated Numerics
16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-31769-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort