Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 690 Algorithmen & Datenstrukturen
- 108 Compiler
- 23 Datenbankprogrammierung
- 246 Funktionale, Logische, Parallele und Visuelle Programmierung
- 802 Grafikprogrammierung
- 3 Microsoft Programmierung
- 1 Netzwerkprogrammierung
- 83 Objektorientierte Programmierung
- 451 Programmier- und Skriptsprachen
- 1370 Programmierung: Methoden und Allgemeines
- 563 Prozedurale Programmierung
- 2060 Software Engineering
- 155 Spiele-Programmierung, Rendering, Animation
- 25 Web Services
- 44 Webprogrammierung
- Medium
-
- 4162
- Erscheinungsjahr
-
- 41
- 242
- 183
- 128
- 47
- 20
- 38
- 48
- 66
- 56
- 60
- 80
- 67
- 80
- 84
- 62
- 140
- 141
- 145
- 209
- 192
- 138
- 211
- 222
- 184
- 180
- 120
- 121
- 85
- 100
- 95
- 83
- 68
- 66
- 50
- 67
- 38
- 41
- 30
- 32
- 20
- 14
- 11
- 9
- 13
- 17
- 11
- 1
- 1
- 2
- 2
- 1
- Autoren
-
- 3
- 2
- 2
- 6
- 2
- 3
- 8
- 3
- 6
- 2
- 2
- 5
- 2
- 2
- 7
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 5
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 15
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 5
- 4
- 3
- 3
- 4
- 4
- 5
- 4
- 3
- 2
- 3
- 2
- 6
- 3
- 2
- 2
- 4
- 2
- 6
- 3
- 2
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 4
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 7
- 3
- 6
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 5
- 2
- 4
- 5
- 4
- 6
- 4
- 2
- 2
- 10
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 11
- 2
- 4
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 9
- 4
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 3
- 5
- 2
- 9
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 6
- 3
- 2
- 3
- 4
- 2
- 3
- 3
- 2
- 4
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 6
- 3
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 6
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 10
- 2
- 2
- 8
- 7
- 2
- 2
- 2
- 13
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 34
- 27
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 12
- 4
- 2
- 9
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 3
- 2
- 2
- 16
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 8
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 8
- 6
- 3
- 3
- 4
- 3
- 5
- 4
- 3
- 4
- 3
- 4
- 7
- 4
- 3
- 4
- 3
- 4
- 4
- 3
- 5
- 3
- 6
- 3
- 4
- 3
- 7
- 3
- 3
- 3
- 12
- 6
- 22
- 3
- 7
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 5
- 3
- 9
- 4
- 3
- 3
- 3
- 6
- 3
- 5
- 3
- 3
- 5
- 3
- 4
- 6
- 3
- 4
- 4
- 3
- 4
- 3
- 4
- 3
- 4
- 6
- 6
- 5
- 11
- 3
- 3
- 6
- 3
- 8
- 6
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 4
- 3
- 3
- 7
- 3
- 3
- 3
- 5
- 3
- 3
- 15
- 5
- 4
- 3
- 5
- 3
- 6
- 5
- 4
- 4
- 7
- 4
- 4
- 5
- 3
- 3
- 4
- 3
- 6
- 3
- 4
- 5
- 3
- 3
- 3
- 3
- 6
- 5
- 5
- 3
- 4
- 6
- 6
- 3
- 3
- 5
- 6
- 3
- 4
- 4
- 3
- 6
- 7
- 3
- 6
- 4
- 3
- 4
- 5
- 6
- 3
- 3
- 3
- 3
- 4
- 7
- 5
- 6
- 7
- 5
- 3
- 5
- 5
- 5
- 3
- 3
- 7
- 3
- 4
- 12
- 5
- 4
- 7
- 3
- 5
- 4
- 3
- 3
- 8
- 3
- 5
- 5
- 5
- 3
- 3
- 4
- 7
- 3
- 4
- 3
- 4
- 4
- 7
- 6
- 3
- 3
- 3
- 6
- 3
- 3
- 6
- 7
- 4
- 3
- 4
- 4
- 4
- 3
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 7
- 3
- 5
- 5
- 5
- 11
- 7
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 12
- 3
- 8
- 4
- 4
- 3
- 4
- 10
- 3
- 5
- 3
- 4
- 10
- 22
- 7
- 5
- 4
- 6
- 3
- 3
- 3
- 4
- 3
- 6
- 3
- 3
- 3
- 7
- 3
- 4
- 3
- 3
- 6
- 3
- 4
- 5
- 3
- 6
- 5
- 4
- 9
- 5
- 5
- 5
- 4
- 7
- 3
- 3
- 6
- 4
- 4
- 3
- 3
- 3
- 3
- 6
- 6
- 4
- 5
- 3
- 5
- 17
- 3
- 6
- 3
- 4
- 5
- 3
- 3
- 4
- 3
- 5
- 7
- 7
- 3
- 3
- 3
- 5
- 3
- 7
- 3
- 3
- 3
- 3
- 5
- 3
- 4
- 3
- 4
- 3
- 3
- 4
- 5
- 5
- 7
- 4
- 3
- 3
- 7
- 3
- 3
- 6
- 3
- 3
- 4
- 5
- 4
- 3
- 3
- 5
- 4
- 5
- 3
- 6
- 5
- 3
- 7
- 4
- 9
- 18
- 7
- 6
- 4
- 3
- 7
- 4
- 6
- 3
- 6
- 5
- 3
- 3
- 9
- 4
- 4
- 3
- 3
- 4
- 4
- 3
- 4
- 3
- 7
- 3
- 3
- 5
- 6
- 6
- 3
- 3
- 7
- 3
- 3
- 3
- 4
- 4
- 6
- 6
- 4
- 4
- 3
- 5
- 3
- 3
- 5
- 6
- 3
- 3
- 3
- 4
- 5
- 5
- 6
- 3
- 10
- 9
- 7
- 4
- 4
- 31
- 4
- 11
- 3
- 3
- 12
- 3
- 7
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 10
- 3
- 5
- 4
- 4
- 3
- 6
- 20
- 8
- 6
- 3
- 9
- 3
- 5
- 33
- 3
- 5
- 5
- 4
- 3
- 8
- 8
- 18
- 8
- 7
- 3
- 6
- 3
- 9
- 4
- 6
- 4
- 9
- 4
- 5
- 5
- 4
- 4
- 3
- 20
- 6
- 3
- 5
- 12
- 6
- 5
- 4
- 3
- 10
- 3
- 5
- 7
- 3
- 4
- 4
- 20
- 6
- 4
- 6
- 4
- 4
- 4
- 6
- 3
- Verlag
-
- 4133
- 1
- 1
- 3
- 24
- Preis
-
- 13
- 143
- 3231
- 775
- Sprachen
-
- 4162
- 5
- Verfügbarkeit
-
- 4160
- 2
- Eigenschaften
-
- 1
- Katalog
-
- 4162
- 237
-
Eder / Haav / Kalja Advances in Databases and Information Systems
9th East European Conference, ADBIS 2005, Tallinn, Estonia, September 12-15, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28585-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Manolopoulos / Navrat Advances in Databases and Information Systems
6th East European Conference, ADBIS 2002, Bratislava, Slovakia, September 8-11, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44138-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Berry / Comon / Finkel Computer Aided Verification
13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42345-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tang / Du / Woodruff Algorithmic Aspects in Information and Management
12th International Conference, AAIM 2018, Dallas, TX, USA, December 3-4, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-04617-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
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 -
Lahiri / Wang Computer Aided Verification
32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-53287-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 -
Tribastone / Gilmore Computer Performance Engineering
9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36780-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (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 -
Hunt / 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 -
Dillig / Tasiran Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I1. Auflage 2019Verlag: SpringerISBN: 978-3-030-25539-8Medium: 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 I2024Verlag: SpringerISBN: 978-3-031-65626-2Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (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 -
Berthold / Lenz / Bradley Advances in Intelligent Data Analysis V
5th International Symposium on Intelligent Data Analysis, IDA 2003, Berlin, Germany, August 28-30, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40813-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gottlob / Benczur / Demetrovics Advances in Databases and Information Systems
8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23243-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Frakes Software Reuse: Advances in Software Reusability
6th International Conference, ICSR-6 Vienna, Austria, June 27-29, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67696-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Meng / Su / Wang Advances in Web-Age Information Management
Third International Conference, WAIM 2002, Beijing, China, August 11-13, 2002. ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44045-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cheng / Poon Algorithmic Aspects in Information and Management
Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35157-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Berthold / Shawe-Taylor / Lavrac Advances in Intelligent Data Analysis VII
7th International Symposium on Intelligent Data Analysis, IDA 2007, Ljubljana, Slovenia, September 6-8, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74824-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fritz / Schiele / Piater Computer Vision Systems
7th International Conference on Computer Vision Systems, ICVS 2009 Liège, Belgium, October 13-15, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04666-7Medium: 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 -
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 -
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort