Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1164
- 346
- Erscheinungsjahr
-
- 6
- 96
- 86
- 98
- 107
- 102
- 89
- 94
- 87
- 122
- 109
- 93
- 109
- 58
- 63
- 60
- 65
- 66
- Autoren
-
- 1
- 1
- 2
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 3
- 2
- 3
- 4
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 3
- 1
- 1
- 6
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 53
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 5
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 13
- 3
- 12
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 6
- 3
- 4
- 2
- 3
- 5
- 6
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 8
- 2
- 8
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 2
- 5
- 5
- 2
- 7
- 5
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 7
- 2
- 2
- 4
- 4
- 3
- 2
- 3
- 3
- 3
- 2
- 3
- 7
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 8
- 6
- 5
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 5
- 2
- 4
- 21
- 13
- 4
- 4
- 2
- 3
- 9
- 3
- 7
- 3
- 7
- 2
- 2
- 5
- 2
- 2
- 6
- 2
- 3
- 4
- 2
- 3
- 8
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 2
- 2
- 3
- 2
- 5
- 5
- 6
- 4
- 4
- 2
- 3
- 2
- 5
- 4
- 3
- 2
- 3
- 13
- 4
- 2
- 2
- 2
- 2
- 2
- 7
- 4
- 13
- 7
- 2
- 58
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 3
- 5
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 9
- 7
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 7
- 4
- 2
- 2
- 3
- 2
- 7
- 13
- 4
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 8
- 2
- 5
- 2
- 2
- 2
- 6
- 4
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 17
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 6
- 2
- 7
- 3
- 3
- 2
- 9
- 2
- 5
- 2
- 3
- 2
- 5
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 13
- 8
- 4
- 4
- 3
- 2
- 2
- 2
- 3
- 3
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 5
- 8
- 2
- 2
- 4
- 7
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 5
- 3
- 6
- 2
- 3
- 2
- 6
- 4
- 9
- 2
- 4
- 3
- 2
- 6
- 3
- 2
- 4
- 3
- 3
- 3
- 2
- 17
- 2
- 2
- 2
- 4
- 2
- 2
- 14
- 5
- 8
- 4
- 2
- 2
- 4
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 47
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 5
- 54
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 6
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 4
- 5
- 5
- 2
- 3
- 10
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 5
- 4
- 7
- 4
- 3
- 3
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 8
- 5
- 4
- 3
- 4
- 2
- 2
- 2
- 9
- 4
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 14
- 15
- 12
- 4
- 5
- 3
- 7
- 6
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 18
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 13
- 3
- 3
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 4
- 2
- 6
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 12
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 18
- 7
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 16
- 17
- 3
- 2
- 2
- 5
- 3
- 2
- 6
- 7
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 12
- 2
- 57
- 2
- 2
- 23
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 18
- 10
- 16
- 2
- 3
- 3
- 7
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 9
- 9
- 7
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 7
- 4
- 3
- 2
- 2
- 10
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 6
- 4
- 5
- 3
- 3
- 2
- 10
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 13
- 3
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 3
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 2
- 4
- 4
- 2
- 4
- 2
- 2
- 2
- 4
- Verlag
-
- 1289
- 202
- 8
- 11
- Preis
-
- 69
- 1237
- 204
- Sprachen
-
- 1510
- Verfügbarkeit
-
- 1510
- Katalog
-
- 1510
- 16
-
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 -
Chaudhuri / Farzan Computer Aided Verification
28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I1. Auflage 2016Verlag: SpringerISBN: 978-3-319-41527-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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 -
Ganty / Kaâniche Verification and Evaluation of Computer and Communication Systems
13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-35091-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chockler / Weissenbacher 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: SpringerISBN: 978-3-319-96141-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tzovaras / Giakoumis / Vincze Computer Vision Systems
12th International Conference, ICVS 2019, Thessaloniki, Greece, September 23-25, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-34994-3Medium: 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 -
Kroening / Pasareanu / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II1. Auflage 2015Verlag: SpringerISBN: 978-3-319-21667-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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 -
Biere / Bloem Computer Aided Verification
26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08866-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chockler / Weissenbacher 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: SpringerISBN: 978-3-319-96144-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tzovaras / Giakoumis / Vincze Computer Vision Systems
12th International Conference, ICVS 2019, Thessaloniki, Greece, September 23–25, 2019, ProceedingsErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-34995-0Medium: 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: SpringerISBN: 978-3-319-63386-2Medium: 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 II1. Auflage 2016Verlag: SpringerISBN: 978-3-319-41539-0Medium: 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 -
Parthasarathy / Seshia Computer Aided Verification
24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 ProceedingsErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-31424-7Medium: 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 I1. Auflage 2021Verlag: SpringerISBN: 978-3-030-81684-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kroening / Pasareanu / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I1. Auflage 2015Verlag: SpringerISBN: 978-3-319-21689-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sharygina / Veith Computer Aided Verification
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39798-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, ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-14295-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (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: SpringerISBN: 978-3-030-87155-0Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Slamanig / Tsigaridas / Zafeirakopoulos Mathematical Aspects of Computer and Information Sciences
8th International Conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019, Revised Selected PapersErscheinungsjahr 2020Verlag: Springer International PublishingISBN: 978-3-030-43120-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