Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- 10476 EDV | Informatik
- 1111 Mathematik
- Medium
-
- 10512
- Erscheinungsjahr
-
- 138
- 806
- 833
- 624
- 490
- 278
- 293
- 296
- 292
- 311
- 304
- 316
- 282
- 309
- 313
- 265
- 272
- 274
- 231
- 261
- 274
- 221
- 366
- 306
- 259
- 251
- 177
- 176
- 117
- 133
- 135
- 117
- 108
- 96
- 73
- 84
- 57
- 59
- 44
- 46
- 33
- 26
- 19
- 13
- 17
- 27
- 20
- 12
- 7
- 12
- 10
- 12
- 13
- 4
- Autoren
-
- 6
- 5
- 5
- 4
- 4
- 6
- 4
- 5
- 5
- 5
- 6
- 9
- 5
- 10
- 8
- 6
- 7
- 4
- 4
- 4
- 4
- 5
- 4
- 11
- 4
- 11
- 8
- 4
- 5
- 6
- 16
- 6
- 4
- 21
- 5
- 8
- 4
- 6
- 4
- 4
- 6
- 5
- 9
- 9
- 6
- 4
- 4
- 8
- 5
- 14
- 5
- 25
- 36
- 6
- 39
- 7
- 7
- 4
- 6
- 7
- 15
- 16
- 5
- 4
- 11
- 4
- 5
- 4
- 4
- 7
- 4
- 39
- 6
- 6
- 4
- 4
- 4
- 5
- 4
- 4
- 6
- 4
- 6
- 4
- 4
- 4
- 9
- 4
- 5
- 6
- 14
- 5
- 4
- 7
- 6
- 6
- 6
- 6
- 6
- 8
- 4
- 6
- 7
- 6
- 7
- 7
- 7
- 4
- 12
- 5
- 4
- 5
- 5
- 4
- 17
- 7
- 6
- 7
- 4
- 14
- 4
- 10
- 5
- 5
- 4
- 4
- 7
- 4
- 4
- 4
- 7
- 6
- 16
- 4
- 10
- 5
- 5
- 8
- 4
- 6
- 40
- 4
- 4
- 4
- 4
- 6
- 14
- 11
- 6
- 7
- 8
- 11
- 11
- 4
- 4
- 4
- 5
- 4
- 9
- 6
- 4
- 8
- 4
- 4
- 11
- 4
- 5
- 4
- 6
- 5
- 8
- 14
- 5
- 4
- 11
- 7
- 4
- 16
- 4
- 11
- 16
- 5
- 5
- 5
- 4
- 4
- 5
- 7
- 4
- 39
- 10
- 9
- 4
- 4
- 4
- 4
- 8
- 5
- 5
- 8
- 9
- 4
- 4
- 16
- 5
- 9
- 10
- 5
- 10
- 7
- 6
- 4
- 14
- 4
- 7
- 4
- 24
- 4
- 13
- 4
- 10
- 4
- 4
- 9
- 8
- 4
- 5
- 11
- 4
- 8
- 34
- 12
- 41
- 10
- 8
- 18
- 14
- 4
- 5
- 7
- 4
- 4
- 20
- 8
- 38
- 4
- 9
- 14
- 10
- 4
- 7
- 12
- 4
- 4
- 9
- 13
- 8
- 7
- 39
- 4
- 5
- 5
- 10
- 8
- 10
- 4
- 5
- 4
- 5
- 4
- 4
- 11
- 10
- 5
- 4
- 4
- 7
- 6
- 4
- 4
- 14
- 10
- 5
- 13
- 5
- 7
- 4
- 6
- 4
- 4
- 4
- 15
- 21
- 8
- 5
- 8
- 4
- 6
- 4
- 6
- 14
- 5
- 24
- 6
- 7
- 4
- 6
- 4
- 7
- 4
- 6
- 5
- 4
- 4
- 4
- 6
- 4
- 4
- 4
- 8
- 4
- 15
- 10
- 6
- 8
- 10
- 5
- 42
- 38
- 6
- 23
- 5
- 4
- 17
- 8
- 23
- 11
- 5
- 5
- 7
- 19
- 6
- 4
- 4
- 4
- 5
- 5
- 4
- 5
- 4
- 27
- 4
- 15
- 46
- 4
- 10
- 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
- 4
- 9
- 6
- 5
- 4
- 5
- 9
- 4
- 4
- 15
- 55
- 30
- 4
- 4
- 24
- 9
- 18
- 21
- 90
- 5
- 11
- 6
- 6
- 14
- 4
- 4
- 7
- 19
- 12
- 5
- 5
- 5
- 5
- 9
- 13
- 7
- 5
- 8
- 7
- 5
- 4
- 4
- 6
- 4
- 11
- 40
- 5
- 7
- 7
- 4
- 5
- 4
- 16
- 8
- 4
- 7
- 19
- 39
- 6
- 4
- 9
- 17
- 10
- 6
- 7
- 6
- 5
- 4
- 4
- 8
- 5
- 8
- 15
- 6
- 6
- 4
- 6
- 8
- 5
- 67
- 4
- 5
- 6
- 10
- 5
- 6
- 15
- 6
- 11
- 5
- 8
- 19
- 7
- 10
- 5
- 6
- 5
- 11
- 17
- 11
- 7
- 13
- 5
- 7
- 13
- 6
- 6
- 7
- 5
- 13
- 6
- 5
- 9
- 9
- 11
- 7
- 8
- 7
- 6
- 6
- 29
- 8
- 6
- 5
- 8
- 26
- 6
- 16
- 36
- 6
- 6
- 8
- 9
- 15
- 6
- 29
- 6
- 9
- 5
- 5
- 10
- 5
- 5
- 14
- 6
- 5
- 5
- 16
- 20
- 33
- 5
- 16
- 9
- 8
- 19
- 5
- 9
- 5
- 5
- 25
- 5
- 14
- 30
- 36
- 9
- 9
- 6
- 17
- 6
- 5
- 12
- 5
- 8
- 7
- 6
- 6
- 7
- 8
- 5
- 13
- 90
- 5
- 12
- 18
- 6
- 14
- 6
- 5
- 8
- 11
- 12
- 5
- 5
- 11
- 13
- 18
- 20
- 5
- 22
- 8
- 5
- 62
- 5
- 19
- 9
- 5
- 12
- 21
- 5
- 9
- 5
- 6
- 7
- 5
- 5
- 8
- 5
- 14
- 5
- 5
- 5
- 23
- 6
- 13
- 12
- 13
- 15
- 15
- 12
- 8
- 18
- 11
- 10
- 9
- 9
- 25
- 7
- 32
- 29
- 6
- 6
- 8
- 7
- 16
- 8
- 6
- 8
- 5
- 6
- 8
- 6
- 11
- 21
- 6
- 5
- 7
- 8
- 8
- 13
- 8
- 5
- 33
- 8
- 11
- 5
- 5
- 7
- 5
- 5
- 5
- 16
- 5
- 9
- 9
- 5
- 9
- 82
- 10
- 5
- 7
- 6
- 13
- 5
- 6
- 5
- 9
- 12
- 36
- 13
- 5
- 16
- 6
- 5
- 5
- 10
- 6
- 6
- 5
- 5
- 8
- 5
- 8
- 8
- 6
- 8
- 6
- 7
- 5
- 6
- 7
- 43
- 5
- 5
- 5
- 18
- 7
- 6
- 18
- 14
- 5
- 13
- 14
- 13
- 15
- 8
- 16
- 6
- 5
- 10
- 23
- 11
- 9
- 5
- 12
- 5
- 6
- 21
- 11
- 12
- 11
- 6
- 9
- 7
- 7
- 16
- 5
- 15
- 13
- 8
- 24
- 7
- 7
- 6
- 11
- 6
- 5
- 10
- 13
- 10
- 7
- 5
- 6
- 16
- 6
- 6
- 12
- 24
- 12
- 6
- 7
- 19
- 5
- 11
- 91
- 5
- 6
- 8
- 5
- 22
- 7
- 9
- 5
- 18
- 9
- 8
- 8
- 12
- 7
- 19
- 8
- 90
- 6
- 49
- 11
- 11
- 5
- 89
- 21
- 14
- 13
- 5
- 12
- 9
- 13
- 8
- 8
- 6
- 5
- 8
- 8
- 89
- 5
- 7
- 15
- 20
- 8
- 10
- 11
- 17
- 11
- 12
- 6
- 5
- 11
- 5
- 10
- 22
- 8
- 6
- 5
- 5
- 9
- 13
- 5
- 24
- 5
- 6
- 6
- 6
- 5
- 5
- 14
- 7
- 8
- 8
- 11
- 12
- 41
- 5
- 6
- 6
- 6
- 18
- 9
- 11
- 8
- 10
- 11
- 6
- 5
- 7
- 11
- 5
- 38
- 7
- 34
- 12
- 7
- 8
- 5
- 6
- 10
- 8
- 22
- 6
- 8
- 8
- 15
- 14
- 23
- 8
- 26
- 7
- 14
- 24
- 57
- 10
- 11
- 19
- 8
- 9
- 6
- 10
- 19
- 21
- 14
- 6
- 6
- 9
- 56
- 24
- 12
- 8
- 12
- 12
- 6
- 12
- 9
- 12
- 5
- 10
- 7
- 6
- 15
- 11
- 7
- 10
- 10
- 5
- 89
- 10
- 7
- 15
- 5
- 5
- 5
- 6
- 14
- 8
- 8
- 36
- 5
- 11
- 7
- 7
- 12
- 5
- 13
- 16
- 10
- 21
- 6
- 5
- 17
- 20
- 5
- 10
- 7
- 6
- 6
- 8
- 6
- 9
- 8
- 27
- 6
- 14
- 10
- 5
- 9
- 6
- 6
- 5
- 8
- 11
- 8
- 9
- 18
- 5
- 9
- 5
- 11
- 5
- 6
- 24
- 7
- 14
- 5
- 5
- 23
- 11
- 5
- 5
- 5
- 5
- 9
- 18
- 6
- 6
- 6
- 46
- 10
- 6
- 5
- 5
- 22
- 6
- 43
- 14
- 62
- 18
- 5
- 6
- 5
- 6
- 32
- 7
- 9
- 5
- 18
- 21
- 19
- 9
- 9
- 12
- 10
- 6
- 6
- 21
- Verlag
-
- 1
- 10456
- 3
- 5
- 1
- 3
- 1
- 42
- Preis
-
- 47
- 381
- 8053
- 2031
- Sprachen
-
- 10506
- 18
- 13
- Verfügbarkeit
-
- 10498
- 14
- Katalog
-
- 10512
- 542
-
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 -
Piskac / Rakamaric / 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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
de Paiva / Koepke Intelligent Computer Mathematics
18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-07020-3Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (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 -
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 -
Damm / Hermanns Computer Aided Verification
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73367-6Medium: 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 -
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 -
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 -
Karpov / Delic / Delic Speech and Computer
26th International Conference, SPECOM 2024, Belgrade, Serbia, November 25-28, 2024, Proceedings, Part IIErscheinungsjahr 2024Verlag: SpringerISBN: 978-3-031-78013-4Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (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 -
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 -
Garcia-Alfaro / Kozik / Choras Computer Security - ESORICS 2024
29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024, Proceedings, Part III2024Verlag: SpringerISBN: 978-3-031-70895-4Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bertino / Shulman / Waidner Computer Security - ESORICS 2021
26th European Symposium on Research in Computer Security, Darmstadt, Germany, October 4-8, 2021, Proceedings, Part I1. Auflage 2021Verlag: SpringerISBN: 978-3-030-88417-8Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nicomette / Benzekri / Boulahia-Cuppens Computer Security - ESORICS 2025
30th European Symposium on Research in Computer Security, Toulouse, France, September 22-24, 2025, Proceedings, Part IIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-07893-3Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nah / Tan HCI in Business, Government and Organizations. Supporting Business
4th International Conference, HCIBGO 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II1. Auflage 2017Verlag: SpringerISBN: 978-3-319-58483-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