Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 758 Algorithmen & Datenstrukturen
- 128 Compiler
- 24 Datenbankprogrammierung
- 233 Funktionale, Logische, Parallele und Visuelle Programmierung
- 809 Grafikprogrammierung
- 1 Handheld Programmierung
- 4 Microsoft Programmierung
- 2 Netzwerkprogrammierung
- 81 Objektorientierte Programmierung
- 460 Programmier- und Skriptsprachen
- 1367 Programmierung: Methoden und Allgemeines
- 553 Prozedurale Programmierung
- 2205 Software Engineering
- 153 Spiele-Programmierung, Rendering, Animation
- 20 Web Services
- 43 Webprogrammierung
- Medium
-
- 4333
- Erscheinungsjahr
-
- 40
- 194
- 234
- 193
- 129
- 47
- 27
- 37
- 49
- 70
- 44
- 58
- 70
- 69
- 76
- 67
- 67
- 157
- 138
- 154
- 195
- 185
- 153
- 201
- 218
- 182
- 181
- 113
- 119
- 92
- 103
- 96
- 80
- 67
- 66
- 50
- 70
- 39
- 40
- 30
- 31
- 20
- 14
- 11
- 9
- 13
- 17
- 11
- 1
- 1
- 2
- 2
- 1
- Autoren
-
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 8
- 2
- 2
- 3
- 6
- 2
- 2
- 8
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 13
- 4
- 3
- 4
- 2
- 4
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 3
- 2
- 5
- 3
- 3
- 3
- 2
- 6
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 6
- 3
- 2
- 4
- 2
- 2
- 3
- 3
- 10
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 3
- 9
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 11
- 3
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 3
- 5
- 3
- 2
- 3
- 2
- 2
- 2
- 8
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 3
- 2
- 4
- 3
- 6
- 4
- 4
- 2
- 6
- 4
- 2
- 9
- 3
- 2
- 2
- 3
- 4
- 3
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 11
- 4
- 5
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 9
- 2
- 5
- 4
- 2
- 3
- 2
- 2
- 5
- 3
- 2
- 5
- 3
- 3
- 3
- 3
- 6
- 2
- 3
- 2
- 3
- 5
- 2
- 2
- 12
- 2
- 4
- 3
- 2
- 3
- 2
- 4
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 5
- 7
- 3
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 10
- 2
- 2
- 3
- 3
- 3
- 3
- 4
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 3
- 6
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 6
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 7
- 4
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 3
- 6
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 4
- 6
- 3
- 4
- 3
- 3
- 4
- 3
- 4
- 5
- 10
- 9
- 5
- 3
- 4
- 10
- 3
- 6
- 6
- 4
- 3
- 4
- 5
- 4
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 4
- 3
- 3
- 5
- 3
- 4
- 7
- 38
- 29
- 3
- 3
- 4
- 5
- 11
- 3
- 7
- 4
- 5
- 3
- 3
- 5
- 4
- 3
- 3
- 5
- 16
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 8
- 3
- 3
- 4
- 4
- 3
- 3
- 7
- 6
- 3
- 4
- 3
- 3
- 4
- 7
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 5
- 7
- 3
- 3
- 3
- 4
- 4
- 6
- 3
- 4
- 4
- 4
- 3
- 9
- 3
- 3
- 3
- 8
- 6
- 25
- 3
- 3
- 7
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 4
- 4
- 6
- 9
- 4
- 3
- 3
- 3
- 3
- 4
- 5
- 3
- 4
- 3
- 5
- 5
- 3
- 6
- 3
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 4
- 6
- 6
- 5
- 9
- 3
- 3
- 5
- 3
- 9
- 4
- 3
- 3
- 3
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 6
- 4
- 3
- 4
- 3
- 4
- 5
- 3
- 4
- 3
- 4
- 3
- 4
- 3
- 7
- 3
- 3
- 3
- 4
- 3
- 4
- 12
- 5
- 5
- 3
- 3
- 3
- 4
- 3
- 4
- 3
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 5
- 5
- 7
- 3
- 3
- 4
- 3
- 4
- 5
- 3
- 4
- 4
- 3
- 4
- 3
- 4
- 7
- 8
- 3
- 4
- 3
- 4
- 7
- 3
- 3
- 6
- 8
- 6
- 4
- 8
- 5
- 7
- 4
- 7
- 3
- 4
- 7
- 5
- 3
- 5
- 4
- 4
- 4
- 3
- 5
- 4
- 8
- 4
- 10
- 3
- 4
- 5
- 3
- 3
- 3
- 3
- 5
- 9
- 3
- 12
- 3
- 4
- 3
- 4
- 8
- 3
- 6
- 4
- 3
- 4
- 3
- 3
- 5
- 3
- 5
- 3
- 3
- 3
- 5
- 3
- 4
- 4
- 4
- 6
- 8
- 3
- 4
- 6
- 3
- 4
- 3
- 5
- 4
- 7
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 3
- 4
- 4
- 5
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 5
- 4
- 5
- 4
- 5
- 10
- 8
- 3
- 3
- 3
- 3
- 4
- 3
- 4
- 12
- 4
- 4
- 3
- 9
- 3
- 7
- 4
- 3
- 3
- 3
- 4
- 14
- 8
- 3
- 9
- 3
- 4
- 4
- 10
- 23
- 7
- 3
- 3
- 7
- 3
- 7
- 3
- 3
- 3
- 4
- 7
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 3
- 10
- 3
- 3
- 5
- 3
- 6
- 3
- 9
- 6
- 3
- 5
- 5
- 4
- 5
- 8
- 3
- 3
- 7
- 4
- 4
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 6
- 3
- 20
- 4
- 6
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 5
- 3
- 5
- 7
- 7
- 3
- 3
- 3
- 5
- 7
- 3
- 3
- 3
- 5
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 3
- 4
- 4
- 8
- 5
- 4
- 5
- 3
- 6
- 3
- 3
- 6
- 4
- 4
- 3
- 4
- 3
- 6
- 5
- 3
- 5
- 3
- 6
- 5
- 5
- 4
- 22
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 7
- 4
- 6
- 7
- 3
- 6
- 8
- 4
- 5
- 3
- 3
- 3
- 3
- 3
- 6
- 4
- 3
- 3
- 3
- 7
- 5
- 3
- 3
- 6
- 3
- 3
- 3
- 3
- 3
- 10
- 3
- 3
- 3
- 5
- 3
- 3
- 8
- 4
- 5
- 3
- 5
- 6
- 9
- 3
- 9
- 4
- 3
- 6
- 4
- 29
- 5
- 11
- 4
- 8
- 3
- 5
- 4
- 3
- 3
- 3
- 4
- 10
- 8
- 5
- 4
- 4
- 5
- 4
- 7
- 12
- 20
- 7
- 5
- 9
- 6
- 4
- 3
- 5
- 3
- 35
- 3
- 4
- 4
- 4
- 3
- 4
- 3
- 4
- 5
- 4
- 11
- 22
- 3
- 8
- 6
- 4
- 3
- 15
- 4
- 3
- 4
- 5
- 4
- 4
- 12
- 3
- 4
- 4
- 4
- 21
- 7
- 3
- 3
- 4
- 10
- 6
- 6
- 10
- 3
- 6
- 13
- 4
- 5
- 4
- 5
- 6
- 4
- 4
- 20
- 5
- 10
- 5
- 4
- 3
- 3
- Verlag
-
- 2
- 4288
- 1
- 1
- 1
- 6
- 8
- 4
- 7
- 15
- Preis
-
- 13
- 162
- 3363
- 795
- Sprachen
-
- 4333
- 5
- Verfügbarkeit
-
- 4256
- 77
- Eigenschaften
-
- 1
- Katalog
-
- 4333
- 243
-
Bouajjani / Maler Computer Aided Verification
21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02657-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Courcoubetis Computer Aided Verification
5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings1. Auflage 1993Verlag: SpringerISBN: 978-3-540-56922-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tomek Computer Assisted Learning
4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55578-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-98678-9Medium: 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 IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-98667-3Medium: 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 IIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-98681-9Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (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 II2024Verlag: SpringerISBN: 978-3-031-65629-3Medium: 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 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 -
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 -
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 -
Darulova / Lin / Rümmer Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part IErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-32518-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (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 -
Krömker HCI in Mobility, Transport, and Automotive Systems
8th International Conference, MobiTAS 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, Proceedings, Part IErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-30426-1Medium: Buch104,85 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage104,85 € (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 -
Theeramunkong / Kijsirikul / Cercone Advances in Knowledge Discovery and Data Mining
13th Pacific-Asia Conference, PAKDD 2009 Bangkok, Thailand, April 27-30, 2009 Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01306-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (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 -
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 -
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 -
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 -
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 -
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 -
Washio / Suzuki / Ting Advances in Knowledge Discovery and Data Mining
12th Pacific-Asia Conference, PAKDD 2008 Osaka, Japan, May 20-23, 2008 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68124-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (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 I1. Auflage 2023Verlag: SpringerISBN: 978-3-031-35677-3Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (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 IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-92688-4Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (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