Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2078
- Erscheinungsjahr
-
- 6
- 148
- 133
- 110
- 39
- 22
- 27
- 33
- 37
- 31
- 41
- 46
- 40
- 49
- 44
- 36
- 68
- 67
- 72
- 75
- 60
- 69
- 121
- 103
- 96
- 78
- 59
- 50
- 36
- 28
- 35
- 34
- 27
- 31
- 19
- 32
- 17
- 15
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 3
- 3
- 3
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 9
- 3
- 3
- 3
- 3
- 2
- 4
- 4
- 4
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 3
- 6
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 9
- 5
- 2
- 2
- 2
- 2
- 9
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 7
- 6
- 2
- 2
- 2
- 2
- 5
- 3
- 4
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 11
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 9
- 7
- 2
- 2
- 4
- 2
- 3
- 5
- 3
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 5
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 5
- 5
- 3
- 2
- 2
- 2
- 2
- 6
- 12
- 4
- 5
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 16
- 23
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 14
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 7
- 3
- 2
- 2
- 4
- 6
- 2
- 4
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 18
- 2
- 2
- 2
- 4
- 7
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 9
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 3
- 3
- 5
- 3
- 2
- 6
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 4
- 2
- 2
- 2
- 3
- 4
- 3
- 7
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 3
- 2
- 4
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 4
- 4
- 3
- 4
- 2
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 7
- 7
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 5
- 2
- 6
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 3
- 2
- 7
- 2
- 12
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 4
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 3
- 6
- 2
- 2
- 4
- 4
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 7
- 7
- 9
- 12
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 4
- 4
- 2
- 2
- 6
- 2
- 2
- 10
- 20
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 10
- 2
- 2
- 4
- 5
- 5
- 2
- 2
- 2
- 2
- 3
- 5
- 5
- 2
- 2
- 3
- 6
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 13
- 2
- 2
- 5
- 2
- 2
- 4
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 5
- 2
- 3
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 5
- 2
- 3
- 7
- 2
- 2
- 7
- 2
- 2
- 2
- 5
- 3
- 5
- 3
- 2
- 4
- 3
- 2
- 5
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 18
- 2
- 3
- 4
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 7
- 2
- 2
- 3
- 8
- 2
- 5
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 9
- 9
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 13
- 6
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 5
- 3
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 24
- 2
- 2
- 3
- 2
- 9
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 29
- 3
- 2
- 4
- 3
- 7
- 4
- 3
- 2
- 6
- 4
- 2
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 4
- 2
- 5
- 6
- 14
- 3
- 3
- 3
- 2
- 3
- 2
- 9
- 2
- 2
- 4
- 2
- 3
- 4
- 2
- 3
- 7
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 4
- 3
- 7
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 7
- 3
- 6
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 5
- 2
- 3
- 4
- 10
- 7
- 3
- 5
- 3
- 7
- 7
- 3
- 3
- 5
- 7
- 4
- 4
- 3
- 5
- 3
- 3
- 3
- 15
- 3
- 6
- 5
- 4
- 4
- 3
- 3
- 7
- Verlag
-
- 2072
- 1
- 5
- Preis
-
- 4
- 93
- 1658
- 323
- Sprachen
-
- 2078
- Verfügbarkeit
-
- 2078
- Katalog
-
- 2078
- 124
-
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 -
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 -
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 -
Aldini / Bernardo / Bononi Computer Performance Engineering
7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15783-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kroening / Pasareanu / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II1. Auflage 2015Verlag: SpringerISBN: 978-3-319-21667-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Silva / Leino Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I1. Auflage 2021Verlag: SpringerISBN: 978-3-030-81684-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (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 -
Clarke / Kurshan Computer-Aided Verification
2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54477-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 IVErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-98684-0Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schiele / Sagerer Computer Vision Systems
Second International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42285-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Emerson / Sistla Computer Aided Verification
12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67770-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
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 -
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 -
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 -
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 -
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 -
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 -
Etessami / Rajamani Computer Aided Verification
17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-27231-1Medium: 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 -
Jeusfeld / Karlapalem Advances in Conceptual Modeling
ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-25746-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Shen / Yong / Yang Computer Supported Cooperative Work in Design IV
11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-92718-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Shen / Luo / Lin Computer Supported Cooperative Work in Design III
10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72862-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Indulska / Purao Advances in Conceptual Modeling
ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-12255-7Medium: 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