Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 59 Berechenbarkeitstheorie, Komplexitätstheorie
- 685 Bildsignalverarbeitung
- 3152 Künstliche Intelligenz
- 2013 Logik, formale Sprachen, Automaten
- 602 Mathematik für Informatiker
- 836 Mensch-Maschine-Interaktion
- 70 Natürliche Sprachen & Maschinelle Übersetzung
- 300 Rechnerarchitektur
- 338 Theoretische Informatik
- 25 Tonsignalverarbeitung
- 37 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 5857
- Erscheinungsjahr
-
- 249
- 437
- 293
- 176
- 190
- 212
- 194
- 177
- 217
- 199
- 187
- 187
- 143
- 26
- 51
- 162
- 161
- 187
- 121
- 174
- 254
- 221
- 192
- 189
- 131
- 123
- 108
- 117
- 101
- 94
- 92
- 72
- 59
- 68
- 45
- 46
- 30
- 31
- 27
- 18
- 8
- 3
- 5
- 13
- 7
- 10
- 5
- 12
- 9
- 11
- 10
- 3
- Autoren
-
- 3
- 3
- 4
- 3
- 6
- 3
- 3
- 4
- 5
- 3
- 5
- 6
- 3
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 5
- 11
- 3
- 3
- 4
- 4
- 3
- 3
- 4
- 14
- 20
- 4
- 27
- 3
- 7
- 3
- 6
- 4
- 5
- 4
- 4
- 3
- 5
- 5
- 4
- 6
- 3
- 3
- 3
- 39
- 6
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 5
- 3
- 4
- 11
- 4
- 4
- 5
- 6
- 3
- 4
- 4
- 3
- 6
- 5
- 4
- 4
- 6
- 5
- 5
- 8
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 12
- 3
- 4
- 3
- 7
- 3
- 5
- 3
- 3
- 4
- 5
- 7
- 4
- 6
- 4
- 9
- 3
- 3
- 7
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 5
- 14
- 3
- 4
- 6
- 3
- 3
- 4
- 5
- 3
- 4
- 11
- 3
- 4
- 3
- 5
- 6
- 3
- 10
- 3
- 3
- 9
- 4
- 8
- 4
- 6
- 4
- 4
- 3
- 3
- 3
- 5
- 3
- 7
- 4
- 3
- 3
- 39
- 13
- 7
- 3
- 3
- 3
- 8
- 4
- 3
- 3
- 8
- 5
- 3
- 8
- 4
- 3
- 8
- 5
- 6
- 4
- 6
- 4
- 3
- 4
- 6
- 3
- 3
- 6
- 4
- 4
- 4
- 8
- 4
- 8
- 3
- 4
- 4
- 4
- 3
- 3
- 3
- 4
- 7
- 5
- 5
- 11
- 3
- 4
- 4
- 20
- 3
- 4
- 11
- 8
- 3
- 3
- 7
- 3
- 3
- 3
- 4
- 7
- 3
- 3
- 4
- 3
- 39
- 3
- 3
- 7
- 3
- 3
- 6
- 4
- 5
- 6
- 4
- 5
- 3
- 3
- 3
- 6
- 8
- 3
- 6
- 8
- 3
- 4
- 6
- 5
- 4
- 3
- 6
- 3
- 5
- 3
- 5
- 8
- 14
- 11
- 3
- 4
- 8
- 4
- 8
- 4
- 7
- 9
- 5
- 4
- 4
- 4
- 4
- 5
- 3
- 3
- 3
- 3
- 4
- 3
- 7
- 3
- 3
- 3
- 3
- 6
- 6
- 5
- 6
- 5
- 4
- 3
- 3
- 3
- 3
- 5
- 3
- 31
- 32
- 8
- 9
- 3
- 4
- 8
- 9
- 3
- 3
- 24
- 11
- 3
- 3
- 3
- 3
- 4
- 5
- 4
- 17
- 5
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 3
- 5
- 4
- 8
- 3
- 4
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 8
- 3
- 4
- 3
- 3
- 4
- 9
- 3
- 3
- 43
- 3
- 8
- 3
- 3
- 4
- 4
- 3
- 6
- 6
- 3
- 6
- 3
- 9
- 6
- 3
- 9
- 3
- 4
- 5
- 10
- 4
- 3
- 4
- 6
- 5
- 3
- 3
- 4
- 3
- 8
- 9
- 4
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 12
- 12
- 4
- 6
- 5
- 4
- 5
- 3
- 4
- 9
- 3
- 5
- 3
- 7
- 4
- 6
- 3
- 3
- 9
- 3
- 3
- 3
- 3
- 4
- 3
- 9
- 4
- 3
- 3
- 3
- 13
- 13
- 3
- 3
- 3
- 3
- 3
- 3
- 18
- 3
- 20
- 6
- 47
- 3
- 3
- 4
- 3
- 5
- 5
- 3
- 4
- 5
- 6
- 6
- 3
- 3
- 3
- 4
- 3
- 4
- 3
- 4
- 3
- 4
- 3
- 5
- 8
- 9
- 7
- 14
- 4
- 6
- 4
- 3
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 8
- 3
- 4
- 5
- 4
- 19
- 3
- 4
- 3
- 4
- 4
- 7
- 4
- 3
- 3
- 5
- 3
- 7
- 6
- 13
- 5
- 4
- 6
- 10
- 39
- 3
- 4
- 3
- 3
- 3
- 6
- 11
- 4
- 3
- 3
- 3
- 3
- 5
- 5
- 5
- 4
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 14
- 5
- 4
- 5
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 23
- 5
- 3
- 3
- 3
- 4
- 4
- 6
- 3
- 12
- 3
- 3
- 4
- 6
- 3
- 6
- 3
- 4
- 12
- 5
- 3
- 6
- 3
- 3
- 16
- 6
- 3
- 4
- 3
- 5
- 3
- 6
- 4
- 3
- 6
- 7
- 14
- 3
- 3
- 10
- 3
- 3
- 3
- 14
- 3
- 4
- 3
- 3
- 13
- 4
- 4
- 3
- 5
- 8
- 3
- 4
- 3
- 12
- 5
- 7
- 3
- 6
- 3
- 5
- 4
- 6
- 4
- 3
- 3
- 3
- 3
- 3
- 6
- 3
- 3
- 4
- 3
- 4
- 5
- 6
- 4
- 5
- 3
- 8
- 3
- 5
- 3
- 9
- 8
- 3
- 3
- 4
- 6
- 3
- 5
- 4
- 4
- 6
- 3
- 5
- 6
- 3
- 10
- 4
- 4
- 3
- 5
- 6
- 9
- 3
- 5
- 5
- 3
- 6
- 4
- 15
- 6
- 3
- 4
- 9
- 4
- 5
- 3
- 3
- 24
- 3
- 4
- 14
- 36
- 4
- 3
- 6
- 4
- 3
- 3
- 4
- 3
- 7
- 4
- 7
- 6
- 4
- 4
- 4
- 3
- 6
- 13
- 7
- 3
- 5
- 4
- 6
- 3
- 4
- 9
- 6
- 4
- 3
- 4
- 6
- 11
- 4
- 10
- 21
- 4
- 3
- 4
- 6
- 5
- 3
- 4
- 8
- 9
- 13
- 9
- 5
- 13
- 5
- 3
- 4
- 7
- 3
- 6
- 4
- 34
- 9
- 4
- 3
- 5
- 5
- 9
- 6
- 4
- 4
- 3
- 4
- 4
- 5
- 4
- 4
- 4
- 11
- 3
- 5
- 4
- 3
- 3
- 10
- 6
- 8
- 11
- 4
- 4
- 4
- 4
- 4
- 27
- 3
- 4
- 4
- 4
- 6
- 4
- 14
- 9
- 3
- 5
- 5
- 6
- 39
- 7
- 4
- 6
- 3
- 9
- 34
- 5
- 7
- 5
- 6
- 5
- 11
- 4
- 5
- 5
- 4
- 5
- 6
- 4
- 3
- 10
- 5
- 11
- 4
- 3
- 4
- 13
- 3
- 8
- 5
- 6
- 4
- 18
- 11
- 5
- 5
- 6
- 4
- 11
- 12
- 8
- 6
- 4
- 5
- 4
- 3
- 4
- 8
- 4
- 4
- 4
- 4
- 8
- 10
- 3
- 4
- 6
- 7
- 20
- 9
- 3
- 5
- 12
- 6
- 6
- 5
- 3
- 7
- 5
- 7
- 6
- 3
- 7
- 8
- 3
- 3
- 5
- 18
- 5
- 4
- 3
- 4
- 40
- 4
- 10
- 4
- 3
- 9
- 4
- 3
- 6
- 3
- 9
- 11
- 14
- 3
- 4
- 4
- 4
- 5
- 10
- 3
- 8
- 5
- 10
- 4
- 13
- 7
- 8
- 4
- 7
- 10
- 4
- 3
- 4
- 4
- 4
- 4
- 5
- 3
- 13
- 5
- 6
- 4
- 9
- 4
- 38
- 4
- 4
- 9
- 16
- 6
- 3
- 5
- 8
- 3
- 11
- 10
- 10
- 33
- 4
- 5
- 4
- 4
- 4
- 4
- 4
- 5
- 7
- 14
- 10
- 12
- 6
- 9
- 13
- 41
- 7
- 16
- 9
- 13
- 3
- 3
- 4
- 22
- 9
- 9
- 4
- 10
- 13
- 5
- 7
- 7
- 6
- 5
- 10
- 6
- 3
- 8
- 4
- 3
- 19
- 13
- 6
- 5
- 18
- 6
- 4
- 5
- 14
- 5
- 4
- 4
- 9
- 4
- 7
- 5
- 4
- 18
- 6
- 9
- 4
- 6
- 5
- 4
- 7
- 4
- 4
- 16
- 5
- 4
- 4
- 4
- 6
- 6
- 4
- 5
- 5
- 10
- 8
- 5
- 4
- 18
- 16
- 4
- 15
- 6
- 4
- 4
- 4
- 14
- 4
- 7
- 6
- 20
- 4
- 7
- 8
- 5
- 10
- Verlag
-
- 684
- 2675
- 1680
- 1
- 79
- 656
- 82
- Preis
-
- 26
- 197
- 4506
- 1128
- Sprachen
-
- 5852
- 15
- 13
- Verfügbarkeit
-
- 5836
- 21
- Katalog
-
- 5857
- 294
-
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 -
Bloem / Biere 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, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-08866-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ronzhin / Fakotakis / Potapova Speech and Computer
17th International Conference, SPECOM 2015, Athens, Greece, September 20-24, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-23131-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Balsamo / Marin / Knottenbelt Computer Performance Engineering
10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-40724-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Yao Progress in Evolutionary Computation
AI '93 and AI '94 Workshops on Evolutionary Computation, Melbourne, Victoria, Australia, November 16, 1993, Armidale, NSW, Australia, November 21-22, 1994. Selected Papers1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60154-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Comyn / Ratcliffe / Fuchs Logic Programming in Action
Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55930-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
O'Sullivan Recent Advances in Constraints
Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00986-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Horn / Shahar / Wyatt Artificial Intelligence in Medicine
Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, AIMDM'99, Aalborg, Denmark, June 20-24, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66162-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lal / Enea Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17¿22, 2023, Proceedings, Part I1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-37705-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ronzhin / Németh / Potapova Speech and Computer
18th International Conference, SPECOM 2016, Budapest, Hungary, August 23-27, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-43957-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Crowley / Paletta / Piater Computer Vision Systems
Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00921-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tzovaras / Argyros / Giakoumis Computer Vision Systems
12th International Conference, ICVS 2019, Thessaloniki, Greece, September 23¿25, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-34994-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hashizume / Kurosu Human-Computer Interaction
Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23¿28, 2023, Proceedings, Part IV1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-35571-4Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Christensen Computer Vision Systems
First International Conference, ICVS '99 Las Palmas, Gran Canaria, Spain, January 13-15, 1999 Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65459-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Skou / Larsen Computer Aided Verification
3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55179-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sistla / Emerson Computer Aided Verification
12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67770-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Vardi / Hu Computer Aided Verification
10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64608-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Peled / Alur Computer Aided Verification
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22342-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 -
Blumenthal / Unger / Gornostaev Human-Computer Interaction
4th International Conference, EWHCI '94, St. Petersburg, Russia, August 2 - 5, 1994. Selected Papers1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58648-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Probst / Bochmann Computer Aided Verification
Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56496-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Geuvers / England / Teschke Intelligent Computer Mathematics
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-62074-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kerckhove Scale-Space and Morphology in Computer Vision
Third International Conference, Scale-Space 2001, Vancouver, Canada, July 7-8, 2001. Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42317-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Favela / Chávez / Menasalvas Advances in Web Intelligence
Second International Atlantic Web Intelligence Conference, AWIC 2004, Cancun, Mexico, May 16-19, 2004. Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22009-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Yakhno Advances in Information Systems
Second International Conference, ADVIS 2002, Izmir, Turkey, October 23-25, 2002. Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00009-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort