Ergebnisse filtern
- Fachgebiet
- Medium
-
- 11377
- 2628
- Erscheinungsjahr
-
- 76
- 956
- 1018
- 1060
- 785
- 656
- 392
- 426
- 433
- 425
- 396
- 426
- 445
- 423
- 470
- 411
- 405
- 369
- 254
- 236
- 267
- 272
- 241
- 436
- 483
- 260
- 260
- 180
- 180
- 145
- 145
- 137
- 121
- 114
- 96
- 74
- 86
- 56
- 59
- 45
- 49
- 33
- 26
- 19
- 16
- 18
- 29
- 20
- 12
- 8
- 13
- 10
- 15
- 13
- 5
- Autoren
-
- 6
- 10
- 6
- 10
- 31
- 13
- 9
- 6
- 10
- 8
- 6
- 23
- 9
- 26
- 7
- 9
- 6
- 9
- 7
- 8
- 7
- 15
- 40
- 44
- 59
- 7
- 6
- 8
- 6
- 21
- 6
- 25
- 14
- 7
- 7
- 8
- 58
- 14
- 6
- 6
- 6
- 7
- 6
- 6
- 15
- 8
- 49
- 10
- 31
- 10
- 12
- 11
- 10
- 6
- 6
- 13
- 7
- 9
- 27
- 6
- 11
- 22
- 13
- 11
- 10
- 31
- 17
- 10
- 6
- 48
- 9
- 28
- 22
- 8
- 10
- 10
- 9
- 8
- 7
- 6
- 8
- 8
- 11
- 18
- 13
- 7
- 15
- 11
- 8
- 15
- 6
- 6
- 7
- 10
- 58
- 25
- 7
- 6
- 6
- 8
- 19
- 9
- 8
- 7
- 16
- 10
- 6
- 9
- 17
- 10
- 9
- 8
- 31
- 7
- 17
- 6
- 8
- 9
- 6
- 6
- 17
- 6
- 9
- 6
- 8
- 7
- 15
- 6
- 7
- 41
- 6
- 19
- 48
- 15
- 11
- 20
- 24
- 15
- 53
- 15
- 46
- 10
- 17
- 8
- 6
- 8
- 8
- 6
- 13
- 12
- 7
- 16
- 7
- 16
- 6
- 58
- 6
- 10
- 13
- 14
- 13
- 10
- 6
- 9
- 7
- 11
- 11
- 16
- 6
- 7
- 6
- 7
- 9
- 21
- 8
- 8
- 19
- 8
- 10
- 10
- 10
- 7
- 32
- 30
- 19
- 32
- 8
- 13
- 7
- 11
- 9
- 7
- 10
- 8
- 24
- 12
- 31
- 7
- 7
- 7
- 10
- 12
- 6
- 10
- 10
- 8
- 7
- 6
- 11
- 20
- 14
- 7
- 14
- 12
- 8
- 10
- 47
- 49
- 9
- 53
- 10
- 12
- 12
- 6
- 8
- 42
- 17
- 6
- 7
- 12
- 6
- 6
- 6
- 7
- 18
- 6
- 6
- 12
- 6
- 10
- 7
- 12
- 29
- 19
- 62
- 97
- 13
- 7
- 6
- 21
- 10
- 13
- 8
- 8
- 14
- 6
- 18
- 6
- 11
- 13
- 10
- 11
- 8
- 7
- 11
- 6
- 10
- 27
- 24
- 8
- 9
- 12
- 6
- 20
- 14
- 6
- 18
- 23
- 77
- 48
- 10
- 11
- 28
- 10
- 25
- 33
- 8
- 132
- 6
- 7
- 16
- 11
- 6
- 10
- 22
- 7
- 15
- 13
- 7
- 6
- 26
- 14
- 6
- 6
- 14
- 6
- 7
- 11
- 22
- 6
- 11
- 7
- 6
- 6
- 7
- 8
- 13
- 6
- 6
- 50
- 6
- 16
- 11
- 7
- 11
- 10
- 20
- 7
- 11
- 9
- 29
- 58
- 8
- 9
- 7
- 11
- 21
- 6
- 11
- 11
- 6
- 8
- 10
- 22
- 14
- 22
- 9
- 7
- 7
- 6
- 7
- 12
- 9
- 124
- 6
- 6
- 11
- 8
- 18
- 6
- 6
- 9
- 6
- 8
- 6
- 9
- 22
- 7
- 16
- 6
- 14
- 7
- 25
- 13
- 13
- 12
- 8
- 7
- 14
- 26
- 8
- 17
- 9
- 7
- 12
- 15
- 9
- 6
- 6
- 7
- 6
- 14
- 6
- 9
- 9
- 6
- 17
- 7
- 6
- 10
- 7
- 6
- 6
- 17
- 6
- 10
- 17
- 7
- 21
- 9
- 7
- 13
- 8
- 45
- 14
- 8
- 11
- 7
- 29
- 8
- 6
- 7
- 22
- 49
- 8
- 7
- 8
- 17
- 22
- 15
- 41
- 11
- 9
- 10
- 7
- 6
- 8
- 8
- 21
- 7
- 7
- 15
- 6
- 23
- 46
- 7
- 19
- 10
- 8
- 23
- 9
- 9
- 6
- 21
- 9
- 7
- 27
- 6
- 97
- 6
- 15
- 28
- 62
- 13
- 6
- 8
- 7
- 7
- 11
- 7
- 9
- 7
- 13
- 6
- 13
- 12
- 8
- 7
- 10
- 14
- 7
- 8
- 6
- 6
- 22
- 7
- 116
- 6
- 18
- 7
- 55
- 8
- 8
- 8
- 16
- 13
- 15
- 8
- 7
- 12
- 19
- 15
- 13
- 9
- 6
- 36
- 7
- 7
- 13
- 16
- 23
- 6
- 25
- 6
- 6
- 34
- 10
- 7
- 6
- 10
- 6
- 95
- 13
- 23
- 9
- 8
- 7
- 17
- 28
- 10
- 9
- 12
- 9
- 6
- 7
- 12
- 40
- 12
- 6
- 12
- 7
- 33
- 7
- 7
- 8
- 14
- 16
- 8
- 14
- 8
- 6
- 21
- 22
- 19
- 20
- 22
- 10
- 6
- 97
- 13
- 13
- 11
- 8
- 36
- 13
- 10
- 11
- 38
- 39
- 6
- 7
- 8
- 7
- 11
- 15
- 7
- 31
- 6
- 9
- 7
- 7
- 10
- 9
- 8
- 6
- 8
- 13
- 6
- 15
- 29
- 13
- 14
- 14
- 14
- 13
- 9
- 11
- 17
- 6
- 7
- 8
- 52
- 6
- 16
- 12
- 7
- 8
- 6
- 9
- 8
- 7
- 8
- 7
- 10
- 23
- 7
- 7
- 6
- 13
- 9
- 6
- 8
- 6
- 9
- 8
- 122
- 6
- 9
- 10
- 6
- 7
- 7
- 14
- 19
- 14
- 8
- 7
- 13
- 13
- 7
- 6
- 62
- 11
- 26
- 12
- 13
- 7
- 6
- 6
- 20
- 6
- 26
- 7
- 31
- 19
- 6
- 6
- 7
- 12
- 10
- 6
- 7
- 7
- 7
- 18
- 6
- 8
- 11
- 6
- 12
- 6
- 9
- 11
- 57
- 9
- 6
- 21
- 10
- 6
- 49
- 16
- 6
- 6
- 11
- 11
- 17
- 24
- 6
- 21
- 22
- 22
- 9
- 15
- 6
- 7
- 11
- 32
- 10
- 7
- 16
- 7
- 7
- 8
- 6
- 24
- 7
- 12
- 6
- 21
- 15
- 7
- 6
- 16
- 8
- 17
- 8
- 17
- 8
- 22
- 7
- 11
- 31
- 10
- 12
- 7
- 12
- 8
- 8
- 48
- 16
- 11
- 6
- 8
- 6
- 10
- 19
- 10
- 9
- 8
- 8
- 7
- 9
- 12
- 16
- 37
- 9
- 15
- 10
- 8
- 46
- 7
- 11
- 10
- 12
- 11
- 7
- 114
- 10
- 10
- 7
- 39
- 22
- 7
- 97
- 8
- 30
- 11
- 9
- 8
- 17
- 25
- 23
- 9
- 10
- 116
- 51
- 13
- 11
- 17
- 113
- 28
- 7
- 23
- 11
- 12
- 7
- 7
- 13
- 18
- 23
- 8
- 7
- 8
- 9
- 7
- 7
- 14
- 8
- 114
- 9
- 8
- 26
- 7
- 13
- 13
- 7
- 100
- 13
- 19
- 21
- 9
- 15
- 12
- 7
- 14
- 17
- 13
- 9
- 22
- 21
- 9
- 10
- 12
- 15
- 9
- 19
- 10
- 33
- 10
- 10
- 8
- 12
- 9
- 17
- 12
- 13
- 7
- 21
- 9
- 17
- 25
- 32
- 7
- 8
- 8
- 11
- 25
- 16
- 7
- 7
- 17
- 7
- 8
- 44
- 17
- 9
- 8
- 10
- 7
- 19
- 10
- 54
- 9
- 63
- 14
- 9
- 16
- 8
- 13
- 13
- 8
- 15
- 30
- 7
- 23
- 16
- 19
- 23
- 28
- 12
- 8
- 14
- 32
- 19
- 33
- 84
- 14
- 22
- 29
- 9
- 13
- 7
- 8
- 27
- 7
- 22
- 19
- 7
- 10
- 9
- 8
- 25
- 13
- 79
- 101
- 31
- 17
- 11
- 8
- 16
- 18
- 11
- 13
- 21
- 7
- 10
- 7
- 18
- 20
- 15
- 12
- 9
- 113
- 13
- 7
- 24
- 11
- 23
- 8
- 8
- 11
- 14
- 10
- 11
- 35
- 11
- 8
- 10
- 7
- 12
- 27
- 9
- 10
- 45
- 9
- 18
- 7
- 21
- 18
- 11
- 8
- 12
- 28
- 14
- 14
- 11
- 12
- 11
- 17
- 12
- 9
- 23
- 17
- 8
- 14
- 10
- 21
- 33
- 9
- 15
- 27
- 24
- 10
- 15
- 12
- 23
- 8
- 61
- 10
- 36
- 30
- 52
- 49
- 80
- 56
- 16
- 8
- 9
- 25
- 39
- 8
- 33
- 24
- 28
- 11
- 9
- 12
- 9
- 11
- 25
- Verlag
-
- 7
- 12066
- 23
- 1654
- 2
- 2
- 3
- 41
- 5
- 154
- 1
- 1
- 12
- 34
- Preis
-
- 47
- 524
- 10933
- 2501
- Sprachen
-
- 13997
- 20
- 15
- 1
- Verfügbarkeit
-
- 13714
- 291
- Eigenschaften
-
- 40
- Katalog
-
- 14005
- 594
-
Gilly / Thomas Computer Performance Engineering
18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21–23, 2022, ProceedingsErscheinungsjahr 2023Verlag: Springer International PublishingISBN: 978-3-031-25049-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar69,54 € (inkl. MwSt.)
sofort verfügbar -
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 -
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 -
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 -
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 -
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 -
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 -
Darulova / Lin / Rümmer Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part IIIErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-32536-5Medium: 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 VErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-60449-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark85,59 € (inkl. MwSt.)
sofort verfügbar85,59 € (inkl. MwSt.)
sofort verfügbar -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
Kroening / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II1. Auflage 2015Verlag: SpringerISBN: 978-3-319-21667-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 -
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 -
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 -
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 -
Aldini / Bernardo / Bononi Computer Performance Engineering
7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15783-7Medium: 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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort