Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 49 Berechenbarkeitstheorie, Komplexitätstheorie
- 14 Bildsignalverarbeitung
- 336 Künstliche Intelligenz
- 418 Logik, formale Sprachen, Automaten
- 127 Mathematik für Informatiker
- 35 Mensch-Maschine-Interaktion
- 7 Natürliche Sprachen & Maschinelle Übersetzung
- 41 Rechnerarchitektur
- 171 Theoretische Informatik
- 1 Tonsignalverarbeitung
- Medium
-
- 953
- Erscheinungsjahr
-
- 5
- 38
- 44
- 54
- 65
- 58
- 62
- 58
- 50
- 55
- 53
- 53
- 50
- 63
- 51
- 69
- 61
- 64
- Autoren
-
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 5
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 5
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 31
- 2
- 1
- 1
- 1
- 3
- 3
- 4
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 6
- 1
- 3
- 1
- 1
- 1
- 8
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 4
- 1
- 1
- 1
- 4
- 3
- 3
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 5
- 1
- 1
- 5
- 1
- 5
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 15
- 8
- 1
- 6
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 7
- 2
- 6
- 1
- 2
- 5
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 5
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 4
- 1
- 1
- 1
- 1
- 3
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 6
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 8
- 1
- 2
- 1
- 1
- 1
- 12
- 1
- 1
- 2
- 40
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 3
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 6
- 7
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 3
- 4
- 6
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 10
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 8
- 3
- 3
- 3
- 2
- 2
- 3
- 8
- 5
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 10
- 2
- 2
- 2
- 4
- 4
- 4
- 2
- 4
- 4
- 2
- 2
- 4
- 9
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 11
- 2
- 2
- 10
- 2
- 6
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 27
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 6
- 34
- 3
- 2
- 2
- 2
- 4
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 6
- 9
- 8
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 5
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 10
- 2
- 2
- 3
- 4
- 14
- 4
- 2
- 2
- 3
- 9
- 12
- 3
- 7
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 9
- 2
- 39
- 12
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 12
- 6
- 8
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 7
- 4
- 4
- 3
- 2
- 3
- 5
- 3
- 2
- 3
- 7
- 2
- 5
- 3
- 2
- 3
- 2
- 3
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 5
- 5
- 2
- 2
- 4
- 2
- 2
- Verlag
-
- 943
- 1
- 1
- 8
- Preis
-
- 26
- 742
- 185
- Sprachen
-
- 953
- Verfügbarkeit
-
- 951
- 2
- Katalog
-
- 953
- 13
Der Inhalt wurde erfolgreich kopiert
-
Majumdar / Kuncak / Kuncak Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II1. Auflage 2017Verlag: SpringerISBN: 978-3-319-63389-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
Burke / Rudová Practice and Theory of Automated Timetabling VI
6th International Conference, PATAT 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77344-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Blömer / Kotsireas / Kutsia Mathematical Aspects of Computer and Information Sciences
7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-72452-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-43119-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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 -
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 -
Li / Olver / Sommer Computer Algebra and Geometric Algebra with Applications
6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26296-1Medium: 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 -
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 -
Falsafi / Vijaykumar Power-Aware Computer Systems
4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29790-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cazenave / van den Herik / Saffidine Advances in Computer Games
16th International Conference, ACG 2019, Macao, China, August 11-13, 2019, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-65882-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
van den Herik / Plaat Advances in Computer Games
13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31865-8Medium: 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