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
-
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 -
Ronzhin / Potapova / Fakotakis Speech and Computer
17th International Conference, SPECOM 2015, Athens, Greece, September 20-24, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-23132-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Puigjaner / Savino / Serra Computer Performance Evaluation
Modelling Techniques and ToolsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-68061-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Kroening / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part IIErscheinungsjahr 2015Verlag: Springer International PublishingISBN: 978-3-319-21668-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Prasanna / Karpov / Samudravijaya Speech and Computer
24th International Conference, SPECOM 2022, Gurugram, India, November 14-16, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-20979-6Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (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 -
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 -
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 -
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 -
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 -
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 -
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 -
Kurosu / Hashizume Human-Computer Interaction
Thematic Area, HCI 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, Proceedings, Part IIErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-29585-9Medium: Buch104,85 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage104,85 € (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 -
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 -
Bochmann / Probst Computer Aided Verification
Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56496-6Medium: 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 -
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 -
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 -
Bakhshi / Ballarini / Barbot Computer Performance Engineering
15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-030-02227-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
Davenport / Farmer / Rabe Intelligent Computer Mathematics
18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-22673-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
Karpov / Gerazov Speech and Computer
28th International Conference, SPECOM 2026, Ohrid, North Macedonia, September 17–18, 2026, Proceedings, Part IErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-37866-8Medium: Buch104,85 € (inkl. MwSt.)
vorbestellbar104,85 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. Oktober 2026 -
Bass / Gornostaev / Unger Human-Computer Interaction
Third International Conference, EWHCI '93, Moscow, Russia, August 3-7, 1993. Selected PapersErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57433-0Medium: 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