Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 65 Berechenbarkeitstheorie, Komplexitätstheorie
- 1341 Bildsignalverarbeitung
- 5024 Künstliche Intelligenz
- 2189 Logik, formale Sprachen, Automaten
- 1067 Mathematik für Informatiker
- 1356 Mensch-Maschine-Interaktion
- 175 Natürliche Sprachen & Maschinelle Übersetzung
- 349 Rechnerarchitektur
- 380 Theoretische Informatik
- 26 Tonsignalverarbeitung
- 66 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 8345
- Erscheinungsjahr
-
- 56
- 666
- 680
- 722
- 436
- 288
- 168
- 188
- 219
- 190
- 188
- 217
- 217
- 197
- 183
- 187
- 182
- 191
- 193
- 153
- 230
- 218
- 184
- 273
- 241
- 205
- 195
- 133
- 129
- 115
- 112
- 102
- 96
- 87
- 73
- 59
- 73
- 47
- 48
- 31
- 32
- 27
- 18
- 8
- 3
- 5
- 13
- 7
- 11
- 5
- 12
- 9
- 10
- 10
- 3
- Autoren
-
- 5
- 5
- 5
- 4
- 5
- 9
- 4
- 11
- 24
- 9
- 7
- 5
- 4
- 7
- 4
- 6
- 17
- 4
- 14
- 8
- 5
- 4
- 4
- 4
- 6
- 8
- 6
- 4
- 5
- 4
- 7
- 14
- 4
- 33
- 36
- 7
- 28
- 5
- 4
- 4
- 5
- 6
- 4
- 6
- 4
- 11
- 4
- 5
- 21
- 13
- 4
- 39
- 5
- 6
- 4
- 5
- 4
- 4
- 4
- 4
- 6
- 8
- 5
- 4
- 6
- 4
- 10
- 9
- 46
- 7
- 4
- 5
- 4
- 6
- 6
- 22
- 4
- 8
- 10
- 11
- 7
- 4
- 4
- 4
- 4
- 4
- 19
- 6
- 9
- 8
- 5
- 4
- 7
- 5
- 4
- 7
- 10
- 11
- 5
- 4
- 6
- 40
- 4
- 4
- 4
- 7
- 6
- 20
- 11
- 5
- 4
- 4
- 6
- 9
- 9
- 4
- 4
- 11
- 5
- 7
- 10
- 4
- 4
- 4
- 4
- 5
- 13
- 4
- 10
- 5
- 4
- 12
- 9
- 14
- 7
- 4
- 6
- 6
- 10
- 4
- 39
- 18
- 6
- 4
- 7
- 4
- 5
- 4
- 7
- 5
- 5
- 4
- 16
- 4
- 9
- 5
- 9
- 4
- 5
- 13
- 8
- 4
- 11
- 7
- 4
- 9
- 4
- 24
- 5
- 5
- 13
- 8
- 4
- 10
- 4
- 11
- 4
- 4
- 4
- 5
- 7
- 4
- 7
- 6
- 6
- 7
- 5
- 5
- 34
- 4
- 4
- 14
- 41
- 4
- 12
- 10
- 7
- 20
- 4
- 4
- 5
- 41
- 4
- 4
- 35
- 6
- 4
- 5
- 10
- 15
- 11
- 4
- 5
- 7
- 12
- 4
- 4
- 4
- 4
- 6
- 5
- 7
- 4
- 5
- 4
- 4
- 39
- 7
- 5
- 12
- 4
- 4
- 11
- 4
- 4
- 13
- 5
- 4
- 4
- 5
- 6
- 7
- 7
- 6
- 13
- 6
- 5
- 5
- 4
- 4
- 6
- 4
- 10
- 4
- 5
- 5
- 4
- 4
- 5
- 5
- 7
- 4
- 4
- 5
- 26
- 4
- 25
- 15
- 27
- 9
- 7
- 9
- 5
- 8
- 5
- 4
- 4
- 15
- 9
- 24
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 5
- 4
- 4
- 5
- 5
- 4
- 6
- 7
- 6
- 4
- 6
- 4
- 6
- 15
- 11
- 6
- 7
- 6
- 37
- 40
- 11
- 41
- 5
- 8
- 13
- 9
- 35
- 13
- 4
- 4
- 5
- 15
- 4
- 6
- 6
- 7
- 4
- 10
- 26
- 14
- 43
- 77
- 7
- 4
- 14
- 10
- 7
- 5
- 7
- 5
- 15
- 9
- 6
- 4
- 6
- 8
- 4
- 6
- 5
- 6
- 5
- 4
- 20
- 17
- 4
- 4
- 9
- 4
- 6
- 4
- 9
- 7
- 5
- 10
- 4
- 20
- 47
- 8
- 18
- 6
- 16
- 24
- 81
- 11
- 4
- 15
- 7
- 4
- 6
- 4
- 19
- 5
- 9
- 8
- 6
- 16
- 4
- 4
- 4
- 4
- 4
- 8
- 4
- 4
- 27
- 4
- 6
- 8
- 4
- 16
- 6
- 5
- 7
- 23
- 39
- 5
- 18
- 4
- 8
- 4
- 4
- 4
- 15
- 15
- 15
- 6
- 4
- 5
- 4
- 92
- 4
- 4
- 4
- 4
- 5
- 8
- 6
- 5
- 6
- 15
- 4
- 12
- 4
- 19
- 4
- 10
- 7
- 8
- 6
- 4
- 4
- 17
- 4
- 11
- 4
- 6
- 13
- 13
- 7
- 8
- 5
- 4
- 4
- 13
- 6
- 6
- 10
- 4
- 8
- 5
- 4
- 15
- 11
- 34
- 4
- 4
- 5
- 5
- 8
- 10
- 4
- 4
- 14
- 25
- 4
- 4
- 11
- 15
- 9
- 33
- 4
- 6
- 7
- 4
- 4
- 9
- 4
- 4
- 4
- 13
- 6
- 7
- 11
- 4
- 16
- 21
- 6
- 8
- 7
- 10
- 4
- 17
- 4
- 24
- 5
- 77
- 13
- 20
- 4
- 43
- 4
- 5
- 7
- 10
- 4
- 4
- 12
- 4
- 6
- 7
- 5
- 9
- 7
- 4
- 4
- 5
- 17
- 90
- 13
- 42
- 6
- 4
- 4
- 4
- 7
- 6
- 6
- 5
- 6
- 15
- 9
- 11
- 5
- 34
- 4
- 4
- 5
- 7
- 4
- 18
- 19
- 27
- 5
- 4
- 5
- 77
- 5
- 17
- 6
- 7
- 10
- 21
- 5
- 4
- 6
- 5
- 4
- 4
- 30
- 9
- 4
- 25
- 6
- 4
- 4
- 5
- 4
- 13
- 13
- 13
- 5
- 14
- 10
- 15
- 12
- 16
- 6
- 4
- 77
- 11
- 7
- 5
- 20
- 4
- 4
- 35
- 22
- 5
- 5
- 8
- 11
- 5
- 15
- 4
- 4
- 7
- 4
- 4
- 4
- 9
- 10
- 4
- 12
- 5
- 5
- 7
- 9
- 8
- 9
- 8
- 16
- 4
- 4
- 7
- 5
- 23
- 4
- 13
- 4
- 4
- 4
- 4
- 7
- 4
- 4
- 21
- 4
- 9
- 4
- 6
- 6
- 10
- 72
- 6
- 4
- 5
- 9
- 4
- 4
- 7
- 10
- 38
- 7
- 4
- 5
- 11
- 9
- 4
- 5
- 10
- 4
- 4
- 13
- 4
- 21
- 24
- 4
- 5
- 6
- 4
- 9
- 8
- 12
- 4
- 6
- 5
- 7
- 4
- 4
- 6
- 5
- 5
- 4
- 4
- 8
- 48
- 8
- 4
- 23
- 5
- 6
- 39
- 11
- 5
- 4
- 13
- 20
- 4
- 10
- 10
- 15
- 4
- 11
- 27
- 11
- 4
- 10
- 7
- 5
- 4
- 14
- 4
- 15
- 14
- 6
- 8
- 6
- 4
- 4
- 8
- 7
- 4
- 24
- 5
- 6
- 4
- 4
- 36
- 7
- 8
- 4
- 7
- 5
- 7
- 4
- 7
- 30
- 6
- 13
- 5
- 34
- 6
- 4
- 9
- 90
- 7
- 6
- 5
- 7
- 13
- 16
- 4
- 77
- 9
- 12
- 8
- 4
- 8
- 13
- 20
- 18
- 9
- 93
- 4
- 4
- 40
- 11
- 11
- 7
- 6
- 89
- 16
- 4
- 4
- 20
- 6
- 4
- 4
- 9
- 15
- 12
- 5
- 7
- 4
- 4
- 5
- 90
- 5
- 16
- 4
- 7
- 7
- 80
- 12
- 4
- 16
- 15
- 13
- 4
- 10
- 4
- 13
- 4
- 7
- 7
- 15
- 16
- 4
- 4
- 4
- 6
- 4
- 7
- 4
- 4
- 14
- 4
- 4
- 23
- 6
- 4
- 5
- 6
- 5
- 5
- 14
- 4
- 8
- 4
- 16
- 5
- 9
- 23
- 28
- 4
- 7
- 6
- 4
- 6
- 20
- 12
- 4
- 4
- 4
- 13
- 10
- 34
- 11
- 4
- 5
- 13
- 32
- 4
- 52
- 4
- 8
- 7
- 9
- 8
- 5
- 4
- 23
- 4
- 4
- 4
- 6
- 7
- 17
- 4
- 18
- 6
- 24
- 9
- 23
- 50
- 10
- 10
- 16
- 9
- 6
- 22
- 14
- 15
- 4
- 6
- 4
- 21
- 9
- 34
- 4
- 80
- 4
- 24
- 12
- 6
- 12
- 8
- 7
- 7
- 12
- 16
- 4
- 4
- 8
- 7
- 4
- 15
- 8
- 6
- 6
- 5
- 5
- 89
- 11
- 18
- 5
- 15
- 4
- 5
- 6
- 5
- 4
- 16
- 6
- 4
- 25
- 5
- 11
- 13
- 6
- 6
- 36
- 6
- 5
- 6
- 5
- 15
- 12
- 6
- 7
- 8
- 6
- 5
- 25
- 7
- 11
- 10
- 5
- 7
- 6
- 6
- 7
- 6
- 5
- 7
- 9
- 5
- 5
- 18
- 5
- 12
- 13
- 6
- 19
- 25
- 10
- 5
- 14
- 5
- 23
- 14
- 5
- 7
- 6
- 18
- 10
- 6
- 17
- 6
- 6
- 8
- 35
- 5
- 22
- 45
- 38
- 20
- 39
- 5
- 11
- 6
- 21
- 32
- 7
- 25
- 18
- 5
- 9
- 7
- 17
- Verlag
-
- 6
- 8245
- 3
- 10
- 2
- 40
- 3
- 1
- 12
- 23
- Preis
-
- 27
- 259
- 6179
- 1880
- Sprachen
-
- 8340
- 15
- 12
- Verfügbarkeit
-
- 8087
- 258
- Eigenschaften
-
- 11
- Katalog
-
- 8345
- 378
-
Benzmüller / Miller Intelligent Computer Mathematics
13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-53517-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Courcoubetis Computer Aided Verification
5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings1. Auflage 1993Verlag: SpringerISBN: 978-3-540-56922-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tomek Computer Assisted Learning
4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55578-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Grumberg Computer Aided Verification
9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63166-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bouajjani / Maler Computer Aided Verification
21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02657-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ronzhin / Potapova / Fakotakis Speech and Computer
17th International Conference, SPECOM 2015, Athens, Greece, September 20-24, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-23131-0Medium: 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 -
Majumdar / 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 -
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 -
Ronzhin / Potapova / Vlado Speech and Computer
16th International Conference, SPECOM 2014, Novi Sad, Serbia, October 5-9, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11580-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kurosu / Hashizume Human-Computer Interaction
Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IVErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93860-3Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kurosu / Hashizume Human-Computer Interaction
Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93863-4Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kurosu / Hashizume Human-Computer Interaction
Thematic Area, HCI 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, Proceedings, Part IVErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-29592-7Medium: Buch104,85 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage104,85 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Piskac / Rakamaric Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-98667-3Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jeuring / Campbell / Carette Intelligent Computer Mathematics
11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Pro1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31373-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Piskac / Rakamaric Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-98681-9Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Piskac / Rakamaric Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-98678-9Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Enea / Lal Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II1. Auflage 2023Verlag: SpringerISBN: 978-3-031-37702-0Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kurosu / Hashizume 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 I1. Auflage 2023Verlag: SpringerISBN: 978-3-031-35595-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kurosu / Hashizume 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 III1. Auflage 2023Verlag: SpringerISBN: 978-3-031-35601-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dubois / Kerber Intelligent Computer Mathematics
16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-42752-7Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chen / Leibe / Neumann Computer Vision Systems
9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39401-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kurosu / Hashizume Human-Computer Interaction
Thematic Area, HCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-3-031-60411-9Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kurosu / Hashizume Human-Computer Interaction
Thematic Area, HCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part V2024Verlag: SpringerISBN: 978-3-031-60448-5Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kurosu / Hashizume Human-Computer Interaction
Thematic Area, HCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IV2024Verlag: SpringerISBN: 978-3-031-60440-9Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage149,79 € (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