Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- 1754 Angewandte Informatik
- 458 Betriebssysteme
- 263 Business Application
- 1551 Computerkommunikation & -vernetzung
- 2692 Daten / Datenbanken
- 143 Digital Lifestyle
- 950 EDV & Informatik Allgemein
- 7798 Informatik
- 513 Professionelle Anwendung
- 4165 Programmierung | Softwareentwicklung
- 3612 Technische Informatik
- Medium
-
- 10536
- Erscheinungsjahr
-
- 196
- 808
- 830
- 621
- 487
- 277
- 285
- 298
- 290
- 311
- 306
- 314
- 279
- 311
- 314
- 267
- 263
- 270
- 229
- 270
- 273
- 223
- 362
- 305
- 261
- 250
- 177
- 176
- 117
- 132
- 135
- 118
- 108
- 96
- 73
- 84
- 57
- 57
- 45
- 46
- 31
- 26
- 17
- 12
- 16
- 25
- 19
- 12
- 7
- 12
- 10
- 12
- 12
- 4
- Autoren
-
- 6
- 5
- 5
- 5
- 4
- 6
- 4
- 5
- 6
- 5
- 6
- 9
- 6
- 10
- 8
- 6
- 7
- 4
- 4
- 4
- 5
- 4
- 11
- 4
- 11
- 8
- 5
- 6
- 16
- 6
- 4
- 20
- 5
- 8
- 5
- 6
- 4
- 6
- 5
- 9
- 9
- 4
- 6
- 4
- 4
- 7
- 5
- 14
- 4
- 25
- 36
- 6
- 39
- 7
- 7
- 4
- 6
- 7
- 15
- 16
- 4
- 4
- 11
- 4
- 5
- 4
- 4
- 7
- 39
- 6
- 6
- 4
- 4
- 4
- 5
- 4
- 4
- 6
- 4
- 5
- 4
- 5
- 4
- 4
- 9
- 6
- 5
- 5
- 16
- 5
- 4
- 7
- 6
- 6
- 6
- 6
- 6
- 8
- 4
- 6
- 7
- 6
- 8
- 7
- 8
- 4
- 11
- 5
- 5
- 4
- 5
- 4
- 17
- 7
- 6
- 7
- 4
- 14
- 4
- 4
- 10
- 5
- 5
- 4
- 4
- 7
- 4
- 4
- 4
- 7
- 6
- 16
- 4
- 4
- 10
- 5
- 5
- 9
- 4
- 6
- 40
- 4
- 4
- 4
- 4
- 6
- 14
- 11
- 6
- 4
- 7
- 8
- 11
- 9
- 4
- 4
- 4
- 5
- 4
- 9
- 6
- 4
- 8
- 4
- 4
- 11
- 5
- 4
- 6
- 5
- 9
- 14
- 5
- 4
- 11
- 7
- 4
- 16
- 11
- 16
- 6
- 5
- 5
- 4
- 4
- 5
- 8
- 4
- 39
- 9
- 9
- 4
- 4
- 4
- 8
- 5
- 5
- 8
- 9
- 4
- 4
- 16
- 6
- 8
- 10
- 5
- 9
- 7
- 6
- 4
- 14
- 4
- 7
- 4
- 24
- 4
- 13
- 10
- 9
- 7
- 4
- 5
- 11
- 5
- 4
- 8
- 34
- 10
- 41
- 10
- 8
- 18
- 14
- 4
- 4
- 7
- 4
- 4
- 21
- 8
- 38
- 4
- 8
- 14
- 10
- 4
- 4
- 7
- 12
- 4
- 6
- 9
- 13
- 8
- 7
- 39
- 4
- 5
- 5
- 10
- 8
- 10
- 4
- 5
- 4
- 6
- 4
- 6
- 11
- 10
- 5
- 4
- 4
- 7
- 6
- 4
- 4
- 14
- 9
- 5
- 13
- 5
- 5
- 4
- 6
- 4
- 4
- 4
- 15
- 21
- 8
- 5
- 9
- 4
- 6
- 4
- 6
- 13
- 5
- 24
- 6
- 7
- 4
- 4
- 6
- 4
- 7
- 4
- 6
- 5
- 4
- 4
- 4
- 6
- 4
- 4
- 4
- 8
- 4
- 15
- 10
- 6
- 8
- 10
- 5
- 43
- 38
- 6
- 23
- 5
- 4
- 16
- 8
- 23
- 11
- 5
- 5
- 7
- 18
- 6
- 4
- 4
- 4
- 5
- 5
- 4
- 5
- 4
- 27
- 4
- 15
- 46
- 8
- 7
- 4
- 15
- 7
- 6
- 6
- 11
- 15
- 5
- 6
- 8
- 6
- 4
- 4
- 4
- 4
- 5
- 14
- 7
- 6
- 4
- 4
- 5
- 4
- 4
- 8
- 6
- 5
- 4
- 5
- 11
- 4
- 15
- 55
- 32
- 6
- 4
- 22
- 7
- 18
- 20
- 90
- 11
- 6
- 4
- 6
- 15
- 4
- 4
- 7
- 19
- 13
- 5
- 5
- 5
- 5
- 9
- 13
- 6
- 5
- 8
- 7
- 5
- 4
- 4
- 6
- 4
- 9
- 5
- 39
- 4
- 7
- 7
- 4
- 7
- 16
- 7
- 4
- 7
- 19
- 39
- 6
- 4
- 7
- 17
- 10
- 6
- 7
- 6
- 5
- 4
- 4
- 8
- 5
- 8
- 15
- 6
- 6
- 4
- 5
- 8
- 5
- 67
- 4
- 5
- 8
- 10
- 6
- 7
- 15
- 6
- 11
- 5
- 8
- 18
- 7
- 10
- 5
- 6
- 5
- 11
- 17
- 11
- 7
- 5
- 13
- 5
- 6
- 13
- 6
- 6
- 7
- 5
- 13
- 6
- 5
- 10
- 9
- 11
- 6
- 8
- 7
- 5
- 6
- 29
- 8
- 6
- 5
- 8
- 26
- 6
- 15
- 35
- 6
- 6
- 8
- 9
- 15
- 5
- 29
- 6
- 9
- 5
- 9
- 5
- 5
- 14
- 6
- 5
- 5
- 16
- 20
- 32
- 5
- 17
- 9
- 8
- 19
- 5
- 9
- 5
- 5
- 25
- 5
- 14
- 30
- 35
- 6
- 9
- 9
- 6
- 16
- 6
- 5
- 12
- 5
- 5
- 8
- 7
- 6
- 6
- 7
- 7
- 5
- 14
- 90
- 5
- 12
- 18
- 6
- 14
- 6
- 5
- 8
- 13
- 12
- 5
- 5
- 9
- 13
- 18
- 20
- 24
- 8
- 5
- 62
- 19
- 6
- 9
- 5
- 12
- 20
- 5
- 9
- 5
- 6
- 7
- 5
- 5
- 8
- 5
- 14
- 5
- 5
- 5
- 23
- 6
- 13
- 12
- 13
- 15
- 15
- 12
- 8
- 18
- 11
- 9
- 9
- 9
- 24
- 7
- 5
- 32
- 29
- 6
- 6
- 8
- 7
- 16
- 8
- 6
- 5
- 6
- 7
- 6
- 11
- 21
- 6
- 7
- 8
- 8
- 13
- 8
- 5
- 33
- 8
- 11
- 5
- 5
- 5
- 5
- 5
- 5
- 16
- 5
- 9
- 9
- 5
- 5
- 9
- 82
- 9
- 5
- 7
- 6
- 14
- 5
- 6
- 5
- 9
- 11
- 37
- 13
- 5
- 17
- 6
- 5
- 5
- 10
- 6
- 6
- 5
- 5
- 10
- 5
- 8
- 6
- 6
- 8
- 6
- 7
- 5
- 6
- 7
- 43
- 5
- 5
- 5
- 19
- 7
- 6
- 18
- 14
- 5
- 13
- 11
- 14
- 15
- 8
- 16
- 6
- 5
- 10
- 23
- 11
- 9
- 5
- 12
- 6
- 22
- 12
- 12
- 11
- 6
- 11
- 7
- 6
- 16
- 5
- 15
- 14
- 8
- 24
- 9
- 9
- 6
- 11
- 6
- 5
- 10
- 13
- 10
- 5
- 8
- 6
- 14
- 6
- 6
- 5
- 12
- 24
- 6
- 12
- 6
- 7
- 19
- 5
- 5
- 11
- 91
- 5
- 6
- 8
- 5
- 22
- 7
- 9
- 5
- 18
- 9
- 8
- 8
- 11
- 5
- 19
- 8
- 91
- 6
- 48
- 11
- 11
- 5
- 89
- 22
- 14
- 12
- 5
- 11
- 9
- 13
- 8
- 8
- 6
- 5
- 8
- 7
- 89
- 5
- 7
- 15
- 20
- 10
- 12
- 11
- 17
- 11
- 12
- 6
- 5
- 11
- 5
- 10
- 22
- 7
- 6
- 5
- 5
- 9
- 13
- 5
- 24
- 6
- 5
- 6
- 6
- 5
- 5
- 14
- 6
- 7
- 8
- 8
- 11
- 12
- 35
- 10
- 6
- 6
- 7
- 18
- 9
- 11
- 8
- 10
- 11
- 5
- 5
- 7
- 11
- 5
- 38
- 7
- 35
- 12
- 7
- 8
- 5
- 6
- 10
- 8
- 22
- 6
- 8
- 8
- 15
- 14
- 24
- 8
- 22
- 10
- 13
- 24
- 57
- 10
- 11
- 19
- 8
- 9
- 6
- 10
- 19
- 18
- 14
- 6
- 9
- 54
- 24
- 12
- 8
- 12
- 12
- 6
- 12
- 9
- 12
- 5
- 10
- 7
- 6
- 15
- 14
- 7
- 9
- 10
- 5
- 89
- 10
- 7
- 15
- 5
- 5
- 5
- 6
- 15
- 6
- 8
- 37
- 5
- 11
- 7
- 7
- 12
- 5
- 13
- 19
- 10
- 21
- 6
- 5
- 17
- 20
- 5
- 10
- 7
- 6
- 6
- 8
- 6
- 9
- 8
- 6
- 27
- 6
- 14
- 10
- 5
- 6
- 8
- 6
- 6
- 5
- 8
- 11
- 8
- 9
- 18
- 5
- 11
- 5
- 11
- 5
- 6
- 24
- 7
- 14
- 5
- 5
- 23
- 11
- 5
- 5
- 5
- 5
- 9
- 18
- 6
- 6
- 6
- 48
- 11
- 5
- 5
- 5
- 20
- 6
- 43
- 14
- 61
- 18
- 5
- 9
- 6
- 6
- 32
- 7
- 9
- 5
- 18
- 21
- 19
- 11
- 9
- 12
- 10
- 6
- 6
- 21
- Verlag
-
- 3
- 10472
- 3
- 5
- 1
- 1
- 4
- 3
- 1
- 1
- 42
- Preis
-
- 42
- 389
- 8073
- 2032
- Sprachen
-
- 10531
- 16
- 13
- Verfügbarkeit
-
- 10527
- 9
- Eigenschaften
-
- 5
- Katalog
-
- 10536
- 543
-
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 -
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 -
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 -
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 -
Piskac / Rakamaric / 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 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 -
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 -
Chockler / Weissenbacher Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I1. Auflage 2018Verlag: SpringerISBN: 978-3-319-96144-6Medium: 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 -
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 -
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 -
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 -
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 -
Majumdar / Kuncak / Kuncak Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I1. Auflage 2017Verlag: SpringerISBN: 978-3-319-63386-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Piskac / Rakamaric / 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 -
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 -
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 -
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 -
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 -
Chin / Ip / Naiman Image Analysis Applications and Computer Graphics
Third International Computer Science Conference, ICSC'95 Hong Kong, December 11 - 13, 1995 ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60697-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Katsikas / Lambrinoudakis / Furnell Trust, Privacy and Security in Digital Business
13th International Conference, TrustBus 2016, Porto, Portugal, September 7-8, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-44340-9Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage44,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhou / Li / Yang Advances in Knowledge Discovery and Data Mining
11th Pacific-Asia Conference, PAKDD 2007, Nanjing, China, May 22-25, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-71700-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fischer-Hübner / Lambrinoudakis / Pernul Trust, Privacy and Security in Digital Business
6th International Conference, TrustBus 2009, Linz, Austria, September 3-4, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-03747-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cheung / Williams / Li Advances in Knowledge Discovery and Data Mining
5th Pacific-Asia Conference, PAKDD 2001 Hong Kong, China, April 16-18, 2001. Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-41910-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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