Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 696 Algorithmen & Datenstrukturen
- 106 Compiler
- 23 Datenbankprogrammierung
- 246 Funktionale, Logische, Parallele und Visuelle Programmierung
- 799 Grafikprogrammierung
- 4 Microsoft Programmierung
- 1 Netzwerkprogrammierung
- 82 Objektorientierte Programmierung
- 443 Programmier- und Skriptsprachen
- 1375 Programmierung: Methoden und Allgemeines
- 565 Prozedurale Programmierung
- 2067 Software Engineering
- 154 Spiele-Programmierung, Rendering, Animation
- 22 Web Services
- 47 Webprogrammierung
- Medium
-
- 4152
- Erscheinungsjahr
-
- 25
- 240
- 183
- 127
- 47
- 20
- 39
- 47
- 67
- 56
- 61
- 79
- 66
- 80
- 83
- 67
- 150
- 139
- 145
- 200
- 201
- 133
- 212
- 223
- 183
- 181
- 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
- 2
- 5
- 2
- 4
- 8
- 3
- 5
- 2
- 4
- 5
- 2
- 2
- 7
- 3
- 3
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 4
- 5
- 2
- 3
- 3
- 2
- 4
- 4
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 15
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 5
- 4
- 3
- 3
- 4
- 4
- 5
- 4
- 3
- 2
- 3
- 2
- 6
- 3
- 2
- 2
- 4
- 6
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 4
- 2
- 4
- 7
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 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
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 5
- 3
- 4
- 5
- 4
- 2
- 5
- 4
- 2
- 2
- 10
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 11
- 2
- 4
- 9
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 9
- 2
- 4
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 2
- 2
- 4
- 3
- 5
- 3
- 11
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 6
- 3
- 2
- 3
- 4
- 3
- 3
- 3
- 2
- 4
- 3
- 3
- 4
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 3
- 5
- 2
- 2
- 2
- 5
- 3
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 10
- 3
- 2
- 8
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 13
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 35
- 27
- 2
- 3
- 3
- 4
- 2
- 3
- 2
- 2
- 13
- 4
- 2
- 9
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 4
- 2
- 2
- 16
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 3
- 4
- 3
- 8
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 8
- 6
- 4
- 3
- 3
- 4
- 3
- 5
- 4
- 3
- 4
- 3
- 4
- 3
- 7
- 4
- 3
- 4
- 3
- 4
- 4
- 3
- 5
- 3
- 5
- 3
- 4
- 3
- 7
- 3
- 3
- 3
- 12
- 6
- 21
- 3
- 3
- 7
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 6
- 3
- 8
- 4
- 3
- 3
- 3
- 4
- 6
- 3
- 5
- 3
- 5
- 3
- 4
- 6
- 3
- 4
- 4
- 3
- 3
- 3
- 4
- 3
- 4
- 7
- 6
- 5
- 11
- 3
- 3
- 6
- 3
- 7
- 5
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 5
- 3
- 4
- 3
- 3
- 7
- 3
- 3
- 3
- 5
- 3
- 3
- 15
- 5
- 6
- 3
- 4
- 3
- 6
- 5
- 4
- 4
- 3
- 7
- 4
- 4
- 5
- 3
- 3
- 3
- 4
- 3
- 5
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 5
- 6
- 3
- 4
- 6
- 6
- 3
- 3
- 3
- 5
- 6
- 4
- 3
- 4
- 3
- 6
- 7
- 3
- 6
- 4
- 3
- 4
- 6
- 6
- 3
- 3
- 3
- 3
- 3
- 4
- 9
- 5
- 6
- 6
- 5
- 3
- 5
- 5
- 5
- 3
- 3
- 7
- 3
- 4
- 12
- 4
- 4
- 6
- 3
- 4
- 4
- 3
- 3
- 8
- 3
- 5
- 4
- 5
- 3
- 3
- 4
- 7
- 3
- 4
- 4
- 4
- 8
- 6
- 3
- 3
- 6
- 3
- 6
- 7
- 5
- 4
- 4
- 4
- 4
- 3
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 7
- 3
- 5
- 5
- 5
- 3
- 11
- 3
- 8
- 3
- 3
- 3
- 3
- 4
- 12
- 3
- 10
- 4
- 4
- 3
- 4
- 11
- 3
- 3
- 5
- 3
- 4
- 10
- 21
- 7
- 6
- 4
- 6
- 3
- 3
- 3
- 4
- 3
- 7
- 3
- 3
- 3
- 7
- 3
- 4
- 3
- 3
- 7
- 4
- 5
- 5
- 3
- 6
- 5
- 4
- 9
- 5
- 5
- 5
- 3
- 7
- 3
- 3
- 6
- 4
- 4
- 3
- 3
- 3
- 3
- 6
- 5
- 4
- 5
- 4
- 17
- 3
- 6
- 3
- 4
- 4
- 3
- 3
- 4
- 3
- 5
- 7
- 7
- 3
- 3
- 4
- 3
- 7
- 3
- 3
- 3
- 5
- 4
- 4
- 3
- 4
- 3
- 3
- 4
- 4
- 3
- 5
- 6
- 5
- 3
- 3
- 3
- 3
- 7
- 3
- 3
- 6
- 3
- 4
- 4
- 4
- 4
- 3
- 3
- 4
- 3
- 4
- 3
- 5
- 5
- 3
- 9
- 4
- 9
- 18
- 7
- 6
- 4
- 3
- 6
- 4
- 6
- 3
- 7
- 4
- 3
- 3
- 3
- 9
- 4
- 3
- 4
- 3
- 3
- 4
- 4
- 3
- 4
- 3
- 7
- 3
- 5
- 6
- 5
- 3
- 3
- 6
- 3
- 4
- 4
- 4
- 5
- 4
- 3
- 3
- 5
- 3
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 6
- 3
- 11
- 9
- 7
- 3
- 4
- 4
- 31
- 4
- 11
- 3
- 12
- 3
- 7
- 4
- 3
- 3
- 3
- 3
- 3
- 9
- 3
- 5
- 4
- 4
- 3
- 6
- 26
- 4
- 6
- 4
- 9
- 3
- 3
- 4
- 33
- 3
- 5
- 4
- 3
- 4
- 3
- 10
- 5
- 17
- 8
- 9
- 4
- 6
- 3
- 11
- 4
- 4
- 7
- 4
- 8
- 4
- 5
- 4
- 4
- 3
- 21
- 6
- 3
- 5
- 12
- 6
- 7
- 5
- 4
- 3
- 10
- 3
- 5
- 6
- 5
- 4
- 20
- 5
- 4
- 6
- 5
- 4
- 4
- 6
- Verlag
-
- 4124
- 1
- 3
- 24
- Preis
-
- 13
- 138
- 3222
- 779
- Sprachen
-
- 4152
- 5
- Verfügbarkeit
-
- 4148
- 4
- Eigenschaften
-
- 1
- Katalog
-
- 4152
- 239
-
Piskac / Rakamaric / 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 -
Kalinichenko / Manthey / Thalheim Advances in Databases and Information Systems
7th East European Conference, ADBIS 2003, Dresden, Germany, September 3-6, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20047-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bruel / Bellahsene Advances in Object-Oriented Information Systems
OOIS 2002 Workshops, Montpellier, France, September 2, 2002 ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44088-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Litwin / Morzy / Vossen Advances in Databases and Information Systems
Second East European Symposium, ADBIS '98, Poznan, Poland, September 7-10, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64924-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhang / Li / Du Algorithmic Aspects in Information and Management
14th International Conference, AAIM 2020, Jinhua, China, August 10-12, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-57601-1Medium: 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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
Gopalakrishnan / Windley Formal Methods in Computer-Aided Design
Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65191-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ponce / Zisserman / Hebert Object Representation in Computer Vision II
ECCV '96 International Workshop, Cambridge, UK, April 13 - 14, 1996. Proceedings1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61750-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Griffin / Lillholm Scale Space Methods in Computer Vision
4th International Conference, Scale-Space 2003, Isle of Skye, UK, June 10-12, 2003, ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-40368-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bass / Gornostaev / Unger Human-Computer Interaction
Third International Conference, EWHCI '93, Moscow, Russia, August 3-7, 1993. Selected PapersErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57433-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhou / Li / Yang Advances in Knowledge Discovery and Data Mining
11th Pacific-Asia Conference, PAKDD 2007, Nanjing, China, May 22-25, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-71700-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort