Ergebnisse filtern
- Fachgebiet
- Medium
-
- 10608
- 2728
- Erscheinungsjahr
-
- 154
- 1018
- 1064
- 797
- 663
- 402
- 416
- 435
- 427
- 405
- 454
- 433
- 424
- 439
- 420
- 430
- 402
- 265
- 232
- 280
- 277
- 223
- 470
- 579
- 255
- 255
- 181
- 177
- 146
- 144
- 136
- 120
- 107
- 100
- 75
- 83
- 61
- 59
- 45
- 49
- 33
- 26
- 19
- 16
- 18
- 29
- 18
- 12
- 8
- 13
- 9
- 15
- 13
- 5
- Autoren
-
- 5
- 7
- 5
- 8
- 9
- 6
- 10
- 13
- 11
- 8
- 12
- 8
- 5
- 9
- 13
- 7
- 6
- 17
- 7
- 22
- 5
- 11
- 7
- 6
- 6
- 9
- 11
- 5
- 6
- 6
- 13
- 42
- 47
- 5
- 56
- 8
- 8
- 5
- 5
- 9
- 17
- 19
- 5
- 10
- 5
- 50
- 11
- 6
- 7
- 8
- 5
- 7
- 6
- 14
- 9
- 6
- 9
- 7
- 6
- 7
- 6
- 7
- 13
- 6
- 19
- 21
- 12
- 8
- 12
- 7
- 32
- 13
- 10
- 6
- 7
- 53
- 15
- 26
- 19
- 6
- 9
- 6
- 7
- 13
- 7
- 12
- 7
- 8
- 13
- 14
- 6
- 18
- 10
- 18
- 10
- 6
- 6
- 6
- 6
- 50
- 24
- 8
- 9
- 11
- 10
- 19
- 9
- 15
- 6
- 18
- 6
- 7
- 16
- 8
- 9
- 29
- 18
- 9
- 10
- 10
- 12
- 8
- 7
- 16
- 8
- 44
- 15
- 53
- 15
- 10
- 24
- 7
- 18
- 14
- 10
- 7
- 27
- 10
- 48
- 12
- 17
- 12
- 7
- 6
- 6
- 17
- 6
- 6
- 16
- 9
- 7
- 50
- 7
- 6
- 11
- 14
- 15
- 6
- 7
- 7
- 10
- 15
- 12
- 9
- 8
- 7
- 6
- 21
- 9
- 12
- 14
- 6
- 8
- 12
- 7
- 8
- 9
- 21
- 26
- 8
- 10
- 12
- 7
- 12
- 7
- 11
- 18
- 29
- 8
- 10
- 7
- 9
- 9
- 14
- 12
- 10
- 8
- 7
- 7
- 10
- 17
- 12
- 10
- 14
- 7
- 50
- 59
- 9
- 31
- 8
- 12
- 6
- 14
- 33
- 12
- 8
- 7
- 8
- 11
- 22
- 8
- 8
- 8
- 6
- 12
- 7
- 6
- 33
- 15
- 57
- 8
- 8
- 6
- 6
- 20
- 7
- 11
- 10
- 8
- 17
- 14
- 8
- 8
- 12
- 9
- 6
- 6
- 7
- 6
- 8
- 18
- 24
- 12
- 8
- 11
- 8
- 6
- 17
- 8
- 11
- 9
- 11
- 21
- 7
- 21
- 7
- 70
- 7
- 35
- 7
- 6
- 28
- 7
- 18
- 32
- 120
- 10
- 15
- 10
- 9
- 10
- 21
- 10
- 21
- 15
- 6
- 8
- 6
- 12
- 14
- 7
- 9
- 18
- 6
- 14
- 6
- 7
- 7
- 16
- 7
- 52
- 8
- 7
- 11
- 6
- 8
- 8
- 8
- 8
- 7
- 11
- 21
- 13
- 10
- 8
- 25
- 50
- 9
- 9
- 11
- 20
- 10
- 12
- 6
- 6
- 7
- 8
- 8
- 8
- 24
- 17
- 7
- 6
- 10
- 15
- 6
- 90
- 10
- 8
- 6
- 15
- 7
- 6
- 8
- 17
- 6
- 15
- 7
- 7
- 10
- 33
- 8
- 19
- 6
- 11
- 6
- 8
- 13
- 7
- 19
- 7
- 24
- 10
- 13
- 13
- 6
- 6
- 10
- 15
- 10
- 10
- 7
- 6
- 18
- 6
- 6
- 6
- 11
- 9
- 10
- 9
- 11
- 11
- 16
- 7
- 11
- 9
- 11
- 36
- 6
- 7
- 6
- 8
- 6
- 8
- 25
- 9
- 6
- 21
- 45
- 6
- 15
- 17
- 7
- 11
- 44
- 6
- 6
- 13
- 7
- 8
- 8
- 6
- 7
- 22
- 8
- 18
- 11
- 20
- 40
- 6
- 18
- 10
- 28
- 9
- 10
- 17
- 6
- 39
- 8
- 19
- 40
- 55
- 7
- 6
- 10
- 6
- 17
- 8
- 17
- 7
- 6
- 12
- 9
- 8
- 8
- 16
- 11
- 7
- 6
- 17
- 6
- 89
- 21
- 21
- 17
- 6
- 6
- 6
- 22
- 7
- 6
- 7
- 11
- 19
- 9
- 9
- 8
- 15
- 18
- 6
- 14
- 15
- 10
- 8
- 11
- 19
- 16
- 6
- 24
- 22
- 12
- 6
- 28
- 7
- 14
- 79
- 15
- 8
- 24
- 6
- 17
- 24
- 7
- 10
- 7
- 15
- 6
- 7
- 8
- 9
- 16
- 10
- 7
- 11
- 33
- 11
- 7
- 8
- 16
- 14
- 6
- 15
- 6
- 21
- 16
- 15
- 14
- 20
- 6
- 11
- 16
- 12
- 12
- 35
- 8
- 10
- 42
- 34
- 9
- 6
- 6
- 7
- 6
- 7
- 8
- 10
- 8
- 31
- 9
- 9
- 12
- 7
- 13
- 8
- 13
- 13
- 8
- 20
- 9
- 8
- 7
- 10
- 6
- 7
- 10
- 7
- 8
- 16
- 12
- 7
- 8
- 45
- 10
- 8
- 12
- 6
- 6
- 10
- 6
- 10
- 6
- 9
- 27
- 8
- 7
- 6
- 11
- 7
- 8
- 11
- 10
- 12
- 110
- 9
- 7
- 7
- 9
- 13
- 6
- 15
- 13
- 6
- 8
- 12
- 70
- 18
- 20
- 9
- 7
- 10
- 6
- 6
- 11
- 8
- 6
- 7
- 10
- 12
- 6
- 9
- 6
- 11
- 9
- 9
- 7
- 7
- 8
- 14
- 7
- 11
- 9
- 6
- 8
- 56
- 7
- 10
- 17
- 9
- 9
- 6
- 10
- 23
- 17
- 7
- 8
- 12
- 6
- 13
- 8
- 19
- 21
- 17
- 18
- 11
- 7
- 16
- 10
- 35
- 7
- 16
- 8
- 6
- 17
- 7
- 6
- 8
- 8
- 6
- 6
- 23
- 19
- 7
- 18
- 8
- 12
- 7
- 10
- 11
- 6
- 11
- 16
- 7
- 17
- 6
- 7
- 16
- 9
- 29
- 6
- 9
- 6
- 14
- 12
- 16
- 17
- 11
- 6
- 10
- 7
- 6
- 11
- 17
- 6
- 10
- 8
- 9
- 6
- 8
- 11
- 23
- 32
- 19
- 8
- 8
- 10
- 22
- 8
- 12
- 16
- 10
- 111
- 8
- 7
- 8
- 8
- 34
- 10
- 6
- 9
- 26
- 12
- 9
- 8
- 13
- 13
- 28
- 6
- 114
- 6
- 61
- 13
- 10
- 6
- 108
- 25
- 7
- 19
- 15
- 6
- 16
- 6
- 11
- 11
- 19
- 20
- 9
- 7
- 6
- 7
- 8
- 6
- 14
- 109
- 8
- 6
- 8
- 12
- 23
- 10
- 17
- 11
- 15
- 18
- 14
- 10
- 9
- 6
- 7
- 6
- 14
- 8
- 10
- 29
- 17
- 9
- 6
- 7
- 8
- 10
- 7
- 6
- 6
- 18
- 10
- 32
- 10
- 8
- 9
- 11
- 6
- 10
- 17
- 9
- 9
- 9
- 8
- 6
- 16
- 8
- 16
- 55
- 13
- 8
- 8
- 13
- 23
- 7
- 14
- 6
- 16
- 13
- 6
- 8
- 6
- 6
- 14
- 16
- 7
- 48
- 9
- 62
- 6
- 17
- 6
- 15
- 10
- 15
- 14
- 6
- 8
- 7
- 23
- 6
- 7
- 22
- 7
- 16
- 18
- 30
- 10
- 7
- 7
- 21
- 20
- 17
- 18
- 30
- 6
- 76
- 12
- 15
- 24
- 11
- 6
- 11
- 10
- 11
- 21
- 22
- 20
- 6
- 6
- 9
- 74
- 29
- 16
- 6
- 14
- 12
- 11
- 23
- 9
- 7
- 17
- 7
- 6
- 12
- 15
- 7
- 12
- 8
- 17
- 17
- 10
- 13
- 15
- 6
- 108
- 6
- 11
- 25
- 6
- 17
- 7
- 6
- 11
- 6
- 9
- 16
- 14
- 8
- 6
- 42
- 11
- 9
- 12
- 8
- 13
- 10
- 15
- 20
- 7
- 13
- 24
- 12
- 7
- 8
- 7
- 19
- 8
- 23
- 17
- 10
- 8
- 8
- 6
- 12
- 8
- 8
- 12
- 25
- 8
- 13
- 6
- 12
- 7
- 7
- 11
- 9
- 6
- 14
- 7
- 11
- 7
- 15
- 12
- 24
- 7
- 10
- 28
- 6
- 6
- 10
- 34
- 12
- 6
- 6
- 19
- 7
- 26
- 15
- 12
- 10
- 24
- 7
- 7
- 8
- 59
- 7
- 7
- 37
- 10
- 7
- 61
- 18
- 7
- 79
- 18
- 10
- 12
- 6
- 6
- 7
- 8
- 40
- 6
- 27
- 19
- 24
- 8
- 14
- 12
- 19
- 21
- 7
- 6
- 8
- 7
- 23
- Verlag
-
- 2
- 11559
- 40
- 1563
- 2
- 25
- 105
- 1
- 1
- 38
- Preis
-
- 47
- 470
- 10568
- 2251
- Sprachen
-
- 13328
- 20
- 15
- Verfügbarkeit
-
- 13305
- 31
- Eigenschaften
-
- 9
- Katalog
-
- 13336
- 568
-
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 -
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 IErscheinungsjahr 2024Verlag: SpringerISBN: 978-3-031-77960-2Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Watt / Sexton / Davenport Intelligent Computer Mathematics
CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08433-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 -
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 -
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 -
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 -
Liu / Chen / Vincze Computer Vision Systems
11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-68345-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Kotenko / Skormin Computer Network Security
5th International Conference, on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14705-0Medium: 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 -
Ronzhin / Potapova / Németh Speech and Computer
18th International Conference, SPECOM 2016, Budapest, Hungary, August 23-27, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-43958-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
Piskac / Rakamaric / 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 -
Piskac / Rakamaric / Rakamaric Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-98678-9Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (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 IIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-98681-9Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kerber / Carette / Kaliszyk Intelligent Computer Mathematics
International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.Erscheinungsjahr 2015Verlag: Springer International PublishingISBN: 978-3-319-20615-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
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 -
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 -
Beltrán / Knottenbelt / Bradley Computer Performance Engineering
12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-23266-9Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (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 -
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 -
Crowley / Piater / Vincze Computer Vision Systems
Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-36592-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort