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
-
Lämmel / Saraiva / Visser Generative and Transformational Techniques in Software Engineering
International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45778-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 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 -
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 -
Brinksma / Larsen Computer Aided Verification
14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43997-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
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 -
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 -
Krömker HCI in Mobility, Transport, and Automotive Systems
5th International Conference, MobiTAS 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II1. Auflage 2023Verlag: SpringerISBN: 978-3-031-35907-1Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (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 -
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 -
Kerckhove Scale-Space and Morphology in Computer Vision
Third International Conference, Scale-Space 2001, Vancouver, Canada, July 7-8, 2001. Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42317-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gibet / Courty / Kamp Gesture in Human-Computer Interaction and Simulation
6th International Gesture Workshop, GW 2005, Berder Island, France, May 18-20, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-32624-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Krömker HCI in Mobility, Transport, and Automotive Systems
7th International Conference, MobiTAS 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-92691-4Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dikenelli / Gleizes / Ricci Engineering Societies in the Agents World VI
6th International Workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34451-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ajmone Marsan / Corazza / Listanti Quality of Service in Multiservice IP Networks
Second International Workshop, QoS-IP 2003, Milano, Italy, February 24-26, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00604-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Krömker HCI in Mobility, Transport, and Automotive Systems
6th International Conference, MobiTAS 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part I2024Verlag: SpringerISBN: 978-3-031-60476-8Medium: Buch192,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage192,59 € (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 / 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 -
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 -
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 -
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 -
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 -
Lubich Towards a CSCW Framework for Scientific Cooperation in Europe
Erscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-58844-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Forsyth / Mundy / Gesu Shape, Contour and Grouping in Computer Vision
Erscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66722-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kobayashi / Pierce Theoretical Aspects of Computer Software
4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42736-0Medium: 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