Ergebnisse filtern
- Fachgebiet
- Medium
-
- 4594
- Erscheinungsjahr
-
- 159
- 554
- 565
- 310
- 145
- 89
- 92
- 126
- 125
- 123
- 126
- 119
- 107
- 129
- 125
- 117
- 117
- 105
- 76
- 117
- 119
- 97
- 132
- 111
- 103
- 100
- 68
- 60
- 47
- 43
- 47
- 44
- 42
- 38
- 26
- 29
- 18
- 17
- 11
- 10
- 4
- 2
- Autoren
-
- 6
- 3
- 3
- 3
- 4
- 6
- 10
- 8
- 5
- 7
- 3
- 3
- 3
- 4
- 3
- 5
- 7
- 16
- 20
- 4
- 5
- 5
- 3
- 3
- 4
- 4
- 6
- 8
- 3
- 3
- 3
- 3
- 4
- 4
- 7
- 14
- 9
- 33
- 6
- 3
- 8
- 7
- 4
- 4
- 3
- 7
- 3
- 8
- 3
- 5
- 3
- 3
- 3
- 39
- 3
- 3
- 4
- 3
- 4
- 4
- 6
- 5
- 3
- 4
- 4
- 9
- 4
- 3
- 3
- 13
- 7
- 3
- 6
- 3
- 4
- 3
- 6
- 3
- 6
- 7
- 6
- 3
- 5
- 5
- 4
- 3
- 12
- 3
- 5
- 9
- 3
- 3
- 4
- 3
- 5
- 4
- 3
- 3
- 4
- 5
- 6
- 5
- 10
- 5
- 6
- 39
- 3
- 3
- 3
- 5
- 14
- 3
- 3
- 7
- 3
- 9
- 7
- 3
- 3
- 3
- 8
- 3
- 3
- 4
- 4
- 3
- 3
- 3
- 4
- 3
- 14
- 14
- 3
- 6
- 3
- 3
- 3
- 3
- 4
- 3
- 7
- 39
- 10
- 3
- 3
- 3
- 3
- 3
- 7
- 3
- 4
- 4
- 16
- 7
- 6
- 8
- 4
- 3
- 7
- 7
- 11
- 6
- 4
- 7
- 4
- 24
- 3
- 3
- 11
- 3
- 3
- 5
- 10
- 3
- 3
- 11
- 3
- 3
- 4
- 3
- 6
- 3
- 6
- 3
- 3
- 10
- 3
- 4
- 4
- 3
- 33
- 5
- 3
- 10
- 40
- 3
- 12
- 6
- 3
- 7
- 4
- 3
- 5
- 20
- 38
- 5
- 4
- 5
- 3
- 9
- 15
- 6
- 4
- 4
- 7
- 5
- 12
- 4
- 4
- 8
- 5
- 7
- 4
- 4
- 4
- 39
- 5
- 3
- 4
- 3
- 4
- 5
- 3
- 3
- 3
- 12
- 4
- 4
- 3
- 5
- 3
- 3
- 3
- 7
- 6
- 6
- 3
- 10
- 5
- 6
- 4
- 8
- 4
- 6
- 4
- 3
- 6
- 3
- 5
- 3
- 4
- 4
- 6
- 3
- 3
- 3
- 4
- 3
- 4
- 10
- 10
- 8
- 6
- 4
- 3
- 6
- 24
- 6
- 3
- 3
- 4
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 7
- 4
- 4
- 5
- 5
- 3
- 5
- 4
- 9
- 16
- 11
- 3
- 5
- 8
- 3
- 3
- 3
- 8
- 6
- 16
- 4
- 9
- 15
- 7
- 8
- 3
- 6
- 3
- 3
- 5
- 3
- 11
- 3
- 3
- 3
- 3
- 3
- 4
- 5
- 3
- 3
- 4
- 4
- 3
- 3
- 4
- 3
- 8
- 3
- 3
- 6
- 3
- 4
- 7
- 3
- 3
- 6
- 27
- 4
- 4
- 3
- 3
- 46
- 3
- 3
- 4
- 4
- 4
- 16
- 3
- 3
- 4
- 7
- 3
- 8
- 3
- 4
- 3
- 7
- 6
- 3
- 3
- 6
- 3
- 3
- 4
- 5
- 3
- 8
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 4
- 7
- 10
- 7
- 3
- 4
- 5
- 3
- 3
- 6
- 3
- 4
- 3
- 3
- 9
- 3
- 3
- 4
- 4
- 4
- 3
- 4
- 4
- 4
- 3
- 8
- 3
- 12
- 4
- 3
- 5
- 4
- 32
- 3
- 4
- 3
- 8
- 3
- 3
- 5
- 8
- 16
- 21
- 37
- 3
- 4
- 12
- 4
- 3
- 3
- 3
- 6
- 3
- 3
- 16
- 3
- 4
- 3
- 6
- 16
- 3
- 6
- 3
- 3
- 3
- 4
- 5
- 13
- 3
- 6
- 4
- 3
- 3
- 3
- 3
- 5
- 6
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 23
- 3
- 3
- 4
- 3
- 5
- 4
- 3
- 5
- 3
- 5
- 7
- 9
- 6
- 3
- 9
- 16
- 39
- 5
- 3
- 3
- 4
- 8
- 3
- 17
- 6
- 11
- 3
- 3
- 3
- 7
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 6
- 3
- 3
- 3
- 4
- 3
- 4
- 4
- 9
- 4
- 16
- 6
- 4
- 6
- 4
- 6
- 3
- 4
- 4
- 3
- 3
- 4
- 4
- 3
- 4
- 68
- 5
- 3
- 3
- 6
- 5
- 10
- 3
- 5
- 8
- 8
- 5
- 4
- 3
- 4
- 16
- 5
- 3
- 12
- 3
- 3
- 9
- 3
- 3
- 5
- 4
- 9
- 5
- 3
- 8
- 5
- 3
- 6
- 5
- 5
- 4
- 4
- 6
- 5
- 3
- 6
- 6
- 14
- 3
- 13
- 4
- 7
- 6
- 4
- 5
- 5
- 3
- 4
- 5
- 3
- 3
- 3
- 3
- 6
- 3
- 14
- 3
- 3
- 6
- 6
- 9
- 4
- 4
- 9
- 4
- 5
- 6
- 3
- 8
- 4
- 4
- 4
- 19
- 6
- 6
- 5
- 8
- 5
- 4
- 4
- 6
- 4
- 4
- 10
- 20
- 4
- 4
- 6
- 7
- 16
- 4
- 4
- 4
- 5
- 5
- 8
- 29
- 4
- 8
- 4
- 10
- 5
- 4
- 5
- 4
- 5
- 5
- 7
- 14
- 20
- 17
- 5
- 5
- 18
- 4
- 4
- 5
- 7
- 5
- 5
- 6
- 12
- 4
- 5
- 5
- 21
- 17
- 6
- 6
- 4
- 8
- 4
- 4
- 4
- 12
- 5
- 4
- 5
- 7
- 6
- 6
- 4
- 4
- 4
- 15
- 4
- 4
- 87
- 13
- 4
- 11
- 5
- 4
- 5
- 5
- 8
- 7
- 4
- 4
- 6
- 5
- 4
- 4
- 4
- 5
- 4
- 4
- 18
- 20
- 18
- 4
- 5
- 6
- 5
- 59
- 5
- 19
- 7
- 9
- 4
- 14
- 20
- 6
- 4
- 4
- 6
- 4
- 4
- 9
- 4
- 5
- 23
- 6
- 5
- 5
- 11
- 13
- 4
- 4
- 13
- 14
- 12
- 18
- 11
- 7
- 16
- 5
- 4
- 6
- 7
- 4
- 5
- 4
- 6
- 7
- 6
- 4
- 4
- 7
- 8
- 8
- 4
- 5
- 4
- 4
- 4
- 4
- 9
- 6
- 5
- 37
- 4
- 5
- 6
- 36
- 11
- 10
- 6
- 10
- 4
- 5
- 4
- 4
- 6
- 8
- 6
- 4
- 4
- 4
- 4
- 7
- 39
- 5
- 5
- 5
- 6
- 18
- 5
- 4
- 13
- 6
- 10
- 15
- 8
- 13
- 4
- 17
- 4
- 11
- 4
- 4
- 4
- 14
- 10
- 4
- 11
- 11
- 4
- 7
- 24
- 9
- 5
- 10
- 9
- 4
- 4
- 6
- 6
- 4
- 4
- 6
- 9
- 6
- 18
- 4
- 4
- 88
- 5
- 9
- 8
- 6
- 5
- 7
- 88
- 4
- 11
- 5
- 86
- 22
- 5
- 9
- 4
- 4
- 4
- 4
- 7
- 86
- 15
- 20
- 4
- 10
- 8
- 11
- 7
- 11
- 9
- 4
- 4
- 7
- 15
- 6
- 4
- 4
- 4
- 8
- 20
- 4
- 4
- 14
- 4
- 5
- 9
- 11
- 9
- 4
- 6
- 6
- 7
- 9
- 4
- 5
- 10
- 5
- 5
- 12
- 9
- 5
- 4
- 22
- 4
- 4
- 8
- 12
- 23
- 6
- 10
- 20
- 21
- 10
- 11
- 9
- 19
- 7
- 6
- 28
- 24
- 12
- 6
- 4
- 4
- 7
- 12
- 8
- 12
- 5
- 7
- 15
- 5
- 86
- 5
- 7
- 15
- 5
- 5
- 4
- 13
- 23
- 5
- 11
- 5
- 13
- 4
- 5
- 21
- 5
- 5
- 6
- 6
- 6
- 7
- 6
- 4
- 7
- 10
- 5
- 6
- 6
- 5
- 4
- 5
- 9
- 4
- 18
- 5
- 4
- 21
- 12
- 4
- 4
- 5
- 4
- 18
- 4
- 10
- 6
- 4
- 18
- 6
- 11
- 5
- 5
- 43
- 4
- 14
- 16
- 18
- 4
- 4
- 6
- 4
- 4
- 32
- 9
- 5
- 19
- 10
- 4
- 5
- 4
- 6
- 4
- 21
- Verlag
-
- 2
- 4570
- 3
- 1
- 1
- 17
- Preis
-
- 1
- 112
- 3412
- 1069
- Sprachen
-
- 4594
- Verfügbarkeit
-
- 4592
- 2
- Eigenschaften
-
- 2
- Katalog
-
- 4594
- 213
-
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 -
Karpov / Delic / Delic Speech and Computer
26th International Conference, SPECOM 2024, Belgrade, Serbia, November 25-28, 2024, Proceedings, Part IIErscheinungsjahr 2024Verlag: SpringerISBN: 978-3-031-78013-4Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (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 -
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 -
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 -
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 -
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 -
Hunt / Hunt, Jr. / Somenzi Computer Aided Verification
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40524-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dillig / Tasiran Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I1. Auflage 2019Verlag: SpringerISBN: 978-3-030-25539-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 VIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93964-8Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (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 -
Wolper Computer Aided Verification
7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60045-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Carette / Dixon / Sacerdoti Coen Intelligent Computer Mathematics
16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02613-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Karpov / Potapova / Mporas Speech and Computer
19th International Conference, SPECOM 2017, Hatfield, UK, September 12-16, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-66428-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 I2024Verlag: SpringerISBN: 978-3-031-60404-1Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (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 I2024Verlag: SpringerISBN: 978-3-031-65626-2Medium: 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 -
Gurfinkel / Ganesh Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-3-031-65629-3Medium: 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 V2024Verlag: SpringerISBN: 978-3-031-60448-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 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IV2024Verlag: SpringerISBN: 978-3-031-60440-9Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage149,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 VErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93863-4Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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, Pro1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31373-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 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 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IVErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93860-3Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (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 II2024Verlag: SpringerISBN: 978-3-031-60411-9Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (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