Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- 1754 Angewandte Informatik
- 449 Betriebssysteme
- 266 Business Application
- 1550 Computerkommunikation & -vernetzung
- 2669 Daten / Datenbanken
- 152 Digital Lifestyle
- 940 EDV & Informatik Allgemein
- 7659 Informatik
- 528 Professionelle Anwendung
- 4119 Programmierung | Softwareentwicklung
- 3597 Technische Informatik
- Medium
-
- 10452
- Erscheinungsjahr
-
- 128
- 799
- 851
- 618
- 475
- 282
- 306
- 292
- 334
- 302
- 302
- 293
- 286
- 287
- 289
- 294
- 272
- 256
- 235
- 259
- 275
- 212
- 353
- 296
- 260
- 253
- 185
- 171
- 126
- 140
- 135
- 115
- 106
- 94
- 70
- 82
- 60
- 56
- 43
- 46
- 31
- 25
- 17
- 12
- 16
- 25
- 19
- 12
- 7
- 12
- 10
- 12
- 12
- 4
- Autoren
-
- 5
- 4
- 6
- 5
- 4
- 6
- 6
- 4
- 4
- 4
- 5
- 8
- 5
- 11
- 4
- 8
- 7
- 7
- 4
- 4
- 5
- 4
- 4
- 8
- 10
- 8
- 4
- 4
- 16
- 5
- 5
- 18
- 4
- 8
- 6
- 4
- 6
- 5
- 9
- 9
- 4
- 5
- 5
- 6
- 4
- 7
- 5
- 14
- 4
- 4
- 26
- 36
- 9
- 37
- 5
- 7
- 4
- 4
- 4
- 5
- 5
- 13
- 4
- 16
- 11
- 4
- 5
- 5
- 38
- 8
- 5
- 4
- 4
- 5
- 4
- 5
- 8
- 7
- 4
- 4
- 4
- 4
- 4
- 9
- 4
- 4
- 13
- 5
- 4
- 7
- 4
- 4
- 4
- 7
- 6
- 6
- 6
- 5
- 6
- 7
- 4
- 6
- 8
- 7
- 9
- 5
- 11
- 5
- 4
- 4
- 6
- 4
- 19
- 7
- 4
- 13
- 4
- 6
- 8
- 4
- 5
- 5
- 5
- 5
- 8
- 5
- 4
- 8
- 5
- 17
- 4
- 4
- 4
- 8
- 4
- 5
- 11
- 4
- 6
- 40
- 4
- 4
- 4
- 7
- 6
- 12
- 15
- 6
- 7
- 7
- 5
- 7
- 10
- 4
- 5
- 4
- 4
- 5
- 7
- 5
- 9
- 4
- 4
- 8
- 4
- 4
- 4
- 11
- 4
- 6
- 5
- 8
- 9
- 6
- 4
- 11
- 8
- 4
- 15
- 10
- 16
- 7
- 4
- 5
- 4
- 5
- 6
- 8
- 4
- 4
- 38
- 8
- 7
- 5
- 4
- 4
- 10
- 5
- 5
- 9
- 7
- 5
- 16
- 8
- 8
- 4
- 5
- 14
- 5
- 6
- 6
- 10
- 4
- 6
- 4
- 7
- 4
- 5
- 24
- 4
- 15
- 4
- 4
- 7
- 4
- 4
- 4
- 4
- 11
- 5
- 6
- 5
- 8
- 5
- 7
- 7
- 4
- 5
- 4
- 5
- 34
- 11
- 41
- 10
- 8
- 12
- 15
- 4
- 13
- 22
- 11
- 35
- 4
- 8
- 14
- 7
- 5
- 5
- 12
- 4
- 4
- 5
- 14
- 9
- 4
- 38
- 5
- 5
- 10
- 8
- 6
- 4
- 6
- 4
- 10
- 8
- 6
- 4
- 5
- 4
- 8
- 4
- 13
- 10
- 6
- 14
- 4
- 4
- 4
- 4
- 5
- 6
- 15
- 20
- 4
- 6
- 4
- 9
- 5
- 7
- 4
- 5
- 8
- 9
- 11
- 4
- 24
- 6
- 6
- 4
- 5
- 7
- 4
- 4
- 7
- 5
- 7
- 5
- 5
- 4
- 4
- 6
- 4
- 4
- 7
- 5
- 15
- 10
- 4
- 11
- 8
- 4
- 4
- 5
- 45
- 39
- 7
- 23
- 8
- 9
- 10
- 4
- 4
- 4
- 24
- 11
- 4
- 4
- 4
- 9
- 15
- 6
- 4
- 9
- 6
- 4
- 5
- 4
- 4
- 27
- 4
- 4
- 14
- 45
- 8
- 7
- 4
- 4
- 4
- 15
- 7
- 6
- 5
- 10
- 13
- 14
- 6
- 4
- 6
- 4
- 4
- 6
- 8
- 4
- 5
- 5
- 4
- 4
- 4
- 5
- 4
- 15
- 6
- 4
- 4
- 8
- 7
- 14
- 7
- 10
- 5
- 13
- 5
- 17
- 54
- 31
- 6
- 21
- 9
- 17
- 23
- 88
- 11
- 5
- 18
- 8
- 6
- 21
- 16
- 11
- 7
- 5
- 6
- 18
- 12
- 6
- 6
- 5
- 12
- 5
- 35
- 10
- 6
- 5
- 5
- 15
- 7
- 7
- 5
- 19
- 38
- 9
- 17
- 13
- 5
- 6
- 5
- 5
- 5
- 6
- 12
- 15
- 8
- 6
- 9
- 66
- 7
- 5
- 7
- 6
- 9
- 6
- 7
- 15
- 5
- 12
- 7
- 10
- 21
- 15
- 5
- 6
- 6
- 17
- 10
- 8
- 6
- 13
- 5
- 5
- 10
- 5
- 13
- 6
- 10
- 5
- 13
- 6
- 5
- 10
- 7
- 8
- 5
- 11
- 6
- 8
- 7
- 6
- 5
- 29
- 6
- 7
- 5
- 8
- 5
- 21
- 14
- 28
- 9
- 15
- 7
- 5
- 28
- 6
- 6
- 16
- 6
- 15
- 7
- 16
- 26
- 17
- 12
- 5
- 14
- 5
- 12
- 5
- 27
- 14
- 25
- 40
- 7
- 5
- 6
- 5
- 16
- 12
- 8
- 6
- 7
- 7
- 6
- 6
- 12
- 88
- 12
- 5
- 16
- 12
- 6
- 6
- 11
- 13
- 6
- 6
- 6
- 8
- 14
- 10
- 6
- 18
- 20
- 5
- 24
- 7
- 5
- 57
- 7
- 14
- 7
- 5
- 11
- 21
- 5
- 8
- 7
- 10
- 6
- 5
- 5
- 5
- 12
- 6
- 5
- 6
- 23
- 6
- 11
- 13
- 13
- 14
- 13
- 5
- 17
- 10
- 16
- 7
- 5
- 5
- 11
- 10
- 8
- 7
- 27
- 6
- 34
- 24
- 5
- 6
- 11
- 7
- 7
- 10
- 17
- 7
- 9
- 6
- 5
- 8
- 8
- 6
- 20
- 8
- 7
- 5
- 5
- 8
- 7
- 8
- 32
- 11
- 9
- 6
- 6
- 5
- 6
- 5
- 10
- 20
- 9
- 10
- 7
- 6
- 7
- 6
- 5
- 80
- 10
- 6
- 5
- 5
- 6
- 8
- 9
- 6
- 7
- 6
- 9
- 40
- 9
- 5
- 11
- 6
- 5
- 5
- 5
- 12
- 8
- 7
- 5
- 8
- 5
- 5
- 5
- 8
- 8
- 6
- 9
- 5
- 5
- 8
- 5
- 8
- 43
- 5
- 6
- 7
- 17
- 7
- 18
- 11
- 13
- 9
- 15
- 15
- 15
- 5
- 5
- 25
- 13
- 5
- 8
- 6
- 22
- 14
- 8
- 15
- 7
- 8
- 5
- 10
- 7
- 19
- 5
- 11
- 7
- 9
- 8
- 24
- 9
- 6
- 6
- 14
- 10
- 10
- 6
- 13
- 10
- 5
- 13
- 25
- 13
- 5
- 7
- 7
- 20
- 5
- 8
- 89
- 5
- 6
- 9
- 25
- 5
- 8
- 10
- 6
- 8
- 5
- 9
- 6
- 20
- 91
- 5
- 6
- 43
- 11
- 10
- 10
- 89
- 17
- 6
- 14
- 9
- 10
- 9
- 13
- 14
- 8
- 5
- 8
- 5
- 5
- 8
- 8
- 89
- 5
- 6
- 11
- 17
- 5
- 10
- 12
- 5
- 12
- 15
- 12
- 12
- 7
- 5
- 10
- 5
- 10
- 9
- 22
- 11
- 8
- 5
- 5
- 7
- 8
- 7
- 6
- 11
- 6
- 7
- 20
- 7
- 8
- 5
- 7
- 5
- 14
- 11
- 6
- 15
- 6
- 12
- 43
- 6
- 10
- 5
- 8
- 17
- 6
- 5
- 10
- 6
- 12
- 13
- 6
- 6
- 5
- 10
- 5
- 34
- 10
- 38
- 10
- 7
- 11
- 11
- 10
- 10
- 23
- 7
- 8
- 17
- 19
- 19
- 11
- 21
- 9
- 12
- 20
- 54
- 10
- 7
- 22
- 8
- 9
- 5
- 6
- 6
- 7
- 20
- 20
- 11
- 5
- 5
- 7
- 43
- 24
- 12
- 8
- 8
- 8
- 16
- 6
- 7
- 12
- 16
- 18
- 10
- 7
- 5
- 15
- 5
- 7
- 8
- 11
- 5
- 89
- 10
- 8
- 8
- 7
- 16
- 5
- 5
- 8
- 16
- 7
- 7
- 29
- 5
- 11
- 5
- 13
- 5
- 8
- 13
- 16
- 8
- 23
- 6
- 8
- 16
- 5
- 18
- 11
- 11
- 10
- 10
- 9
- 6
- 5
- 7
- 5
- 19
- 5
- 14
- 10
- 7
- 6
- 7
- 5
- 6
- 9
- 10
- 9
- 5
- 5
- 18
- 7
- 10
- 5
- 12
- 5
- 8
- 7
- 26
- 9
- 14
- 6
- 6
- 6
- 17
- 8
- 5
- 6
- 6
- 6
- 5
- 18
- 8
- 6
- 45
- 9
- 6
- 5
- 22
- 6
- 6
- 5
- 42
- 7
- 13
- 66
- 5
- 17
- 6
- 10
- 5
- 6
- 5
- 33
- 7
- 6
- 23
- 20
- 20
- 8
- 6
- 6
- 6
- 11
- 7
- 19
- Verlag
-
- 2
- 10397
- 3
- 4
- 2
- 1
- 3
- 1
- 39
- Preis
-
- 42
- 359
- 8066
- 1985
- Sprachen
-
- 10447
- 16
- 13
- 1
- Verfügbarkeit
-
- 10439
- 13
- Katalog
-
- 10452
- 574
-
Gurfinkel / Ganesh Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I2024Verlag: SpringerISBN: 978-3-031-65626-2Medium: 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 I2024Verlag: SpringerISBN: 978-3-031-60404-1Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (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 VIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93964-8Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Horváth / Wolter Computer Performance Engineering
11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10884-1Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (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 I1. Auflage 2016Verlag: SpringerISBN: 978-3-319-41527-7Medium: 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 IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-07955-8Medium: Buch113,41 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage113,41 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lahiri / Wang Computer Aided Verification
32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-53287-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dillig / Tasiran Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I1. Auflage 2019Verlag: SpringerISBN: 978-3-030-25539-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gilly / Thomas Computer Performance Engineering
18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-25048-4Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Parthasarathy / Seshia Computer Aided Verification
24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31423-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Salah / Karpov / Potapova Speech and Computer
21st International Conference, SPECOM 2019, Istanbul, Turkey, August 20-25, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-26060-6Medium: 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 III1. Auflage 2023Verlag: SpringerISBN: 978-3-031-37708-2Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nalpantidis / Krüger / Eklundh Computer Vision Systems
10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-319-20903-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gorodetsky / Kotenko / Skormin Computer Network Security
Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 24-28, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29113-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 III2024Verlag: SpringerISBN: 978-3-031-65632-3Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brinksma / Larsen Computer Aided Verification
14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43997-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Norrie / Six Computer Assisted Learning
3rd International Conference, ICCAL '90, Hagen, FRG, June 11-13, 1990, Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-3-540-52699-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Grechenig / Tscheligi Human Computer Interaction
Vienna Conference, VCHCI '93, Fin de Siecle, Vienna, Austria, September 20-22, 1993. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57312-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rak / Bay / Kotenko Computer Network Security
7th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2017, Warsaw, Poland, August 28-30, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-65126-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alur / Henzinger Computer Aided Verification
8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61474-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Karpov / Delic / Delic Speech and Computer
26th International Conference, SPECOM 2024, Belgrade, Serbia, November 25-28, 2024, Proceedings, Part IErscheinungsjahr 2024Verlag: SpringerISBN: 978-3-031-77960-2Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Asarin / Gollmann / Meier Computer Security - ESORICS 2006
11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-44601-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Atluri / Diaz Computer Security - ESORICS 2011
16th European Symposium on Research in Computer Security, Leuven, Belgium, September 12-14, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-23821-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 -
Gollmann / Karjoth / Waidner Computer Security -- ESORICS 2002
7th European Symposium on Research in Computer Security Zurich, Switzerland, October 14-16, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44345-2Medium: 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