Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- 1744 Angewandte Informatik
- 457 Betriebssysteme
- 265 Business Application
- 1534 Computerkommunikation & -vernetzung
- 2668 Daten / Datenbanken
- 144 Digital Lifestyle
- 944 EDV & Informatik Allgemein
- 7769 Informatik
- 516 Professionelle Anwendung
- 4145 Programmierung | Softwareentwicklung
- 3582 Technische Informatik
- Medium
-
- 10482
- Erscheinungsjahr
-
- 136
- 805
- 831
- 620
- 487
- 275
- 292
- 296
- 293
- 309
- 303
- 316
- 281
- 308
- 309
- 270
- 284
- 269
- 231
- 259
- 272
- 220
- 365
- 306
- 259
- 251
- 177
- 177
- 116
- 133
- 135
- 117
- 108
- 96
- 73
- 84
- 57
- 57
- 44
- 46
- 31
- 26
- 17
- 12
- 16
- 25
- 19
- 12
- 7
- 12
- 10
- 12
- 12
- 4
- Autoren
-
- 6
- 5
- 5
- 4
- 4
- 6
- 4
- 5
- 5
- 4
- 5
- 5
- 4
- 9
- 5
- 10
- 8
- 6
- 7
- 4
- 4
- 4
- 4
- 5
- 4
- 9
- 4
- 11
- 8
- 5
- 5
- 16
- 4
- 4
- 21
- 5
- 8
- 4
- 6
- 4
- 4
- 7
- 5
- 9
- 9
- 6
- 4
- 4
- 10
- 5
- 14
- 5
- 25
- 36
- 7
- 40
- 7
- 6
- 4
- 6
- 7
- 15
- 16
- 4
- 4
- 11
- 4
- 5
- 4
- 4
- 7
- 4
- 39
- 6
- 6
- 4
- 4
- 4
- 5
- 4
- 4
- 6
- 4
- 5
- 4
- 4
- 4
- 8
- 4
- 5
- 5
- 14
- 5
- 4
- 7
- 6
- 6
- 6
- 6
- 6
- 9
- 4
- 6
- 7
- 6
- 8
- 7
- 5
- 4
- 12
- 5
- 4
- 5
- 5
- 4
- 19
- 7
- 6
- 4
- 7
- 5
- 15
- 4
- 9
- 5
- 5
- 4
- 5
- 6
- 4
- 4
- 4
- 7
- 6
- 16
- 4
- 9
- 5
- 5
- 9
- 4
- 4
- 6
- 40
- 4
- 4
- 4
- 4
- 4
- 6
- 14
- 11
- 6
- 6
- 8
- 11
- 11
- 4
- 4
- 4
- 5
- 5
- 9
- 6
- 4
- 8
- 4
- 4
- 11
- 4
- 5
- 6
- 5
- 8
- 14
- 5
- 4
- 11
- 7
- 4
- 17
- 4
- 11
- 16
- 5
- 5
- 4
- 5
- 4
- 4
- 4
- 5
- 8
- 4
- 39
- 10
- 9
- 4
- 4
- 4
- 4
- 9
- 5
- 5
- 8
- 8
- 4
- 4
- 16
- 7
- 9
- 11
- 5
- 10
- 6
- 5
- 4
- 14
- 4
- 4
- 4
- 7
- 24
- 4
- 12
- 4
- 10
- 4
- 4
- 11
- 7
- 4
- 4
- 10
- 4
- 8
- 34
- 12
- 41
- 10
- 8
- 18
- 14
- 4
- 5
- 7
- 4
- 5
- 20
- 6
- 38
- 4
- 9
- 14
- 7
- 4
- 7
- 12
- 4
- 4
- 12
- 14
- 8
- 7
- 39
- 4
- 5
- 4
- 10
- 8
- 10
- 4
- 5
- 4
- 6
- 4
- 4
- 10
- 10
- 5
- 4
- 4
- 7
- 6
- 4
- 4
- 14
- 10
- 5
- 13
- 5
- 7
- 4
- 6
- 7
- 4
- 4
- 15
- 21
- 8
- 5
- 10
- 4
- 6
- 4
- 6
- 13
- 5
- 24
- 6
- 7
- 4
- 4
- 6
- 4
- 7
- 4
- 4
- 4
- 4
- 4
- 4
- 6
- 4
- 4
- 4
- 8
- 4
- 15
- 10
- 6
- 8
- 10
- 5
- 4
- 44
- 38
- 8
- 23
- 5
- 4
- 17
- 8
- 23
- 11
- 4
- 5
- 5
- 7
- 18
- 6
- 4
- 4
- 5
- 5
- 4
- 5
- 5
- 4
- 27
- 4
- 15
- 46
- 4
- 10
- 7
- 4
- 15
- 7
- 6
- 6
- 11
- 15
- 4
- 6
- 8
- 6
- 5
- 4
- 4
- 4
- 4
- 5
- 14
- 7
- 6
- 4
- 4
- 5
- 4
- 4
- 4
- 9
- 6
- 5
- 4
- 5
- 10
- 4
- 15
- 55
- 30
- 4
- 4
- 24
- 9
- 18
- 22
- 91
- 5
- 11
- 6
- 6
- 14
- 4
- 4
- 7
- 19
- 12
- 7
- 7
- 5
- 9
- 14
- 7
- 5
- 8
- 7
- 5
- 6
- 11
- 43
- 7
- 7
- 16
- 8
- 7
- 19
- 39
- 6
- 9
- 17
- 10
- 6
- 7
- 6
- 5
- 8
- 5
- 9
- 15
- 6
- 6
- 5
- 8
- 5
- 67
- 5
- 6
- 10
- 5
- 6
- 15
- 6
- 11
- 5
- 8
- 19
- 7
- 10
- 5
- 6
- 6
- 5
- 10
- 19
- 11
- 7
- 13
- 5
- 8
- 13
- 6
- 6
- 7
- 5
- 13
- 6
- 5
- 9
- 10
- 11
- 7
- 8
- 7
- 6
- 29
- 9
- 6
- 5
- 8
- 6
- 26
- 6
- 14
- 34
- 6
- 6
- 7
- 9
- 15
- 30
- 6
- 9
- 5
- 5
- 10
- 5
- 5
- 14
- 6
- 5
- 5
- 17
- 20
- 32
- 5
- 16
- 9
- 8
- 19
- 5
- 9
- 5
- 5
- 25
- 5
- 14
- 32
- 36
- 6
- 9
- 6
- 9
- 6
- 17
- 6
- 5
- 12
- 6
- 5
- 8
- 7
- 6
- 6
- 7
- 8
- 5
- 6
- 13
- 90
- 5
- 12
- 18
- 6
- 14
- 6
- 5
- 8
- 11
- 12
- 5
- 5
- 6
- 10
- 14
- 18
- 20
- 5
- 21
- 8
- 5
- 62
- 6
- 19
- 8
- 12
- 21
- 5
- 9
- 5
- 8
- 6
- 5
- 5
- 6
- 5
- 14
- 5
- 5
- 5
- 23
- 6
- 13
- 11
- 13
- 15
- 15
- 14
- 8
- 18
- 11
- 10
- 8
- 9
- 25
- 6
- 31
- 28
- 6
- 6
- 8
- 7
- 17
- 7
- 6
- 7
- 5
- 5
- 8
- 6
- 11
- 21
- 6
- 5
- 7
- 5
- 8
- 8
- 13
- 8
- 5
- 33
- 8
- 11
- 5
- 5
- 7
- 5
- 5
- 16
- 5
- 9
- 7
- 5
- 9
- 83
- 10
- 5
- 7
- 6
- 13
- 6
- 5
- 9
- 11
- 36
- 15
- 5
- 16
- 6
- 5
- 5
- 10
- 6
- 6
- 5
- 5
- 8
- 5
- 9
- 6
- 6
- 8
- 6
- 7
- 5
- 6
- 7
- 43
- 5
- 5
- 17
- 7
- 7
- 18
- 13
- 13
- 12
- 13
- 15
- 8
- 17
- 6
- 5
- 10
- 23
- 11
- 9
- 5
- 12
- 5
- 6
- 19
- 11
- 13
- 11
- 7
- 8
- 7
- 7
- 15
- 5
- 15
- 13
- 8
- 24
- 6
- 7
- 6
- 11
- 6
- 5
- 11
- 15
- 10
- 5
- 7
- 6
- 14
- 6
- 5
- 12
- 24
- 12
- 6
- 7
- 19
- 5
- 11
- 91
- 5
- 6
- 8
- 5
- 22
- 7
- 9
- 7
- 19
- 9
- 8
- 8
- 12
- 7
- 19
- 8
- 90
- 6
- 48
- 11
- 11
- 5
- 89
- 23
- 14
- 12
- 5
- 12
- 9
- 13
- 8
- 8
- 6
- 5
- 8
- 8
- 89
- 5
- 7
- 15
- 22
- 7
- 11
- 11
- 17
- 11
- 11
- 6
- 5
- 11
- 5
- 10
- 22
- 8
- 6
- 6
- 5
- 7
- 13
- 7
- 24
- 5
- 5
- 6
- 6
- 5
- 5
- 14
- 7
- 8
- 8
- 11
- 12
- 41
- 5
- 6
- 6
- 6
- 18
- 9
- 11
- 8
- 10
- 13
- 6
- 5
- 7
- 11
- 5
- 38
- 7
- 33
- 12
- 6
- 8
- 5
- 5
- 10
- 8
- 22
- 6
- 6
- 8
- 8
- 14
- 15
- 25
- 9
- 25
- 8
- 14
- 24
- 58
- 10
- 11
- 19
- 8
- 9
- 6
- 10
- 19
- 22
- 14
- 6
- 6
- 9
- 55
- 24
- 12
- 8
- 12
- 12
- 6
- 12
- 9
- 12
- 5
- 10
- 7
- 6
- 15
- 11
- 7
- 12
- 10
- 5
- 89
- 10
- 5
- 7
- 15
- 5
- 5
- 5
- 6
- 13
- 7
- 8
- 37
- 5
- 11
- 10
- 7
- 12
- 5
- 13
- 15
- 10
- 21
- 6
- 5
- 17
- 21
- 5
- 10
- 7
- 6
- 6
- 8
- 6
- 9
- 8
- 5
- 25
- 6
- 14
- 10
- 5
- 6
- 8
- 6
- 6
- 5
- 8
- 12
- 9
- 9
- 18
- 5
- 10
- 11
- 5
- 6
- 24
- 11
- 14
- 5
- 5
- 22
- 11
- 5
- 5
- 6
- 5
- 9
- 18
- 7
- 6
- 6
- 47
- 13
- 6
- 5
- 5
- 21
- 6
- 43
- 14
- 62
- 18
- 5
- 6
- 5
- 6
- 32
- 7
- 10
- 5
- 18
- 20
- 19
- 9
- 5
- 11
- 12
- 10
- 6
- 6
- 23
- Verlag
-
- 1
- 10427
- 3
- 5
- 1
- 3
- 1
- 41
- Preis
-
- 42
- 378
- 8027
- 2035
- Sprachen
-
- 10477
- 17
- 13
- Verfügbarkeit
-
- 10469
- 13
- Eigenschaften
-
- 1
- Katalog
-
- 10482
- 550
-
Lahiri / Wang Computer Aided Verification
32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II1. Auflage 2020Verlag: SpringerISBN: 978-3-030-53290-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 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: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tribastone / Gilmore Computer Performance Engineering
9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36780-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (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 II1. Auflage 2023Verlag: SpringerISBN: 978-3-031-35598-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Benzmüller / Miller Intelligent Computer Mathematics
13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-53517-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alur / Peled Computer Aided Verification
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22342-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Christensen Computer Vision Systems
First International Conference, ICVS '99 Las Palmas, Gran Canaria, Spain, January 13-15, 1999 ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65459-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 VIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93981-5Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (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 IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93837-5Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fritz / Schiele / Piater Computer Vision Systems
7th International Conference on Computer Vision Systems, ICVS 2009 Liège, Belgium, October 13-15, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04666-7Medium: 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 I1. Auflage 2023Verlag: SpringerISBN: 978-3-031-37705-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 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part IV1. Auflage 2023Verlag: SpringerISBN: 978-3-031-35571-4Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hu / Vardi Computer Aided Verification
10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64608-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Geuvers / England / Hasan Intelligent Computer Mathematics
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-62074-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chockler / Weissenbacher Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II1. Auflage 2018Verlag: SpringerISBN: 978-3-319-96141-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Shoham / Vizel Computer Aided Verification
34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II1. Auflage 2022Verlag: SpringerISBN: 978-3-031-13187-5Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Carette / Aspinall / Lange Intelligent Computer Mathematics
MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39319-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Touili / Cook / Jackson Computer Aided Verification
22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14294-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kohlhase / Kovács Intelligent Computer Mathematics
17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-66996-5Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Larsen / Skou Computer Aided Verification
3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55179-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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: SpringerISBN: 978-3-319-43957-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 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93834-4Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Blumenthal / Gornostaev / Unger Human-Computer Interaction
4th International Conference, EWHCI '94, St. Petersburg, Russia, August 2 - 5, 1994. Selected Papers1. Auflage 1994Verlag: SpringerISBN: 978-3-540-58648-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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: SpringerISBN: 978-3-319-68344-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,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, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00921-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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