Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- 10645 EDV | Informatik
- 1100 Mathematik
- Medium
-
- 10680
- Erscheinungsjahr
-
- 294
- 806
- 848
- 619
- 486
- 285
- 306
- 302
- 309
- 266
- 316
- 299
- 297
- 317
- 303
- 267
- 283
- 249
- 219
- 258
- 276
- 238
- 362
- 301
- 255
- 253
- 176
- 176
- 134
- 136
- 134
- 115
- 106
- 93
- 74
- 88
- 59
- 59
- 45
- 46
- 33
- 26
- 19
- 13
- 17
- 27
- 20
- 12
- 7
- 12
- 10
- 12
- 13
- 4
- Autoren
-
- 5
- 4
- 6
- 6
- 4
- 4
- 6
- 4
- 6
- 6
- 4
- 9
- 4
- 4
- 12
- 8
- 10
- 7
- 4
- 4
- 4
- 5
- 5
- 9
- 10
- 4
- 4
- 6
- 4
- 4
- 7
- 17
- 4
- 16
- 4
- 8
- 5
- 4
- 4
- 5
- 5
- 9
- 9
- 4
- 4
- 4
- 5
- 4
- 6
- 14
- 30
- 35
- 4
- 40
- 4
- 5
- 4
- 4
- 7
- 5
- 5
- 5
- 15
- 4
- 4
- 16
- 11
- 4
- 4
- 4
- 4
- 6
- 39
- 10
- 6
- 4
- 4
- 6
- 5
- 4
- 7
- 6
- 7
- 4
- 4
- 9
- 4
- 6
- 16
- 10
- 10
- 5
- 5
- 5
- 6
- 5
- 9
- 6
- 5
- 7
- 9
- 6
- 11
- 7
- 7
- 4
- 11
- 4
- 4
- 5
- 4
- 19
- 6
- 6
- 11
- 6
- 9
- 5
- 5
- 5
- 10
- 6
- 4
- 8
- 4
- 26
- 5
- 4
- 10
- 4
- 5
- 9
- 5
- 6
- 39
- 4
- 4
- 4
- 4
- 10
- 6
- 20
- 16
- 6
- 4
- 7
- 6
- 4
- 9
- 9
- 5
- 4
- 5
- 7
- 4
- 5
- 11
- 4
- 4
- 5
- 4
- 4
- 11
- 4
- 5
- 7
- 4
- 6
- 9
- 12
- 5
- 4
- 13
- 9
- 4
- 16
- 9
- 16
- 5
- 7
- 4
- 7
- 4
- 4
- 6
- 10
- 4
- 39
- 15
- 8
- 6
- 4
- 4
- 9
- 4
- 5
- 4
- 8
- 7
- 15
- 4
- 8
- 10
- 4
- 5
- 4
- 14
- 4
- 4
- 7
- 14
- 4
- 4
- 8
- 24
- 4
- 4
- 17
- 6
- 4
- 4
- 8
- 4
- 9
- 6
- 4
- 6
- 5
- 4
- 4
- 4
- 33
- 4
- 12
- 40
- 13
- 8
- 12
- 15
- 11
- 22
- 9
- 35
- 4
- 9
- 14
- 15
- 4
- 4
- 4
- 12
- 4
- 6
- 14
- 10
- 8
- 5
- 4
- 39
- 5
- 4
- 10
- 6
- 7
- 4
- 4
- 4
- 8
- 4
- 10
- 13
- 8
- 6
- 4
- 4
- 15
- 5
- 7
- 12
- 6
- 5
- 4
- 6
- 5
- 6
- 8
- 15
- 23
- 7
- 5
- 5
- 6
- 6
- 8
- 6
- 4
- 10
- 11
- 4
- 24
- 6
- 7
- 7
- 4
- 4
- 6
- 4
- 7
- 6
- 7
- 4
- 4
- 5
- 4
- 7
- 4
- 15
- 10
- 6
- 9
- 8
- 5
- 4
- 5
- 47
- 39
- 11
- 23
- 4
- 8
- 15
- 6
- 31
- 10
- 5
- 19
- 4
- 4
- 4
- 4
- 8
- 4
- 5
- 4
- 9
- 4
- 25
- 4
- 4
- 12
- 43
- 4
- 7
- 7
- 4
- 14
- 6
- 7
- 5
- 6
- 7
- 9
- 6
- 4
- 4
- 4
- 6
- 8
- 8
- 6
- 5
- 5
- 4
- 7
- 16
- 14
- 4
- 6
- 4
- 9
- 4
- 4
- 4
- 12
- 8
- 4
- 4
- 8
- 6
- 17
- 53
- 35
- 7
- 4
- 20
- 9
- 17
- 22
- 91
- 8
- 11
- 6
- 4
- 4
- 8
- 5
- 16
- 4
- 11
- 6
- 6
- 18
- 12
- 5
- 9
- 5
- 5
- 4
- 13
- 10
- 5
- 6
- 7
- 12
- 5
- 5
- 43
- 6
- 8
- 10
- 5
- 5
- 10
- 13
- 6
- 8
- 8
- 19
- 39
- 9
- 17
- 5
- 8
- 5
- 16
- 15
- 9
- 10
- 69
- 7
- 6
- 6
- 7
- 15
- 7
- 11
- 7
- 18
- 7
- 5
- 6
- 10
- 17
- 10
- 11
- 7
- 13
- 5
- 7
- 13
- 8
- 5
- 12
- 6
- 5
- 6
- 10
- 7
- 10
- 10
- 5
- 5
- 8
- 7
- 10
- 29
- 9
- 8
- 25
- 8
- 14
- 34
- 6
- 6
- 9
- 15
- 6
- 5
- 33
- 6
- 6
- 8
- 5
- 9
- 5
- 7
- 15
- 6
- 15
- 14
- 32
- 20
- 8
- 10
- 6
- 5
- 7
- 15
- 23
- 5
- 5
- 15
- 26
- 41
- 8
- 5
- 5
- 5
- 8
- 5
- 10
- 5
- 6
- 12
- 6
- 6
- 5
- 6
- 8
- 7
- 6
- 15
- 91
- 12
- 18
- 7
- 12
- 7
- 8
- 6
- 13
- 5
- 7
- 8
- 5
- 12
- 13
- 7
- 18
- 19
- 6
- 25
- 8
- 5
- 57
- 16
- 6
- 7
- 11
- 22
- 5
- 9
- 6
- 6
- 9
- 10
- 6
- 5
- 9
- 25
- 6
- 6
- 5
- 10
- 11
- 13
- 14
- 17
- 11
- 10
- 17
- 5
- 11
- 10
- 29
- 7
- 36
- 29
- 7
- 6
- 6
- 8
- 6
- 18
- 7
- 5
- 9
- 13
- 7
- 5
- 6
- 10
- 19
- 8
- 6
- 7
- 8
- 6
- 5
- 8
- 11
- 6
- 5
- 32
- 5
- 11
- 8
- 10
- 5
- 5
- 5
- 18
- 5
- 6
- 9
- 6
- 5
- 6
- 10
- 8
- 83
- 7
- 6
- 5
- 5
- 7
- 11
- 5
- 5
- 12
- 6
- 38
- 5
- 20
- 8
- 5
- 5
- 10
- 6
- 9
- 5
- 5
- 6
- 6
- 11
- 5
- 6
- 6
- 7
- 12
- 5
- 6
- 7
- 5
- 6
- 7
- 7
- 5
- 6
- 10
- 42
- 21
- 5
- 21
- 17
- 9
- 6
- 6
- 13
- 13
- 19
- 15
- 6
- 15
- 5
- 5
- 9
- 23
- 14
- 9
- 11
- 6
- 20
- 5
- 9
- 6
- 16
- 12
- 6
- 6
- 6
- 15
- 5
- 11
- 6
- 6
- 14
- 8
- 24
- 5
- 5
- 5
- 10
- 10
- 12
- 8
- 6
- 5
- 12
- 6
- 7
- 7
- 29
- 6
- 11
- 7
- 7
- 20
- 7
- 5
- 10
- 5
- 90
- 5
- 7
- 6
- 11
- 6
- 19
- 15
- 8
- 21
- 12
- 8
- 11
- 9
- 10
- 20
- 93
- 6
- 53
- 11
- 11
- 6
- 6
- 89
- 16
- 5
- 14
- 12
- 5
- 10
- 5
- 5
- 9
- 22
- 13
- 7
- 6
- 9
- 6
- 5
- 8
- 5
- 7
- 90
- 5
- 6
- 16
- 8
- 8
- 12
- 11
- 16
- 5
- 10
- 9
- 5
- 10
- 5
- 9
- 7
- 22
- 16
- 6
- 5
- 5
- 13
- 7
- 24
- 6
- 7
- 6
- 5
- 5
- 14
- 9
- 9
- 6
- 16
- 15
- 21
- 28
- 5
- 6
- 20
- 7
- 5
- 10
- 10
- 5
- 16
- 10
- 5
- 5
- 12
- 8
- 39
- 9
- 45
- 16
- 6
- 11
- 11
- 10
- 9
- 22
- 9
- 17
- 7
- 14
- 14
- 19
- 6
- 5
- 10
- 23
- 7
- 24
- 57
- 10
- 15
- 17
- 8
- 9
- 6
- 5
- 19
- 19
- 15
- 7
- 10
- 56
- 24
- 12
- 6
- 12
- 14
- 5
- 7
- 12
- 9
- 6
- 11
- 8
- 15
- 15
- 7
- 11
- 9
- 5
- 89
- 10
- 14
- 5
- 16
- 6
- 5
- 5
- 13
- 11
- 31
- 5
- 11
- 6
- 6
- 5
- 9
- 13
- 18
- 5
- 11
- 6
- 19
- 6
- 5
- 6
- 13
- 19
- 6
- 13
- 12
- 6
- 6
- 8
- 5
- 8
- 5
- 6
- 9
- 23
- 8
- 14
- 10
- 7
- 6
- 6
- 5
- 6
- 12
- 11
- 8
- 5
- 5
- 5
- 18
- 5
- 10
- 6
- 12
- 6
- 8
- 7
- 26
- 15
- 14
- 7
- 5
- 18
- 11
- 5
- 9
- 5
- 6
- 12
- 18
- 9
- 6
- 6
- 40
- 5
- 7
- 5
- 23
- 7
- 5
- 44
- 16
- 63
- 5
- 17
- 5
- 11
- 5
- 6
- 32
- 7
- 22
- 21
- 17
- 5
- 5
- 6
- 6
- 5
- 12
- 9
- 5
- 5
- 19
- Verlag
-
- 3
- 10625
- 3
- 6
- 1
- 5
- 4
- 1
- 32
- Preis
-
- 47
- 387
- 8150
- 2096
- Sprachen
-
- 10674
- 17
- 13
- Verfügbarkeit
-
- 10668
- 12
- Eigenschaften
-
- 7
- Katalog
-
- 10680
- 558
-
Nah / Siau HCI in Business, Government and Organizations
10th International Conference, HCIBGO 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II1. Auflage 2023Verlag: SpringerISBN: 978-3-031-36048-0Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nah / Siau HCI in Business, Government and Organizations
10th International Conference, HCIBGO 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-35968-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Crampton / Jajodia / Mayes Computer Security -- ESORICS 2013
18th European Symposium on Research in Computer Security, Egham, UK, September 9-13, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40202-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
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 -
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 -
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 -
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 -
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 -
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 VErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93863-4Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (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 -
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 -
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 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 -
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 -
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 -
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 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 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 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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort