Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2206
- Erscheinungsjahr
-
- 26
- 124
- 149
- 138
- 107
- 40
- 21
- 22
- 30
- 36
- 24
- 31
- 47
- 41
- 48
- 41
- 28
- 74
- 58
- 73
- 82
- 72
- 73
- 116
- 105
- 95
- 77
- 56
- 51
- 38
- 29
- 34
- 33
- 27
- 32
- 19
- 33
- 17
- 15
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 3
- 2
- 2
- 4
- 2
- 2
- 8
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 11
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 10
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 3
- 9
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 11
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 8
- 6
- 2
- 2
- 3
- 4
- 6
- 4
- 3
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 11
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 9
- 2
- 5
- 4
- 2
- 4
- 3
- 5
- 3
- 3
- 5
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 5
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 4
- 3
- 5
- 3
- 3
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 4
- 4
- 2
- 5
- 12
- 2
- 5
- 2
- 3
- 3
- 2
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 7
- 2
- 17
- 25
- 2
- 2
- 2
- 5
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 13
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 4
- 7
- 2
- 2
- 2
- 3
- 2
- 4
- 6
- 2
- 4
- 2
- 2
- 4
- 9
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 23
- 2
- 2
- 2
- 6
- 3
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 3
- 2
- 4
- 3
- 8
- 2
- 3
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 5
- 3
- 3
- 4
- 5
- 3
- 2
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 4
- 4
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 3
- 7
- 2
- 5
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 4
- 7
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 4
- 4
- 4
- 8
- 3
- 2
- 3
- 4
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 9
- 2
- 12
- 2
- 3
- 4
- 8
- 2
- 2
- 6
- 2
- 4
- 2
- 3
- 3
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 4
- 6
- 2
- 4
- 6
- 2
- 3
- 5
- 4
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 5
- 5
- 2
- 10
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 4
- 4
- 8
- 2
- 3
- 2
- 10
- 23
- 2
- 2
- 2
- 3
- 2
- 7
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 5
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 10
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 7
- 6
- 2
- 2
- 3
- 5
- 5
- 3
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 3
- 2
- 6
- 4
- 18
- 2
- 2
- 5
- 4
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 4
- 3
- 2
- 3
- 2
- 2
- 6
- 3
- 2
- 2
- 5
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 2
- 5
- 3
- 2
- 4
- 2
- 5
- 2
- 2
- 4
- 22
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 10
- 2
- 3
- 3
- 5
- 3
- 5
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 4
- 6
- 2
- 2
- 2
- 10
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 11
- 6
- 2
- 2
- 5
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 4
- 4
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 10
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 13
- 16
- 3
- 9
- 3
- 3
- 6
- 6
- 3
- 34
- 3
- 3
- 6
- 4
- 4
- 6
- 4
- 4
- 4
- 3
- 4
- 5
- 6
- 11
- 21
- 3
- 3
- 5
- 3
- 4
- 5
- 3
- 3
- 3
- 11
- 3
- 5
- 3
- 4
- 4
- 4
- 3
- 3
- 3
- 5
- 4
- 5
- 3
- 6
- 3
- 8
- 3
- 3
- 3
- 5
- 3
- 6
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 11
- 8
- 6
- 3
- 3
- 4
- 7
- 3
- 3
- 5
- 4
- 4
- 7
- 3
- 3
- 7
- 5
- 4
- 6
- 4
- 5
- 3
- 6
- 4
- 4
- 16
- 10
- 3
- 3
- 4
- 4
- Verlag
-
- 1
- 2190
- 1
- 7
- 2
- 5
- Preis
-
- 4
- 106
- 1756
- 340
- Sprachen
-
- 2206
- Verfügbarkeit
-
- 2162
- 44
- Eigenschaften
-
- 2
- Katalog
-
- 2206
- 133
-
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 -
Kroening / 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 -
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 -
Darulova / Lin / Rümmer Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part IIIErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-32536-5Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (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 -
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 -
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 -
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 -
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 -
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 -
Darulova / Lin / Rümmer Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part IIErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-32525-9Medium: 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 -
Bouajjani / Maler Computer Aided Verification
21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02657-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
Piskac / 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 -
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 -
Piskac / 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 -
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 -
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 -
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 -
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 -
Darulova / Lin / Rümmer Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part IErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-32518-1Medium: 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 I2024Verlag: SpringerISBN: 978-3-031-65626-2Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Krömker HCI in Mobility, Transport, and Automotive Systems
8th International Conference, MobiTAS 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, Proceedings, Part IErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-30426-1Medium: Buch104,85 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage104,85 € (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