Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1191
- 1154
- Erscheinungsjahr
-
- 12
- 112
- 129
- 149
- 142
- 127
- 135
- 140
- 142
- 164
- 160
- 137
- 142
- 136
- 142
- 123
- 115
- 137
- 1
- Autoren
-
- 2
- 4
- 2
- 4
- 2
- 10
- 6
- 2
- 2
- 4
- 3
- 2
- 2
- 5
- 4
- 3
- 12
- 4
- 2
- 6
- 3
- 2
- 2
- 4
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 65
- 3
- 2
- 2
- 3
- 5
- 8
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 6
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 6
- 4
- 3
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 8
- 2
- 3
- 3
- 6
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 3
- 16
- 2
- 6
- 2
- 2
- 18
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 7
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 4
- 2
- 3
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 5
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 5
- 7
- 2
- 4
- 4
- 5
- 3
- 5
- 2
- 7
- 3
- 2
- 4
- 2
- 2
- 2
- 4
- 4
- 4
- 2
- 2
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 2
- 8
- 4
- 2
- 4
- 5
- 2
- 2
- 2
- 10
- 2
- 3
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 3
- 6
- 2
- 10
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 6
- 3
- 12
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 8
- 3
- 2
- 3
- 5
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 13
- 4
- 2
- 5
- 3
- 3
- 2
- 6
- 3
- 3
- 3
- 6
- 5
- 7
- 3
- 3
- 15
- 7
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 10
- 3
- 2
- 2
- 4
- 7
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 5
- 3
- 3
- 3
- 2
- 8
- 4
- 2
- 4
- 36
- 12
- 7
- 2
- 3
- 2
- 5
- 5
- 2
- 2
- 2
- 4
- 18
- 2
- 2
- 9
- 2
- 3
- 10
- 2
- 2
- 4
- 4
- 8
- 2
- 2
- 6
- 6
- 8
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 3
- 2
- 2
- 5
- 4
- 3
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 5
- 2
- 6
- 5
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 5
- 10
- 7
- 6
- 4
- 3
- 2
- 3
- 2
- 8
- 2
- 2
- 2
- 5
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 16
- 2
- 7
- 2
- 3
- 3
- 2
- 2
- 3
- 4
- 3
- 8
- 2
- 27
- 2
- 9
- 2
- 76
- 2
- 6
- 4
- 2
- 7
- 5
- 2
- 2
- 3
- 4
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 9
- 3
- 5
- 6
- 5
- 3
- 4
- 4
- 3
- 7
- 6
- 5
- 3
- 3
- 3
- 4
- 3
- 6
- 3
- 3
- 4
- 5
- 6
- 3
- 5
- 5
- 6
- 3
- 4
- 5
- 6
- 3
- 8
- 11
- 3
- 7
- 7
- 5
- 3
- 4
- 4
- 3
- 4
- 4
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 10
- 5
- 9
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 9
- 4
- 3
- 9
- 3
- 8
- 13
- 3
- 8
- 6
- 3
- 3
- 3
- 4
- 4
- 6
- 3
- 6
- 3
- 3
- 4
- 4
- 3
- 3
- 4
- 8
- 3
- 6
- 4
- 3
- 3
- 3
- 5
- 3
- 5
- 4
- 4
- 4
- 7
- 3
- 4
- 18
- 5
- 3
- 3
- 3
- 8
- 7
- 5
- 5
- 3
- 8
- 5
- 4
- 9
- 11
- 5
- 3
- 4
- 5
- 10
- 3
- 4
- 4
- 3
- 3
- 12
- 8
- 6
- 5
- 6
- 3
- 4
- 3
- 3
- 7
- 4
- 4
- 3
- 7
- 5
- 3
- 4
- 4
- 4
- 6
- 3
- 4
- 3
- 3
- 4
- 3
- 4
- 3
- 3
- 9
- 13
- 3
- 6
- 7
- 3
- 8
- 4
- 5
- 4
- 3
- 6
- 8
- 3
- 6
- 4
- 3
- 11
- 5
- 12
- 4
- 9
- 4
- 7
- 6
- 4
- 5
- 3
- 4
- 3
- 21
- 8
- 4
- 4
- 3
- 3
- 27
- 4
- 3
- 3
- 7
- 6
- 5
- 3
- 8
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 4
- 4
- 56
- 5
- 3
- 3
- 3
- 8
- 5
- 5
- 3
- 5
- 3
- 6
- 11
- 5
- 3
- 3
- 3
- 3
- 10
- 66
- 3
- 5
- 3
- 5
- 4
- 4
- 3
- 8
- 7
- 8
- 4
- 6
- 6
- 4
- 7
- 4
- 4
- 3
- 3
- 5
- 11
- 3
- 6
- 3
- 3
- 3
- 6
- 7
- 9
- 7
- 4
- 4
- 5
- 4
- 4
- 5
- 10
- 4
- 4
- 4
- 5
- 3
- 4
- 4
- 17
- 7
- 5
- 4
- 5
- 6
- 3
- 4
- 3
- 13
- 4
- 3
- 8
- 4
- 3
- 8
- 3
- 3
- 4
- 7
- 10
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 4
- 3
- 4
- 10
- 3
- 4
- 15
- 23
- 11
- 3
- 5
- 4
- 9
- 9
- 6
- 3
- 4
- 30
- 3
- 4
- 3
- 6
- 3
- 4
- 20
- 5
- 9
- 3
- 7
- 7
- 3
- 6
- 3
- 3
- 11
- 3
- 9
- 4
- 9
- 5
- 5
- 5
- 3
- 3
- 3
- 3
- 6
- 4
- 9
- 19
- 3
- 3
- 3
- 6
- 4
- 7
- 3
- 3
- 4
- 5
- 20
- 8
- 3
- 3
- 3
- 4
- 4
- 3
- 14
- 22
- 24
- 3
- 3
- 4
- 5
- 4
- 9
- 8
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 5
- 4
- 3
- 4
- 3
- 3
- 18
- 74
- 5
- 25
- 3
- 6
- 4
- 4
- 6
- 4
- 4
- 5
- 6
- 4
- 4
- 5
- 3
- 5
- 17
- 17
- 18
- 3
- 3
- 3
- 12
- 3
- 5
- 3
- 5
- 3
- 4
- 4
- 3
- 3
- 3
- 3
- 6
- 5
- 3
- 5
- 3
- 7
- 4
- 3
- 3
- 13
- 13
- 14
- 3
- 7
- 5
- 4
- 4
- 3
- 5
- 7
- 3
- 4
- 7
- 3
- 3
- 18
- 10
- 7
- 3
- 7
- 5
- 6
- 3
- 4
- 4
- 3
- 4
- 6
- 8
- 5
- 3
- 6
- 14
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 9
- 3
- 4
- 3
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 7
- 4
- 3
- 9
- 4
- 6
- 5
- 4
- 4
- 3
- 4
- 4
- 5
- 6
- 4
- 4
- 3
- 4
- 3
- Verlag
-
- 1161
- 193
- 946
- 40
- 5
- Preis
-
- 106
- 1996
- 243
- Sprachen
-
- 2345
- 1
- Verfügbarkeit
-
- 2341
- 4
- Katalog
-
- 2345
- 20
-
Nalpantidis / Gasteratos / Krüger Computer Vision Systems
10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings2015Verlag: Springer International PublishingISBN: 978-3-319-20903-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kroening / Pasareanu / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-21690-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Kroening / Pasareanu / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part IIErscheinungsjahr 2015Verlag: Springer International PublishingISBN: 978-3-319-21668-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Damm / Hermanns Computer Aided Verification
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-73368-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Atig / Monsuez / Bensalem Verification and Evaluation of Computer and Communication Systems
12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings1. Auflage 2018Verlag: Springer Nature SwitzerlandISBN: 978-3-030-00358-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Barkaoui / Tahar / Boucheneb Verification and Evaluation of Computer and Communication Systems
11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-66175-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Seshia / Parthasarathy Computer Aided Verification
24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings2012Verlag: SpringerISBN: 978-3-642-31423-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Steffen / Woeginger Computing and Software Science
State of the Art and PerspectivesErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-319-91908-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark32,09 € (inkl. MwSt.)
sofort verfügbar32,09 € (inkl. MwSt.)
sofort verfügbar -
Trick / Burke Practice and Theory of Automated Timetabling V
5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-30705-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Liu / Chen / Vincze Computer Vision Systems
11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-68345-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Vincze / Patten / Christensen Computer Vision Systems
13th International Conference, ICVS 2021, Virtual Event, September 22-24, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-87156-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar69,54 € (inkl. MwSt.)
sofort verfügbar -
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 -
Leino / Silva Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-81684-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Veith / Sharygina Computer Aided Verification
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-39798-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Etessami / Rajamani Computer Aided Verification
17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-31686-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
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 -
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 -
Farzan / Chaudhuri Computer Aided Verification
28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-41539-0Medium: 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. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Maler / Bouajjani Computer Aided Verification
21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-02657-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 -
Rajamani / Etessami Computer Aided Verification
17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-27231-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
Liu / Vincze / Chen Computer Vision Systems
11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-68344-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Barkaoui / Boucheneb / Mili Verification and Evaluation of Computer and Communication Systems
11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-66176-6Medium: 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