Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- 11242 EDV | Informatik
- 1118 Mathematik
- Medium
-
- 11279
- Erscheinungsjahr
-
- 119
- 816
- 789
- 853
- 620
- 477
- 282
- 296
- 300
- 318
- 293
- 292
- 290
- 292
- 329
- 284
- 271
- 288
- 262
- 237
- 248
- 270
- 240
- 352
- 298
- 250
- 256
- 172
- 177
- 128
- 139
- 137
- 115
- 105
- 95
- 71
- 88
- 58
- 57
- 45
- 45
- 33
- 26
- 19
- 13
- 17
- 27
- 20
- 12
- 7
- 12
- 10
- 12
- 13
- 4
- Autoren
-
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 6
- 4
- 8
- 13
- 24
- 9
- 8
- 4
- 5
- 4
- 4
- 5
- 7
- 4
- 9
- 9
- 6
- 7
- 16
- 8
- 4
- 21
- 5
- 9
- 5
- 5
- 5
- 5
- 5
- 8
- 9
- 5
- 4
- 4
- 9
- 5
- 8
- 13
- 29
- 36
- 7
- 40
- 7
- 5
- 4
- 5
- 6
- 6
- 7
- 16
- 8
- 21
- 7
- 13
- 4
- 7
- 4
- 4
- 6
- 5
- 6
- 6
- 39
- 13
- 5
- 4
- 5
- 7
- 6
- 6
- 4
- 7
- 6
- 4
- 9
- 4
- 9
- 46
- 6
- 6
- 4
- 4
- 6
- 5
- 8
- 23
- 4
- 6
- 7
- 4
- 10
- 10
- 11
- 9
- 8
- 12
- 5
- 4
- 6
- 16
- 9
- 5
- 5
- 16
- 5
- 7
- 5
- 7
- 11
- 6
- 6
- 6
- 17
- 9
- 6
- 7
- 5
- 6
- 40
- 7
- 6
- 19
- 19
- 5
- 6
- 7
- 6
- 6
- 11
- 7
- 6
- 8
- 5
- 5
- 5
- 6
- 13
- 9
- 8
- 9
- 9
- 6
- 15
- 6
- 5
- 5
- 10
- 39
- 17
- 8
- 5
- 8
- 5
- 6
- 5
- 15
- 7
- 12
- 14
- 5
- 11
- 9
- 7
- 23
- 6
- 14
- 7
- 5
- 10
- 8
- 5
- 8
- 8
- 5
- 5
- 34
- 21
- 41
- 13
- 8
- 14
- 18
- 6
- 9
- 45
- 12
- 37
- 9
- 14
- 5
- 5
- 12
- 6
- 5
- 15
- 10
- 39
- 5
- 5
- 11
- 12
- 7
- 6
- 8
- 12
- 13
- 5
- 7
- 15
- 5
- 6
- 15
- 6
- 5
- 8
- 5
- 5
- 6
- 5
- 26
- 21
- 15
- 28
- 9
- 11
- 5
- 7
- 9
- 5
- 6
- 12
- 9
- 23
- 6
- 7
- 7
- 5
- 6
- 8
- 10
- 5
- 7
- 7
- 22
- 10
- 6
- 13
- 11
- 6
- 5
- 48
- 42
- 7
- 41
- 12
- 9
- 15
- 7
- 10
- 29
- 14
- 6
- 5
- 5
- 18
- 5
- 9
- 6
- 10
- 26
- 17
- 42
- 77
- 6
- 7
- 14
- 7
- 7
- 5
- 7
- 12
- 5
- 16
- 7
- 9
- 7
- 6
- 6
- 6
- 8
- 6
- 6
- 7
- 5
- 5
- 7
- 21
- 17
- 6
- 7
- 7
- 15
- 7
- 5
- 10
- 21
- 67
- 33
- 8
- 19
- 8
- 16
- 22
- 105
- 11
- 16
- 5
- 5
- 6
- 18
- 12
- 5
- 7
- 7
- 5
- 6
- 9
- 17
- 6
- 5
- 6
- 11
- 5
- 5
- 40
- 9
- 8
- 5
- 7
- 9
- 17
- 7
- 5
- 8
- 25
- 39
- 7
- 18
- 5
- 8
- 10
- 5
- 7
- 5
- 6
- 15
- 5
- 6
- 10
- 15
- 7
- 5
- 5
- 7
- 8
- 5
- 95
- 6
- 8
- 5
- 5
- 8
- 6
- 6
- 6
- 15
- 8
- 14
- 5
- 7
- 15
- 17
- 6
- 14
- 5
- 5
- 5
- 6
- 10
- 6
- 16
- 11
- 10
- 10
- 5
- 12
- 6
- 13
- 8
- 7
- 8
- 5
- 13
- 6
- 7
- 7
- 7
- 14
- 7
- 10
- 5
- 15
- 8
- 7
- 9
- 6
- 41
- 10
- 6
- 8
- 5
- 21
- 6
- 18
- 42
- 10
- 15
- 13
- 30
- 6
- 9
- 7
- 12
- 5
- 17
- 6
- 9
- 9
- 18
- 38
- 5
- 7
- 17
- 5
- 17
- 7
- 17
- 5
- 6
- 26
- 5
- 77
- 14
- 27
- 48
- 10
- 6
- 7
- 11
- 6
- 8
- 12
- 5
- 6
- 6
- 7
- 6
- 9
- 7
- 17
- 91
- 13
- 6
- 43
- 9
- 6
- 5
- 15
- 7
- 8
- 5
- 5
- 14
- 15
- 10
- 14
- 5
- 33
- 6
- 6
- 8
- 5
- 7
- 15
- 17
- 19
- 6
- 5
- 28
- 6
- 6
- 79
- 11
- 6
- 12
- 6
- 5
- 11
- 20
- 5
- 10
- 7
- 9
- 6
- 6
- 30
- 6
- 5
- 9
- 22
- 6
- 5
- 5
- 11
- 16
- 13
- 7
- 15
- 18
- 15
- 12
- 22
- 7
- 77
- 11
- 13
- 11
- 6
- 6
- 27
- 6
- 31
- 27
- 6
- 5
- 6
- 10
- 5
- 21
- 9
- 7
- 5
- 5
- 5
- 5
- 9
- 6
- 21
- 6
- 5
- 8
- 11
- 8
- 10
- 8
- 15
- 8
- 5
- 34
- 14
- 10
- 5
- 5
- 6
- 9
- 7
- 5
- 9
- 23
- 7
- 9
- 8
- 7
- 11
- 5
- 97
- 5
- 6
- 5
- 5
- 12
- 10
- 8
- 7
- 5
- 8
- 7
- 5
- 15
- 38
- 5
- 15
- 8
- 5
- 5
- 5
- 11
- 8
- 6
- 10
- 5
- 21
- 24
- 7
- 5
- 5
- 6
- 13
- 6
- 7
- 5
- 6
- 6
- 8
- 10
- 6
- 5
- 49
- 10
- 18
- 5
- 41
- 10
- 5
- 14
- 20
- 13
- 15
- 15
- 5
- 9
- 5
- 9
- 30
- 12
- 7
- 13
- 7
- 5
- 16
- 6
- 7
- 8
- 5
- 12
- 13
- 6
- 6
- 11
- 6
- 18
- 7
- 15
- 7
- 5
- 10
- 7
- 6
- 23
- 5
- 7
- 6
- 8
- 10
- 9
- 8
- 5
- 35
- 11
- 8
- 8
- 7
- 7
- 5
- 14
- 8
- 5
- 5
- 10
- 15
- 29
- 6
- 16
- 7
- 36
- 6
- 6
- 8
- 11
- 89
- 5
- 7
- 6
- 8
- 6
- 32
- 14
- 5
- 7
- 77
- 15
- 8
- 8
- 7
- 12
- 13
- 20
- 18
- 6
- 9
- 94
- 5
- 6
- 45
- 5
- 11
- 11
- 11
- 89
- 22
- 7
- 20
- 8
- 5
- 10
- 6
- 6
- 5
- 9
- 11
- 17
- 6
- 5
- 6
- 5
- 8
- 5
- 90
- 5
- 7
- 21
- 8
- 11
- 80
- 12
- 17
- 13
- 8
- 15
- 8
- 10
- 13
- 5
- 6
- 5
- 22
- 8
- 6
- 7
- 10
- 5
- 7
- 5
- 14
- 10
- 20
- 8
- 6
- 7
- 7
- 6
- 5
- 14
- 9
- 8
- 8
- 6
- 15
- 8
- 10
- 22
- 31
- 7
- 6
- 5
- 17
- 11
- 7
- 6
- 5
- 13
- 8
- 34
- 15
- 5
- 10
- 11
- 5
- 11
- 37
- 8
- 48
- 6
- 6
- 10
- 6
- 8
- 12
- 7
- 12
- 24
- 7
- 6
- 11
- 8
- 16
- 5
- 18
- 25
- 5
- 8
- 7
- 6
- 25
- 14
- 20
- 64
- 10
- 13
- 19
- 8
- 9
- 5
- 5
- 22
- 6
- 20
- 17
- 5
- 7
- 6
- 5
- 21
- 9
- 62
- 80
- 23
- 12
- 6
- 7
- 18
- 6
- 7
- 12
- 12
- 5
- 10
- 7
- 6
- 15
- 10
- 6
- 14
- 11
- 7
- 5
- 89
- 11
- 7
- 17
- 6
- 15
- 8
- 6
- 8
- 10
- 16
- 7
- 7
- 10
- 5
- 28
- 5
- 11
- 9
- 6
- 8
- 5
- 7
- 13
- 18
- 36
- 6
- 5
- 8
- 15
- 22
- 15
- 6
- 11
- 7
- 10
- 7
- 9
- 9
- 23
- 10
- 13
- 10
- 6
- 6
- 10
- 5
- 6
- 8
- 7
- 8
- 14
- 9
- 7
- 17
- 7
- 15
- 17
- 5
- 8
- 19
- 26
- 12
- 14
- 6
- 23
- 7
- 17
- 5
- 7
- 5
- 12
- 10
- 5
- 17
- 8
- 6
- 6
- 6
- 57
- 6
- 10
- 5
- 35
- 5
- 5
- 22
- 6
- 6
- 5
- 5
- 5
- 47
- 38
- 64
- 40
- 5
- 8
- 10
- 7
- 10
- 6
- 22
- 30
- 7
- 6
- 26
- 17
- 20
- 5
- 9
- 5
- 10
- 5
- 9
- 5
- 20
- Verlag
-
- 8
- 11153
- 3
- 9
- 2
- 18
- 35
- 5
- 1
- 13
- 32
- Preis
-
- 47
- 408
- 8530
- 2294
- Sprachen
-
- 11273
- 18
- 13
- Verfügbarkeit
-
- 11025
- 254
- Eigenschaften
-
- 2
- Katalog
-
- 11279
- 601
-
Blumenthal / Gornostaev / Unger Human-Computer Interaction
5th International Conference, EWHCI '95, Moscow, Russia, July 3-7, 1995. Selected PapersErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60614-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Christensen / Corke / Detry Computer Vision Systems
14th International Conference, ICVS 2023, Vienna, Austria, September 27-29, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-44136-3Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Carnevali / Doncel Computer Performance Engineering
21st European Workshop on Performance Engineering, EPEW 2025, Catania, Italy, June 26, 2025, Revised Selected PapersErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-16344-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Železný / Habernal / Ronzhin Speech and Computer
15th International Conference, SPECOM 2013, September 1-5, 2013, Pilsen, Czech Republic, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-01930-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kamareddine / Sacerdoti Coen Intelligent Computer Mathematics
14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-81096-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Doncel / Remke / Di Pompeo Computer Performance Engineering
20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-80931-6Medium: 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 IIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93844-3Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (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 IVErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-98684-0Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ball / Jones Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37406-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gorodetsky / Popyack / Skormin Computer Network Security
Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40797-3Medium: 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 III2024Verlag: SpringerISBN: 978-3-031-60427-0Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Shoham / Vizel Computer Aided Verification
34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I1. Auflage 2022Verlag: SpringerISBN: 978-3-031-13184-4Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dill Computer Aided Verification
6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58179-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Masoodian / Jones / Rogers Computer Human Interaction
6th Asia Pacific Conference, APCHI 2004, Rotorua, New Zealand, June 29-July 2, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22312-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Clarke / Kurshan Computer-Aided Verification
2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54477-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Halbwachs / Peled Computer Aided Verification
11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66202-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schiele / Sagerer Computer Vision Systems
Second International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42285-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,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 I1. Auflage 2023Verlag: SpringerISBN: 978-3-031-37705-1Medium: 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 IV1. Auflage 2023Verlag: SpringerISBN: 978-3-031-35571-4Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Shoham / Vizel Computer Aided Verification
34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II1. Auflage 2022Verlag: SpringerISBN: 978-3-031-13187-5Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Geuvers / England / Hasan Intelligent Computer Mathematics
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-62074-9Medium: 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 VIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93981-5Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (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 IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93837-5Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ronzhin / Potapova / Németh Speech and Computer
18th International Conference, SPECOM 2016, Budapest, Hungary, August 23-27, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-43957-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bochmann / Probst Computer Aided Verification
Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56496-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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