Ergebnisse filtern
- Fachgebiet
- Medium
-
- 8227
- Erscheinungsjahr
-
- 299
- 625
- 489
- 306
- 305
- 318
- 301
- 291
- 311
- 297
- 291
- 303
- 224
- 44
- 75
- 221
- 219
- 214
- 145
- 214
- 324
- 285
- 243
- 245
- 175
- 169
- 126
- 141
- 131
- 114
- 111
- 92
- 72
- 83
- 56
- 56
- 44
- 45
- 33
- 27
- 19
- 13
- 15
- 27
- 19
- 11
- 7
- 12
- 10
- 13
- 13
- 4
- Autoren
-
- 4
- 3
- 3
- 4
- 4
- 6
- 3
- 3
- 4
- 3
- 5
- 4
- 3
- 5
- 3
- 3
- 4
- 5
- 6
- 3
- 4
- 4
- 3
- 4
- 4
- 4
- 3
- 6
- 3
- 3
- 7
- 3
- 5
- 3
- 5
- 6
- 11
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 5
- 5
- 7
- 3
- 4
- 3
- 3
- 8
- 14
- 3
- 20
- 4
- 3
- 38
- 3
- 7
- 3
- 3
- 6
- 4
- 5
- 6
- 6
- 3
- 5
- 5
- 4
- 6
- 4
- 6
- 4
- 3
- 4
- 5
- 3
- 39
- 6
- 7
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 5
- 3
- 3
- 5
- 3
- 4
- 11
- 4
- 4
- 9
- 6
- 3
- 3
- 4
- 5
- 4
- 3
- 6
- 5
- 6
- 4
- 4
- 6
- 5
- 5
- 8
- 3
- 3
- 3
- 3
- 3
- 3
- 12
- 3
- 4
- 4
- 5
- 4
- 12
- 5
- 3
- 4
- 3
- 7
- 3
- 5
- 9
- 4
- 3
- 4
- 3
- 3
- 3
- 5
- 5
- 5
- 7
- 3
- 3
- 3
- 4
- 6
- 4
- 24
- 4
- 3
- 4
- 7
- 4
- 3
- 3
- 11
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 5
- 14
- 3
- 3
- 3
- 11
- 7
- 3
- 3
- 3
- 5
- 8
- 4
- 5
- 3
- 6
- 11
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 7
- 3
- 5
- 3
- 5
- 7
- 3
- 11
- 3
- 3
- 3
- 3
- 3
- 3
- 7
- 9
- 4
- 4
- 10
- 5
- 6
- 7
- 3
- 3
- 4
- 4
- 3
- 4
- 3
- 3
- 4
- 3
- 5
- 3
- 7
- 4
- 3
- 3
- 39
- 13
- 9
- 5
- 3
- 4
- 3
- 10
- 4
- 3
- 3
- 3
- 3
- 9
- 5
- 4
- 8
- 4
- 3
- 3
- 3
- 8
- 4
- 5
- 6
- 4
- 4
- 10
- 4
- 4
- 6
- 4
- 5
- 4
- 7
- 4
- 5
- 4
- 8
- 4
- 4
- 8
- 5
- 5
- 4
- 6
- 4
- 5
- 7
- 4
- 5
- 12
- 11
- 4
- 8
- 6
- 4
- 6
- 20
- 4
- 11
- 10
- 4
- 8
- 7
- 4
- 4
- 15
- 4
- 8
- 4
- 39
- 4
- 7
- 6
- 4
- 5
- 8
- 6
- 4
- 4
- 5
- 5
- 4
- 11
- 8
- 8
- 6
- 4
- 4
- 8
- 6
- 10
- 6
- 4
- 4
- 5
- 6
- 7
- 5
- 5
- 4
- 5
- 4
- 4
- 6
- 6
- 4
- 5
- 8
- 14
- 4
- 11
- 4
- 4
- 8
- 7
- 8
- 5
- 7
- 13
- 5
- 5
- 4
- 5
- 4
- 5
- 6
- 4
- 5
- 6
- 6
- 4
- 8
- 5
- 4
- 6
- 6
- 6
- 5
- 4
- 6
- 4
- 4
- 9
- 6
- 5
- 37
- 32
- 8
- 9
- 4
- 8
- 10
- 4
- 4
- 24
- 11
- 5
- 4
- 4
- 7
- 4
- 4
- 20
- 5
- 6
- 4
- 4
- 4
- 7
- 5
- 5
- 8
- 4
- 4
- 4
- 10
- 43
- 8
- 4
- 5
- 9
- 4
- 11
- 10
- 4
- 5
- 6
- 8
- 4
- 10
- 10
- 4
- 5
- 7
- 6
- 5
- 8
- 4
- 5
- 6
- 4
- 11
- 33
- 16
- 4
- 18
- 20
- 70
- 4
- 7
- 5
- 5
- 5
- 11
- 4
- 8
- 9
- 5
- 5
- 14
- 5
- 4
- 4
- 6
- 10
- 4
- 28
- 5
- 6
- 4
- 5
- 7
- 11
- 9
- 39
- 4
- 11
- 5
- 4
- 4
- 4
- 15
- 4
- 4
- 4
- 23
- 4
- 4
- 6
- 4
- 6
- 4
- 6
- 12
- 4
- 5
- 12
- 4
- 5
- 4
- 4
- 15
- 5
- 5
- 6
- 5
- 4
- 6
- 14
- 13
- 9
- 13
- 7
- 13
- 8
- 12
- 5
- 5
- 5
- 4
- 4
- 4
- 5
- 8
- 4
- 4
- 7
- 4
- 5
- 4
- 10
- 6
- 4
- 5
- 8
- 4
- 9
- 12
- 22
- 4
- 5
- 4
- 5
- 4
- 4
- 5
- 5
- 4
- 5
- 10
- 4
- 9
- 5
- 5
- 8
- 19
- 5
- 18
- 6
- 4
- 15
- 6
- 4
- 8
- 9
- 4
- 4
- 24
- 4
- 19
- 36
- 10
- 6
- 4
- 7
- 4
- 4
- 8
- 4
- 7
- 4
- 7
- 6
- 4
- 4
- 4
- 5
- 4
- 7
- 5
- 6
- 8
- 13
- 4
- 7
- 8
- 4
- 10
- 7
- 9
- 4
- 4
- 9
- 8
- 6
- 4
- 6
- 11
- 4
- 10
- 21
- 4
- 4
- 8
- 5
- 6
- 5
- 4
- 4
- 8
- 9
- 13
- 9
- 5
- 13
- 7
- 4
- 5
- 5
- 10
- 4
- 16
- 4
- 34
- 15
- 4
- 5
- 4
- 5
- 13
- 4
- 4
- 6
- 4
- 4
- 4
- 4
- 4
- 11
- 4
- 4
- 4
- 11
- 18
- 5
- 10
- 6
- 8
- 11
- 4
- 4
- 4
- 4
- 4
- 38
- 4
- 11
- 4
- 4
- 4
- 7
- 6
- 4
- 4
- 4
- 14
- 4
- 9
- 4
- 5
- 5
- 4
- 5
- 6
- 62
- 6
- 4
- 7
- 5
- 9
- 6
- 4
- 9
- 34
- 5
- 8
- 5
- 6
- 4
- 5
- 11
- 4
- 4
- 5
- 6
- 5
- 4
- 6
- 5
- 5
- 4
- 5
- 6
- 4
- 10
- 5
- 11
- 9
- 8
- 5
- 13
- 7
- 12
- 5
- 4
- 6
- 4
- 4
- 18
- 12
- 5
- 7
- 7
- 4
- 16
- 5
- 8
- 13
- 8
- 6
- 4
- 9
- 13
- 7
- 4
- 4
- 11
- 4
- 4
- 8
- 4
- 4
- 4
- 4
- 4
- 8
- 10
- 8
- 5
- 4
- 12
- 6
- 4
- 4
- 8
- 20
- 9
- 5
- 4
- 7
- 12
- 6
- 6
- 6
- 5
- 8
- 26
- 5
- 7
- 6
- 7
- 9
- 7
- 8
- 4
- 8
- 5
- 18
- 5
- 4
- 6
- 48
- 4
- 10
- 6
- 9
- 5
- 4
- 4
- 12
- 4
- 8
- 7
- 9
- 13
- 16
- 6
- 4
- 4
- 4
- 5
- 5
- 10
- 4
- 6
- 8
- 5
- 10
- 4
- 13
- 7
- 7
- 4
- 6
- 8
- 4
- 7
- 7
- 11
- 6
- 4
- 4
- 4
- 4
- 4
- 7
- 16
- 6
- 7
- 6
- 4
- 4
- 13
- 6
- 38
- 4
- 4
- 9
- 16
- 6
- 5
- 8
- 7
- 11
- 7
- 10
- 19
- 6
- 33
- 9
- 4
- 4
- 7
- 5
- 6
- 4
- 4
- 4
- 4
- 4
- 4
- 14
- 7
- 8
- 14
- 10
- 9
- 15
- 6
- 11
- 16
- 51
- 14
- 18
- 9
- 6
- 20
- 4
- 5
- 5
- 43
- 9
- 16
- 9
- 4
- 4
- 10
- 13
- 4
- 5
- 11
- 7
- 4
- 4
- 7
- 6
- 7
- 4
- 5
- 4
- 10
- 6
- 5
- 4
- 5
- 8
- 5
- 7
- 7
- 25
- 4
- 14
- 13
- 7
- 6
- 6
- 5
- 18
- 6
- 4
- 9
- 15
- 9
- 8
- 4
- 9
- 4
- 7
- 5
- 4
- 9
- 18
- 6
- 13
- 4
- 6
- 6
- 6
- 4
- 6
- 4
- 4
- 8
- 4
- 4
- 16
- 6
- 5
- 4
- 4
- 4
- 4
- 11
- 6
- 5
- 4
- 6
- 5
- 6
- 32
- 8
- 5
- 4
- 19
- 16
- 4
- 45
- 7
- 4
- 4
- 6
- 5
- 4
- 4
- 4
- 14
- 4
- 7
- 6
- 20
- 16
- 8
- 8
- 5
- 4
- 10
- Verlag
-
- 1055
- 3418
- 2679
- 1
- 1
- 97
- 874
- 102
- Preis
-
- 45
- 346
- 6421
- 1415
- Sprachen
-
- 8221
- 17
- 14
- Verfügbarkeit
-
- 8199
- 28
- Katalog
-
- 8227
- 491
-
Salah / Potapova / Karpov Speech and Computer
21st International Conference, SPECOM 2019, Istanbul, Turkey, August 20¿25, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-26060-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Watt / Sexton / Urban Intelligent Computer Mathematics
CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-08433-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pasareanu / Kroening / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-21667-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Christensen / Corke / Vincze Computer Vision Systems
14th International Conference, ICVS 2023, Vienna, Austria, September 27¿29, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-44136-3Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Vizel / Shoham Computer Aided Verification
34th International Conference, CAV 2022, Haifa, Israel, August 7¿10, 2022, Proceedings, Part I1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-13184-4Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Leino / Silva Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20¿23, 2021, Proceedings, Part I1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-81684-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pasareanu / Kroening / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-21689-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hashizume / Kurosu 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: Springer Nature SwitzerlandISBN: 978-3-031-60427-0Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kohlhase / Johansson / Tompa Intelligent Computer Mathematics
9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-42546-7Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage44,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dill Computer Aided Verification
6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58179-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kurshan / Clarke Computer-Aided Verification
2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54477-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sagerer / Schiele Computer Vision Systems
Second International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42285-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Peled / Halbwachs Computer Aided Verification
11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66202-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gorodetsky / Skormin / Popyack 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, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40797-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Blumenthal / Unger / Gornostaev Human-Computer Interaction
5th International Conference, EWHCI '95, Moscow, Russia, July 3-7, 1995. Selected Papers1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60614-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Masoodian / Rogers / Jones Computer Human Interaction
6th Asia Pacific Conference, APCHI 2004, Rotorua, New Zealand, June 29-July 2, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22312-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Grumberg Computer Aided Verification
9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63166-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tomek Computer Assisted Learning
4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55578-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Courcoubetis Computer Aided Verification
5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56922-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Chen / Neumann / Leibe Computer Vision Systems
9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings2013Verlag: SpringerISBN: 978-3-642-39401-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jeuring / Campbell / Carette Intelligent Computer Mathematics
11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Pro2012Verlag: SpringerISBN: 978-3-642-31373-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lal / Enea Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17¿22, 2023, Proceedings, Part II1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-37702-0Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tasiran / Dillig Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-25542-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Leino / Silva Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20¿23, 2021, Proceedings, Part II1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-81687-2Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hashizume / Kurosu 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: Springer Nature SwitzerlandISBN: 978-3-031-35601-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort