Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- 2023 Angewandte Informatik
- 472 Betriebssysteme
- 278 Business Application
- 1602 Computerkommunikation & -vernetzung
- 2731 Daten / Datenbanken
- 155 Digital Lifestyle
- 1003 EDV & Informatik Allgemein
- 8298 Informatik
- 521 Professionelle Anwendung
- 4301 Programmierung | Softwareentwicklung
- 3939 Technische Informatik
- Medium
-
- 11127
- Erscheinungsjahr
-
- 6
- 747
- 797
- 839
- 618
- 476
- 279
- 316
- 316
- 312
- 279
- 318
- 305
- 302
- 296
- 294
- 284
- 286
- 255
- 211
- 261
- 270
- 229
- 358
- 307
- 255
- 254
- 177
- 177
- 134
- 137
- 133
- 117
- 106
- 93
- 73
- 88
- 59
- 57
- 45
- 46
- 31
- 26
- 17
- 12
- 16
- 25
- 19
- 12
- 7
- 12
- 10
- 12
- 12
- 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
- 5
- 8
- 17
- 6
- 13
- 4
- 8
- 5
- 4
- 4
- 4
- 4
- 5
- 9
- 9
- 6
- 4
- 5
- 5
- 4
- 6
- 6
- 14
- 4
- 33
- 36
- 7
- 41
- 5
- 5
- 4
- 4
- 5
- 5
- 6
- 8
- 5
- 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
- 10
- 4
- 7
- 17
- 9
- 8
- 4
- 4
- 4
- 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
- 9
- 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
- 10
- 4
- 7
- 34
- 4
- 17
- 41
- 13
- 8
- 17
- 19
- 4
- 11
- 4
- 45
- 4
- 9
- 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
- 8
- 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
- 4
- 4
- 18
- 4
- 4
- 8
- 4
- 6
- 5
- 10
- 26
- 12
- 43
- 78
- 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
- 22
- 67
- 34
- 8
- 22
- 17
- 23
- 106
- 5
- 11
- 6
- 8
- 15
- 11
- 6
- 7
- 19
- 15
- 5
- 11
- 8
- 6
- 16
- 7
- 5
- 6
- 5
- 13
- 43
- 6
- 10
- 8
- 6
- 9
- 16
- 6
- 7
- 8
- 23
- 39
- 17
- 8
- 10
- 5
- 15
- 5
- 14
- 15
- 6
- 5
- 7
- 94
- 5
- 8
- 5
- 8
- 6
- 5
- 7
- 15
- 5
- 12
- 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
- 18
- 40
- 6
- 5
- 10
- 15
- 9
- 33
- 6
- 7
- 6
- 9
- 5
- 18
- 6
- 7
- 11
- 6
- 17
- 37
- 22
- 8
- 10
- 6
- 17
- 25
- 5
- 78
- 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
- 11
- 16
- 78
- 11
- 9
- 8
- 28
- 34
- 31
- 5
- 5
- 10
- 8
- 11
- 5
- 18
- 6
- 6
- 7
- 9
- 13
- 5
- 10
- 20
- 9
- 9
- 8
- 10
- 9
- 7
- 15
- 7
- 5
- 35
- 12
- 9
- 5
- 8
- 7
- 6
- 20
- 7
- 9
- 13
- 7
- 8
- 11
- 96
- 5
- 7
- 7
- 5
- 9
- 11
- 5
- 7
- 5
- 7
- 7
- 10
- 36
- 7
- 5
- 16
- 9
- 5
- 9
- 6
- 5
- 14
- 5
- 21
- 25
- 5
- 9
- 5
- 6
- 8
- 6
- 8
- 13
- 6
- 7
- 5
- 9
- 7
- 7
- 5
- 8
- 48
- 8
- 23
- 5
- 6
- 41
- 14
- 10
- 9
- 13
- 18
- 13
- 16
- 15
- 6
- 11
- 5
- 9
- 28
- 12
- 12
- 7
- 6
- 5
- 20
- 5
- 10
- 6
- 15
- 11
- 6
- 5
- 6
- 13
- 7
- 11
- 6
- 5
- 12
- 5
- 8
- 24
- 7
- 6
- 38
- 9
- 8
- 9
- 6
- 5
- 17
- 8
- 8
- 7
- 30
- 6
- 14
- 6
- 7
- 36
- 8
- 7
- 6
- 9
- 10
- 5
- 90
- 7
- 6
- 5
- 9
- 5
- 6
- 33
- 15
- 8
- 78
- 20
- 12
- 8
- 13
- 13
- 19
- 18
- 9
- 9
- 93
- 6
- 47
- 5
- 11
- 11
- 8
- 6
- 89
- 17
- 20
- 12
- 8
- 9
- 16
- 12
- 6
- 9
- 5
- 5
- 8
- 90
- 5
- 5
- 6
- 17
- 8
- 7
- 81
- 12
- 16
- 15
- 11
- 9
- 8
- 10
- 13
- 5
- 7
- 7
- 22
- 18
- 8
- 5
- 6
- 14
- 7
- 28
- 5
- 7
- 8
- 5
- 6
- 5
- 5
- 14
- 8
- 6
- 9
- 7
- 16
- 6
- 12
- 23
- 31
- 6
- 6
- 6
- 19
- 9
- 6
- 13
- 12
- 31
- 11
- 5
- 13
- 10
- 42
- 8
- 50
- 11
- 9
- 6
- 11
- 12
- 5
- 22
- 18
- 6
- 17
- 18
- 19
- 5
- 5
- 24
- 14
- 28
- 63
- 10
- 16
- 19
- 8
- 9
- 7
- 24
- 6
- 19
- 15
- 7
- 6
- 6
- 17
- 10
- 59
- 6
- 81
- 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
- 7
- 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
- 8
- 6
- 6
- 5
- 6
- 14
- 13
- 9
- 5
- 5
- 5
- 18
- 5
- 10
- 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
- 65
- 41
- 16
- 6
- 11
- 6
- 18
- 32
- 7
- 26
- 21
- 21
- 9
- 6
- 5
- 10
- 7
- 7
- 6
- 20
- Verlag
-
- 9
- 10956
- 3
- 5
- 1
- 100
- 4
- 1
- 12
- 36
- Preis
-
- 42
- 403
- 8440
- 2242
- Sprachen
-
- 11122
- 16
- 13
- Verfügbarkeit
-
- 10864
- 263
- Eigenschaften
-
- 2
- Katalog
-
- 11127
- 588
-
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 -
Kaliszyk / Brady / Kohlhase Intelligent Computer Mathematics
12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-23249-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 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 -
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 -
Sharygina / Veith Computer Aided Verification
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39798-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Silva / Leino Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I1. Auflage 2021Verlag: SpringerISBN: 978-3-030-81684-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vincze / Patten / Christensen Computer Vision Systems
13th International Conference, ICVS 2021, Virtual Event, September 22-24, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-87155-0Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (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 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 -
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 -
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 -
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 -
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 -
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 -
Kroening / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I1. Auflage 2015Verlag: SpringerISBN: 978-3-319-21689-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Ž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 -
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 -
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 -
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 -
Kohlhase / Johansson / Miller Intelligent Computer Mathematics
9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-42546-7Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage44,94 € (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 -
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 -
Karpov / Gerazov Speech and Computer
28th International Conference, SPECOM 2026, Ohrid, North Macedonia, September 17-18, 2026, Proceedings, Part IIErscheinungsjahr 2026Verlag: Springer Nature Switzerland AGISBN: 978-3-032-37869-9Medium: Buch104,85 € (inkl. MwSt.)
vorbestellbar104,85 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. Oktober 2026 -
Gribaudo / Iacono / Phung-Duc Computer Performance Engineering
16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-44410-5Medium: 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