Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2060
- Erscheinungsjahr
-
- 19
- 158
- 129
- 105
- 39
- 16
- 23
- 33
- 37
- 28
- 34
- 48
- 31
- 50
- 48
- 32
- 65
- 65
- 60
- 90
- 66
- 61
- 119
- 108
- 96
- 76
- 59
- 51
- 36
- 27
- 34
- 33
- 27
- 31
- 19
- 32
- 16
- 15
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 6
- 1
- 2
- 4
- 3
- 6
- 2
- 7
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 12
- 2
- 2
- 3
- 4
- 3
- 4
- 2
- 4
- 4
- 2
- 3
- 3
- 3
- 4
- 6
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 6
- 6
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 7
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 5
- 3
- 6
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 3
- 11
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 9
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 5
- 5
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 2
- 3
- 3
- 5
- 2
- 3
- 3
- 2
- 3
- 4
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 12
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 11
- 23
- 2
- 3
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 13
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 7
- 2
- 3
- 2
- 3
- 5
- 3
- 2
- 6
- 3
- 2
- 7
- 3
- 2
- 2
- 9
- 2
- 2
- 2
- 21
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 9
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 5
- 2
- 2
- 4
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 3
- 5
- 2
- 7
- 3
- 2
- 3
- 3
- 3
- 5
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 4
- 2
- 3
- 3
- 3
- 5
- 2
- 5
- 2
- 3
- 6
- 2
- 4
- 2
- 4
- 2
- 7
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 6
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 5
- 2
- 6
- 2
- 4
- 3
- 5
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 12
- 2
- 2
- 2
- 7
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 3
- 7
- 4
- 5
- 3
- 2
- 2
- 2
- 4
- 7
- 3
- 3
- 4
- 4
- 3
- 3
- 6
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 5
- 5
- 10
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 10
- 20
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 4
- 8
- 5
- 2
- 2
- 3
- 4
- 2
- 2
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 4
- 3
- 2
- 5
- 2
- 16
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 5
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 4
- 2
- 2
- 2
- 7
- 2
- 3
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 5
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 9
- 18
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 4
- 7
- 2
- 3
- 7
- 2
- 5
- 2
- 4
- 3
- 2
- 2
- 4
- 2
- 2
- 5
- 4
- 2
- 2
- 3
- 2
- 6
- 5
- 2
- 2
- 2
- 2
- 11
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 12
- 5
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 6
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 8
- 2
- 2
- 18
- 9
- 2
- 3
- 6
- 9
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 32
- 2
- 3
- 5
- 4
- 7
- 2
- 4
- 3
- 2
- 6
- 4
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 4
- 5
- 7
- 18
- 3
- 3
- 2
- 2
- 3
- 2
- 9
- 2
- 2
- 4
- 2
- 2
- 3
- 7
- 3
- 8
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 3
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 3
- 2
- 5
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 4
- 11
- 2
- 2
- 2
- 3
- 2
- 2
- 8
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 4
- 4
- 3
- 6
- 2
- 5
- 2
- 17
- 2
- 2
- 4
- 6
- 2
- 7
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- Verlag
-
- 2051
- 1
- 8
- Preis
-
- 4
- 88
- 1664
- 304
- Sprachen
-
- 2060
- Verfügbarkeit
-
- 2059
- 1
- Katalog
-
- 2060
- 128
-
Piskac / Rakamaric / 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 -
Halbwachs / Peled Computer Aided Verification
11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66202-0Medium: 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 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 -
Piskac / Rakamaric Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-98667-3Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Biere / Bloem Computer Aided Verification
26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08866-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 IIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-98681-9Medium: 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 II1. Auflage 2023Verlag: SpringerISBN: 978-3-031-37702-0Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Courcoubetis Computer Aided Verification
5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings1. Auflage 1993Verlag: SpringerISBN: 978-3-540-56922-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tomek Computer Assisted Learning
4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55578-0Medium: 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 II2024Verlag: SpringerISBN: 978-3-031-65629-3Medium: 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 -
Grumberg Computer Aided Verification
9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63166-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Streitz / Kameas / Mavrommati The Disappearing Computer
Interaction Design, System Infrastructures and Applications for Smart Environments1. Auflage 2007Verlag: SpringerISBN: 978-3-540-72725-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 -
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 -
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 -
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 -
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 -
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 -
Krömker HCI in Mobility, Transport, and Automotive Systems
5th International Conference, MobiTAS 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-35907-1Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Shen / Chao / Lin Computer Supported Cooperative Work in Design II
9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-32969-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lämmel / Saraiva / Visser Generative and Transformational Techniques in Software Engineering
International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45778-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dikenelli / Gleizes / Ricci Engineering Societies in the Agents World VI
6th International Workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34451-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Krömker HCI in Mobility, Transport, and Automotive Systems
5th International Conference, MobiTAS 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-35677-3Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Krömker HCI in Mobility, Transport, and Automotive Systems
7th International Conference, MobiTAS 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-92688-4Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (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