Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 656 Algorithmen & Datenstrukturen
- 111 Compiler
- 28 Datenbankprogrammierung
- 258 Funktionale, Logische, Parallele und Visuelle Programmierung
- 799 Grafikprogrammierung
- 4 Microsoft Programmierung
- 2 Netzwerkprogrammierung
- 84 Objektorientierte Programmierung
- 459 Programmier- und Skriptsprachen
- 1341 Programmierung: Methoden und Allgemeines
- 561 Prozedurale Programmierung
- 2077 Software Engineering
- 151 Spiele-Programmierung, Rendering, Animation
- 25 Web Services
- 48 Webprogrammierung
- Medium
-
- 4137
- Erscheinungsjahr
-
- 13
- 232
- 187
- 135
- 46
- 30
- 41
- 49
- 67
- 54
- 72
- 74
- 71
- 84
- 72
- 76
- 141
- 133
- 146
- 202
- 163
- 143
- 212
- 215
- 182
- 181
- 123
- 121
- 91
- 101
- 99
- 84
- 70
- 65
- 50
- 69
- 39
- 40
- 30
- 32
- 20
- 14
- 11
- 9
- 13
- 17
- 11
- 1
- 1
- 2
- 2
- 1
- Autoren
-
- 3
- 2
- 2
- 3
- 2
- 5
- 8
- 2
- 2
- 2
- 5
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 5
- 5
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 4
- 3
- 6
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 11
- 4
- 3
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 3
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 5
- 5
- 4
- 2
- 3
- 3
- 3
- 5
- 2
- 2
- 5
- 4
- 3
- 2
- 3
- 6
- 3
- 3
- 3
- 6
- 3
- 4
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 4
- 2
- 5
- 10
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 10
- 2
- 5
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 5
- 3
- 3
- 4
- 4
- 2
- 5
- 3
- 2
- 2
- 9
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 4
- 2
- 11
- 2
- 4
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 9
- 7
- 3
- 2
- 3
- 2
- 2
- 5
- 2
- 3
- 3
- 2
- 2
- 7
- 3
- 2
- 3
- 3
- 5
- 3
- 9
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 5
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 3
- 3
- 4
- 3
- 3
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 5
- 3
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 6
- 2
- 2
- 5
- 2
- 5
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 4
- 10
- 4
- 2
- 10
- 3
- 7
- 2
- 3
- 2
- 12
- 2
- 3
- 4
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 4
- 5
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 33
- 27
- 2
- 2
- 3
- 4
- 3
- 2
- 8
- 4
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 17
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 8
- 4
- 3
- 2
- 3
- 4
- 4
- 3
- 3
- 8
- 6
- 5
- 3
- 3
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 4
- 7
- 4
- 3
- 3
- 4
- 4
- 6
- 4
- 3
- 5
- 3
- 7
- 3
- 3
- 3
- 3
- 4
- 3
- 7
- 6
- 20
- 3
- 4
- 7
- 3
- 3
- 3
- 6
- 3
- 3
- 4
- 3
- 4
- 3
- 8
- 4
- 3
- 9
- 4
- 3
- 3
- 4
- 4
- 3
- 3
- 3
- 5
- 6
- 3
- 3
- 3
- 6
- 3
- 5
- 4
- 3
- 3
- 4
- 3
- 4
- 3
- 5
- 6
- 3
- 4
- 11
- 3
- 3
- 5
- 5
- 3
- 7
- 5
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 5
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 7
- 3
- 4
- 3
- 3
- 12
- 5
- 6
- 3
- 3
- 3
- 3
- 3
- 6
- 4
- 3
- 4
- 3
- 3
- 4
- 5
- 5
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 5
- 3
- 4
- 5
- 5
- 5
- 3
- 3
- 4
- 6
- 3
- 3
- 4
- 3
- 8
- 4
- 6
- 3
- 7
- 3
- 3
- 7
- 7
- 3
- 3
- 3
- 3
- 4
- 3
- 9
- 5
- 6
- 5
- 4
- 5
- 5
- 4
- 3
- 5
- 3
- 3
- 3
- 7
- 4
- 3
- 12
- 3
- 3
- 3
- 6
- 3
- 4
- 4
- 4
- 3
- 5
- 5
- 3
- 3
- 4
- 3
- 3
- 4
- 3
- 4
- 8
- 3
- 6
- 3
- 3
- 4
- 4
- 7
- 5
- 4
- 3
- 4
- 3
- 3
- 4
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 7
- 3
- 7
- 4
- 7
- 3
- 9
- 12
- 3
- 6
- 4
- 4
- 11
- 3
- 5
- 7
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 12
- 3
- 9
- 5
- 5
- 10
- 21
- 6
- 3
- 6
- 4
- 3
- 5
- 3
- 3
- 3
- 5
- 6
- 5
- 3
- 3
- 4
- 4
- 3
- 3
- 10
- 3
- 3
- 4
- 5
- 5
- 3
- 5
- 4
- 3
- 7
- 5
- 5
- 6
- 9
- 3
- 3
- 5
- 4
- 4
- 3
- 3
- 3
- 9
- 4
- 15
- 3
- 6
- 4
- 4
- 3
- 3
- 3
- 3
- 5
- 5
- 7
- 7
- 3
- 3
- 6
- 3
- 7
- 3
- 3
- 5
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 6
- 3
- 3
- 3
- 7
- 7
- 3
- 6
- 5
- 3
- 4
- 5
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 5
- 3
- 7
- 5
- 5
- 3
- 3
- 3
- 9
- 4
- 18
- 3
- 3
- 8
- 3
- 4
- 3
- 3
- 6
- 3
- 4
- 4
- 6
- 7
- 4
- 5
- 3
- 4
- 4
- 4
- 3
- 7
- 3
- 4
- 3
- 3
- 6
- 9
- 5
- 3
- 4
- 3
- 4
- 4
- 5
- 7
- 4
- 3
- 5
- 3
- 3
- 8
- 4
- 4
- 4
- 3
- 5
- 6
- 8
- 9
- 4
- 3
- 3
- 3
- 4
- 35
- 6
- 9
- 4
- 10
- 4
- 9
- 3
- 3
- 3
- 3
- 3
- 7
- 3
- 5
- 4
- 3
- 27
- 6
- 4
- 9
- 3
- 4
- 30
- 3
- 3
- 6
- 4
- 3
- 4
- 3
- 8
- 6
- 15
- 9
- 7
- 3
- 3
- 8
- 6
- 6
- 3
- 4
- 11
- 5
- 3
- 4
- 3
- 5
- 18
- 6
- 4
- 5
- 11
- 6
- 5
- 3
- 5
- 5
- 3
- 9
- 5
- 5
- 4
- 3
- 3
- 18
- 3
- 5
- 4
- 4
- 6
- 3
- 4
- 3
- 5
- Verlag
-
- 4114
- 1
- 1
- 21
- Preis
-
- 13
- 150
- 3191
- 783
- Sprachen
-
- 4137
- 5
- 1
- Verfügbarkeit
-
- 4136
- 1
- Katalog
-
- 4137
- 234
-
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 -
Lew / Sebe / Huang Human-Computer Interaction
International Workshop, HCI 2007 Rio de Janeiro, Brazil, October 20, 2007 ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75772-6Medium: 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 -
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 -
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 -
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 -
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 -
Cuppens / Deswarte / Gollmann Computer Security - ESORICS 2000
6th European Symposium on Research in Computer Security Toulouse, France, October 4-6, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41031-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gritzalis / Preneel / Theoharidou Computer Security - ESORICS 2010
15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15496-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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