Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- 11125 EDV | Informatik
- 1117 Mathematik
- Medium
-
- 11163
- Erscheinungsjahr
-
- 7
- 745
- 798
- 841
- 622
- 480
- 285
- 317
- 311
- 314
- 280
- 318
- 306
- 301
- 297
- 296
- 285
- 288
- 256
- 211
- 261
- 270
- 230
- 359
- 307
- 255
- 254
- 177
- 177
- 134
- 137
- 133
- 117
- 106
- 93
- 73
- 88
- 59
- 59
- 45
- 46
- 33
- 26
- 19
- 13
- 17
- 27
- 20
- 12
- 7
- 12
- 10
- 12
- 13
- 4
- Autoren
-
- 5
- 5
- 5
- 4
- 4
- 4
- 6
- 4
- 4
- 9
- 5
- 12
- 25
- 10
- 7
- 4
- 4
- 4
- 5
- 4
- 5
- 8
- 10
- 4
- 4
- 5
- 8
- 17
- 6
- 13
- 4
- 8
- 5
- 4
- 4
- 4
- 5
- 5
- 9
- 9
- 6
- 4
- 5
- 5
- 4
- 6
- 6
- 14
- 4
- 33
- 36
- 7
- 41
- 5
- 5
- 4
- 4
- 5
- 5
- 6
- 8
- 4
- 13
- 4
- 21
- 13
- 4
- 4
- 6
- 4
- 6
- 4
- 7
- 4
- 39
- 13
- 6
- 4
- 6
- 4
- 5
- 4
- 7
- 5
- 7
- 4
- 4
- 4
- 11
- 4
- 7
- 17
- 9
- 6
- 4
- 4
- 5
- 6
- 4
- 6
- 6
- 8
- 24
- 4
- 8
- 10
- 10
- 11
- 7
- 6
- 4
- 12
- 6
- 4
- 4
- 5
- 4
- 19
- 5
- 6
- 14
- 6
- 12
- 5
- 5
- 5
- 9
- 8
- 4
- 4
- 8
- 26
- 4
- 4
- 4
- 10
- 5
- 11
- 5
- 6
- 40
- 4
- 5
- 4
- 4
- 8
- 5
- 20
- 18
- 6
- 4
- 4
- 4
- 8
- 6
- 11
- 10
- 4
- 4
- 5
- 4
- 5
- 11
- 4
- 5
- 4
- 7
- 10
- 4
- 4
- 4
- 7
- 8
- 12
- 12
- 9
- 4
- 12
- 8
- 8
- 16
- 4
- 7
- 5
- 4
- 4
- 6
- 10
- 39
- 18
- 7
- 6
- 4
- 8
- 5
- 7
- 7
- 16
- 4
- 5
- 9
- 4
- 15
- 7
- 5
- 13
- 4
- 4
- 6
- 24
- 4
- 15
- 10
- 4
- 4
- 11
- 4
- 4
- 10
- 6
- 6
- 8
- 4
- 7
- 34
- 4
- 17
- 41
- 13
- 8
- 17
- 19
- 4
- 11
- 4
- 45
- 4
- 8
- 38
- 4
- 9
- 14
- 12
- 4
- 12
- 6
- 11
- 10
- 6
- 4
- 5
- 39
- 5
- 11
- 9
- 12
- 4
- 4
- 4
- 4
- 12
- 13
- 6
- 5
- 4
- 15
- 6
- 14
- 6
- 8
- 4
- 6
- 5
- 23
- 26
- 15
- 27
- 9
- 9
- 5
- 8
- 6
- 5
- 7
- 6
- 5
- 16
- 13
- 24
- 6
- 4
- 6
- 4
- 6
- 4
- 4
- 4
- 7
- 4
- 8
- 4
- 9
- 7
- 4
- 4
- 5
- 4
- 7
- 15
- 10
- 4
- 10
- 10
- 4
- 4
- 5
- 50
- 41
- 8
- 39
- 4
- 8
- 16
- 7
- 8
- 34
- 13
- 4
- 7
- 19
- 8
- 6
- 5
- 10
- 26
- 12
- 43
- 76
- 9
- 7
- 15
- 10
- 8
- 5
- 6
- 10
- 15
- 5
- 8
- 8
- 6
- 6
- 6
- 8
- 6
- 5
- 5
- 5
- 5
- 20
- 17
- 11
- 6
- 9
- 8
- 5
- 5
- 12
- 6
- 22
- 67
- 34
- 8
- 23
- 17
- 23
- 106
- 5
- 11
- 6
- 8
- 15
- 11
- 6
- 7
- 19
- 15
- 5
- 11
- 8
- 6
- 16
- 7
- 5
- 6
- 5
- 13
- 44
- 6
- 10
- 8
- 6
- 9
- 16
- 6
- 7
- 8
- 23
- 39
- 17
- 8
- 10
- 5
- 15
- 5
- 14
- 15
- 6
- 5
- 7
- 94
- 5
- 10
- 5
- 8
- 6
- 5
- 7
- 15
- 5
- 14
- 6
- 8
- 5
- 19
- 13
- 7
- 5
- 8
- 6
- 11
- 17
- 16
- 11
- 7
- 13
- 5
- 7
- 13
- 7
- 10
- 5
- 6
- 13
- 6
- 7
- 5
- 5
- 6
- 10
- 6
- 8
- 11
- 5
- 15
- 8
- 7
- 10
- 42
- 12
- 5
- 7
- 24
- 6
- 19
- 41
- 6
- 5
- 12
- 15
- 9
- 33
- 6
- 7
- 6
- 9
- 5
- 18
- 6
- 7
- 11
- 6
- 17
- 38
- 22
- 8
- 10
- 6
- 17
- 25
- 5
- 76
- 14
- 25
- 44
- 5
- 6
- 10
- 7
- 5
- 5
- 11
- 6
- 5
- 12
- 6
- 7
- 7
- 5
- 9
- 7
- 6
- 5
- 16
- 90
- 13
- 44
- 7
- 12
- 6
- 8
- 5
- 8
- 14
- 10
- 11
- 5
- 5
- 5
- 9
- 10
- 18
- 19
- 8
- 27
- 5
- 6
- 6
- 80
- 5
- 17
- 6
- 7
- 10
- 21
- 5
- 6
- 8
- 5
- 6
- 6
- 32
- 6
- 9
- 25
- 6
- 5
- 5
- 13
- 12
- 13
- 14
- 11
- 15
- 13
- 16
- 76
- 11
- 9
- 6
- 28
- 35
- 31
- 5
- 5
- 10
- 8
- 11
- 5
- 18
- 7
- 6
- 7
- 9
- 11
- 5
- 10
- 20
- 9
- 9
- 8
- 10
- 9
- 7
- 15
- 7
- 5
- 35
- 12
- 9
- 7
- 10
- 7
- 6
- 20
- 7
- 9
- 13
- 7
- 8
- 11
- 96
- 5
- 7
- 7
- 5
- 9
- 11
- 5
- 7
- 5
- 7
- 7
- 11
- 37
- 7
- 5
- 16
- 9
- 5
- 9
- 6
- 5
- 14
- 5
- 21
- 25
- 5
- 9
- 5
- 6
- 8
- 6
- 8
- 12
- 6
- 7
- 5
- 9
- 7
- 7
- 5
- 8
- 48
- 8
- 23
- 5
- 6
- 41
- 14
- 8
- 9
- 15
- 18
- 15
- 18
- 15
- 6
- 11
- 5
- 9
- 28
- 12
- 12
- 7
- 6
- 5
- 20
- 5
- 10
- 8
- 15
- 11
- 6
- 5
- 6
- 13
- 7
- 11
- 6
- 5
- 12
- 5
- 8
- 24
- 7
- 6
- 38
- 9
- 8
- 9
- 6
- 5
- 17
- 8
- 6
- 8
- 7
- 30
- 6
- 14
- 6
- 7
- 36
- 8
- 7
- 6
- 9
- 10
- 5
- 90
- 7
- 6
- 5
- 9
- 5
- 6
- 33
- 15
- 8
- 76
- 20
- 12
- 8
- 13
- 13
- 19
- 18
- 9
- 9
- 93
- 6
- 48
- 5
- 11
- 11
- 8
- 6
- 89
- 17
- 20
- 12
- 8
- 9
- 16
- 12
- 6
- 5
- 9
- 5
- 5
- 8
- 90
- 5
- 5
- 6
- 17
- 8
- 7
- 79
- 12
- 16
- 16
- 11
- 9
- 8
- 10
- 13
- 5
- 7
- 7
- 22
- 18
- 8
- 5
- 6
- 15
- 7
- 27
- 5
- 7
- 8
- 5
- 6
- 5
- 5
- 14
- 8
- 6
- 9
- 7
- 16
- 7
- 12
- 23
- 31
- 6
- 6
- 6
- 19
- 9
- 6
- 13
- 12
- 31
- 10
- 5
- 13
- 10
- 42
- 8
- 51
- 11
- 9
- 6
- 11
- 12
- 5
- 22
- 18
- 17
- 18
- 19
- 5
- 6
- 24
- 14
- 28
- 63
- 10
- 16
- 19
- 8
- 9
- 7
- 24
- 6
- 19
- 16
- 7
- 6
- 6
- 17
- 10
- 61
- 6
- 79
- 24
- 12
- 6
- 13
- 15
- 7
- 7
- 7
- 12
- 15
- 5
- 12
- 7
- 15
- 13
- 7
- 6
- 10
- 10
- 89
- 11
- 5
- 18
- 16
- 5
- 6
- 6
- 5
- 7
- 16
- 8
- 8
- 8
- 34
- 5
- 11
- 9
- 5
- 8
- 12
- 13
- 21
- 5
- 10
- 6
- 36
- 6
- 5
- 6
- 14
- 19
- 14
- 10
- 6
- 6
- 8
- 8
- 6
- 5
- 25
- 7
- 16
- 10
- 6
- 6
- 9
- 6
- 6
- 5
- 6
- 14
- 13
- 9
- 5
- 5
- 5
- 18
- 5
- 10
- 5
- 12
- 6
- 5
- 9
- 5
- 17
- 25
- 13
- 6
- 14
- 5
- 19
- 18
- 5
- 7
- 5
- 5
- 12
- 6
- 10
- 18
- 10
- 6
- 43
- 6
- 8
- 6
- 6
- 5
- 23
- 6
- 48
- 40
- 66
- 41
- 16
- 6
- 11
- 6
- 18
- 32
- 7
- 26
- 21
- 20
- 9
- 6
- 5
- 10
- 7
- 7
- 6
- 20
- Verlag
-
- 9
- 10992
- 3
- 5
- 1
- 99
- 4
- 1
- 12
- 37
- Preis
-
- 47
- 410
- 8463
- 2243
- Sprachen
-
- 11157
- 17
- 13
- Verfügbarkeit
-
- 10897
- 266
- Eigenschaften
-
- 1
- Katalog
-
- 11163
- 588
-
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 -
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 -
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 -
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 -
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 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 -
Beltrán / Knottenbelt / Bradley Computer Performance Engineering
12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-23266-9Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Thomas / Juiz Computer Performance Engineering
5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87411-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Streitz / Kameas / Mavrommati The Disappearing Computer
Interaction Design, System Infrastructures and Applications for Smart Environments1. Auflage 2007Verlag: SpringerISBN: 978-3-540-72725-5Medium: 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 -
Fiems / Paolieri / Platis Computer Performance Engineering
13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46432-9Medium: 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 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 -
Gurfinkel / Ganesh Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-3-031-65629-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 -
Karpov / Gosztolya Speech and Computer
27th International Conference, SPECOM 2025, Szeged, Hungary, October 13-15, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-07958-9Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (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