Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 703 Algorithmen & Datenstrukturen
- 113 Compiler
- 27 Datenbankprogrammierung
- 244 Funktionale, Logische, Parallele und Visuelle Programmierung
- 816 Grafikprogrammierung
- 1 Handheld Programmierung
- 4 Microsoft Programmierung
- 2 Netzwerkprogrammierung
- 84 Objektorientierte Programmierung
- 464 Programmier- und Skriptsprachen
- 1364 Programmierung: Methoden und Allgemeines
- 553 Prozedurale Programmierung
- 2108 Software Engineering
- 160 Spiele-Programmierung, Rendering, Animation
- 22 Web Services
- 46 Webprogrammierung
- Medium
-
- 4216
- Erscheinungsjahr
-
- 71
- 234
- 196
- 133
- 47
- 23
- 41
- 49
- 63
- 48
- 83
- 72
- 64
- 84
- 73
- 69
- 162
- 121
- 151
- 200
- 186
- 142
- 213
- 218
- 180
- 182
- 118
- 118
- 97
- 101
- 95
- 81
- 68
- 67
- 53
- 70
- 38
- 41
- 30
- 32
- 20
- 14
- 11
- 9
- 13
- 17
- 11
- 1
- 1
- 2
- 2
- 1
- Autoren
-
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 4
- 8
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 7
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 6
- 2
- 2
- 3
- 3
- 4
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 12
- 2
- 3
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 5
- 3
- 4
- 3
- 4
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 6
- 3
- 2
- 6
- 2
- 2
- 3
- 6
- 2
- 2
- 3
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 3
- 5
- 9
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 3
- 3
- 4
- 2
- 3
- 7
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 2
- 6
- 2
- 2
- 5
- 4
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 5
- 6
- 4
- 4
- 2
- 4
- 4
- 2
- 10
- 3
- 3
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 12
- 2
- 4
- 7
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 8
- 2
- 6
- 2
- 2
- 3
- 2
- 5
- 3
- 2
- 3
- 2
- 3
- 3
- 6
- 2
- 3
- 2
- 3
- 5
- 2
- 7
- 2
- 3
- 4
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 7
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 4
- 3
- 3
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 6
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 6
- 2
- 3
- 2
- 4
- 7
- 2
- 2
- 2
- 2
- 10
- 5
- 3
- 7
- 2
- 2
- 2
- 4
- 4
- 12
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 4
- 5
- 2
- 2
- 4
- 3
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 38
- 28
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 11
- 3
- 4
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 16
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 8
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 9
- 6
- 5
- 3
- 4
- 3
- 5
- 4
- 5
- 3
- 3
- 3
- 3
- 3
- 7
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 5
- 3
- 3
- 3
- 3
- 4
- 3
- 7
- 4
- 4
- 4
- 7
- 6
- 21
- 4
- 3
- 8
- 3
- 3
- 5
- 4
- 3
- 4
- 4
- 3
- 3
- 7
- 7
- 4
- 3
- 3
- 4
- 4
- 3
- 5
- 3
- 3
- 5
- 7
- 5
- 3
- 6
- 4
- 5
- 3
- 3
- 3
- 4
- 4
- 3
- 5
- 6
- 3
- 4
- 11
- 3
- 5
- 6
- 4
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 7
- 3
- 3
- 4
- 3
- 3
- 12
- 5
- 6
- 3
- 3
- 3
- 3
- 8
- 3
- 4
- 3
- 4
- 3
- 4
- 5
- 5
- 3
- 4
- 3
- 4
- 3
- 5
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 3
- 5
- 6
- 3
- 4
- 3
- 4
- 7
- 4
- 3
- 3
- 3
- 3
- 6
- 3
- 3
- 6
- 5
- 9
- 3
- 7
- 3
- 7
- 3
- 3
- 6
- 4
- 3
- 3
- 4
- 3
- 3
- 7
- 4
- 6
- 10
- 5
- 4
- 5
- 3
- 5
- 4
- 3
- 7
- 4
- 7
- 3
- 3
- 12
- 4
- 3
- 6
- 6
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 5
- 4
- 5
- 4
- 3
- 3
- 5
- 3
- 3
- 4
- 5
- 8
- 5
- 3
- 4
- 6
- 3
- 3
- 3
- 3
- 7
- 5
- 4
- 4
- 4
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 4
- 7
- 3
- 6
- 4
- 6
- 6
- 5
- 3
- 3
- 4
- 4
- 4
- 4
- 10
- 4
- 3
- 6
- 3
- 3
- 7
- 4
- 3
- 4
- 13
- 3
- 8
- 3
- 5
- 4
- 12
- 25
- 7
- 3
- 5
- 3
- 3
- 4
- 3
- 3
- 6
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 4
- 9
- 3
- 3
- 3
- 4
- 5
- 5
- 4
- 5
- 6
- 3
- 5
- 5
- 4
- 10
- 3
- 3
- 6
- 3
- 4
- 4
- 4
- 3
- 3
- 6
- 3
- 3
- 4
- 5
- 4
- 16
- 6
- 4
- 5
- 5
- 5
- 4
- 3
- 4
- 4
- 7
- 6
- 4
- 3
- 6
- 7
- 4
- 3
- 5
- 6
- 4
- 3
- 3
- 4
- 3
- 6
- 5
- 4
- 8
- 3
- 4
- 7
- 5
- 3
- 6
- 3
- 6
- 3
- 3
- 4
- 3
- 6
- 3
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 7
- 8
- 18
- 3
- 3
- 8
- 5
- 3
- 6
- 3
- 5
- 7
- 4
- 3
- 10
- 4
- 3
- 4
- 4
- 4
- 3
- 6
- 3
- 3
- 5
- 5
- 5
- 3
- 7
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 5
- 3
- 5
- 3
- 7
- 3
- 3
- 7
- 6
- 8
- 9
- 4
- 3
- 4
- 32
- 5
- 11
- 3
- 4
- 12
- 4
- 10
- 3
- 3
- 5
- 4
- 3
- 7
- 3
- 5
- 4
- 3
- 6
- 6
- 5
- 4
- 11
- 20
- 6
- 9
- 3
- 3
- 35
- 3
- 4
- 4
- 4
- 3
- 3
- 9
- 16
- 3
- 10
- 7
- 3
- 3
- 10
- 4
- 3
- 3
- 3
- 6
- 4
- 11
- 3
- 5
- 4
- 4
- 18
- 6
- 4
- 3
- 11
- 4
- 7
- 4
- 6
- 3
- 9
- 4
- 5
- 4
- 4
- 4
- 18
- 5
- 5
- 4
- 5
- 3
- 3
- Verlag
-
- 4194
- 1
- 1
- 2
- 18
- Preis
-
- 13
- 147
- 3263
- 793
- Sprachen
-
- 4216
- 5
- Verfügbarkeit
-
- 4213
- 3
- Eigenschaften
-
- 6
- Katalog
-
- 4216
- 243
-
Yagi / Kang / Kweon Computer Vision - ACCV 2007
8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part IIErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76389-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yagi / Kang / Kweon Computer Vision -- ACCV 2007
8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part IErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76385-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wang / Yu / Lu Advances in Web-Age Information Management
Second International Conference, WAIM 2001, Xi'an, China, July 9-11, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42298-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ioannidis / Novikov / Rachev Advances in Databases and Information Systems
11th East European Conference, ADBIS 2007, Varna, Bulgaria, September 29-October 3, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75184-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
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 -
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 -
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 -
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 -
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 -
Bradley Computer Performance Engineering
6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02923-3Medium: 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 -
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 -
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 -
Ball / Jones Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37406-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
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 -
Kroening / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I1. Auflage 2015Verlag: SpringerISBN: 978-3-319-21689-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sharygina / Veith Computer Aided Verification
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39798-1Medium: 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 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 -
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 -
Piskac / 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 -
Dong / Tang / Wang Advances in Web-Age Information Management
4th International Conference, WAIM 2003, Chengdu, China, August 17-19, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40715-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Famili / Kok / Pena Advances in Intelligent Data Analysis VI
6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28795-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