Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1204
- 685
- Erscheinungsjahr
-
- 10
- 84
- 96
- 109
- 105
- 94
- 99
- 95
- 104
- 121
- 106
- 97
- 111
- 130
- 119
- 146
- 132
- 130
- 1
- Autoren
-
- 3
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 7
- 2
- 6
- 2
- 9
- 2
- 6
- 5
- 2
- 4
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 47
- 2
- 6
- 4
- 5
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 3
- 3
- 2
- 3
- 5
- 2
- 4
- 4
- 3
- 2
- 3
- 2
- 5
- 2
- 6
- 3
- 4
- 4
- 7
- 2
- 2
- 2
- 12
- 2
- 2
- 6
- 17
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 5
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 4
- 8
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 6
- 3
- 6
- 3
- 2
- 3
- 2
- 2
- 6
- 3
- 5
- 3
- 2
- 2
- 2
- 4
- 4
- 4
- 3
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 7
- 6
- 3
- 7
- 5
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 5
- 4
- 2
- 6
- 7
- 2
- 4
- 2
- 3
- 2
- 2
- 5
- 2
- 5
- 3
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 5
- 2
- 3
- 4
- 3
- 6
- 2
- 7
- 2
- 8
- 6
- 5
- 2
- 2
- 3
- 5
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 4
- 2
- 5
- 2
- 2
- 6
- 38
- 14
- 7
- 2
- 2
- 3
- 4
- 2
- 12
- 4
- 9
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 2
- 5
- 8
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 8
- 2
- 4
- 2
- 3
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 6
- 6
- 5
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 12
- 5
- 2
- 2
- 3
- 2
- 8
- 2
- 3
- 16
- 2
- 12
- 63
- 3
- 11
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 8
- 2
- 4
- 2
- 3
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 5
- 2
- 2
- 5
- 5
- 2
- 4
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 8
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 6
- 2
- 3
- 4
- 5
- 9
- 3
- 2
- 9
- 3
- 4
- 4
- 2
- 4
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 12
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 6
- 2
- 5
- 8
- 14
- 5
- 4
- 2
- 7
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 11
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 19
- 2
- 2
- 2
- 3
- 2
- 2
- 10
- 2
- 3
- 5
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 7
- 2
- 3
- 8
- 15
- 4
- 4
- 6
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 8
- 2
- 10
- 5
- 2
- 4
- 5
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 2
- 3
- 3
- 4
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 11
- 2
- 3
- 5
- 5
- 2
- 3
- 8
- 2
- 2
- 3
- 2
- 2
- 5
- 6
- 9
- 5
- 5
- 2
- 3
- 2
- 3
- 3
- 7
- 2
- 5
- 2
- 15
- 2
- 2
- 5
- 4
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 18
- 6
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 13
- 4
- 2
- 10
- 2
- 2
- 2
- 10
- 3
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 36
- 3
- 4
- 6
- 4
- 6
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 5
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 15
- 2
- 50
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 5
- 5
- 5
- 3
- 3
- 4
- 3
- 4
- 8
- 6
- 3
- 4
- 4
- 4
- 3
- 3
- 5
- 3
- 5
- 3
- 4
- 3
- 4
- 4
- 9
- 3
- 4
- 3
- 3
- 3
- 4
- 9
- 5
- 3
- 8
- 4
- 3
- 3
- 3
- 3
- 9
- 3
- 3
- 3
- 5
- 4
- 5
- 5
- 5
- 3
- 5
- 4
- 3
- 5
- 4
- 4
- 3
- 3
- 4
- 3
- 7
- 4
- 12
- 11
- 8
- 6
- 3
- 7
- 8
- 3
- 3
- 8
- 6
- 21
- 3
- 3
- 7
- 3
- 3
- 3
- 14
- 8
- 5
- 6
- 3
- 4
- 3
- 8
- 5
- 7
- 4
- 6
- 6
- 4
- 3
- 11
- 13
- 3
- 3
- 3
- 5
- 20
- 19
- 3
- 3
- 6
- 11
- 18
- 4
- 7
- 3
- 9
- 6
- 4
- 4
- 3
- 3
- 4
- 3
- 3
- 12
- 60
- 4
- 18
- 4
- 3
- 4
- 6
- 5
- 3
- 4
- 4
- 5
- 12
- 8
- 15
- 3
- 3
- 6
- 3
- 4
- 3
- 3
- 3
- 8
- 3
- 3
- 7
- 7
- 5
- 3
- 10
- 16
- 6
- 4
- 7
- 4
- 3
- 10
- 4
- 3
- 3
- 4
- 15
- 4
- 3
- 7
- 7
- 3
- 5
- 4
- 4
- 8
- 6
- 7
- 4
- 3
- 3
- 5
- 3
- 15
- 4
- 3
- 4
- 3
- 3
- 3
- 9
- 4
- 4
- 3
- 4
- 3
- 7
- 4
- 4
- 3
- 5
- 4
- 7
- 6
- 4
- 3
- 4
- 6
- 3
- 5
- 3
- 3
- 6
- 5
- Verlag
-
- 1652
- 11
- 210
- 5
- 11
- Preis
-
- 67
- 1571
- 251
- Sprachen
-
- 1889
- Verfügbarkeit
-
- 1889
- Katalog
-
- 1889
- 18
-
Laber / Bornstein / Nogueira LATIN 2008: Theoretical Informatics
8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-78773-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Kranakis / Navarro / Chávez LATIN 2016: Theoretical Informatics
12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-662-49528-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kohayakawa / Miyazawa LATIN 2020: Theoretical Informatics
14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-61791-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yolum / Güngör / Gürgen Computer and Information Sciences - ISCIS 2005
20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-32085-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Levi / Savas / Yenigün Computer and Information Sciences - ISCIS 2006
21th International Symposium Istanbul, Turkey, Novenber 1-3, 2006, Proceedings2006Verlag: SpringerISBN: 978-3-540-47243-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark109,99 € (inkl. MwSt.)
sofort verfügbar109,99 € (inkl. MwSt.)
sofort verfügbar -
Grumbach / Sui / Vianu Advances in Computer Science - ASIAN 2005. Data Management on the Web
10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-32249-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
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: SpringerISBN: 978-3-319-66175-9Medium: 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: SpringerISBN: 978-3-319-41527-7Medium: 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, Proceedings2008Verlag: SpringerISBN: 978-3-540-79547-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Tang / Du / Woodruff Algorithmic Aspects in Information and Management
12th International Conference, AAIM 2018, Dallas, TX, USA, December 3-4, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-04617-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ball / Jones Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37406-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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 -
Steffen / Woeginger Computing and Software Science
State of the Art and Perspectives1. Auflage 2019Verlag: SpringerISBN: 978-3-319-91907-2Medium: Buch32,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage32,09 € (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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
Crowley / Draper / Thonnat Computer Vision Systems
8th International Conference, ICVS 2011, Sophia Antipolis, France, September 20-22, 2011, ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-23968-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Liu / Chen / Vincze Computer Vision Systems
11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68344-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort