Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 702 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
- 463 Programmier- und Skriptsprachen
- 1362 Programmierung: Methoden und Allgemeines
- 553 Prozedurale Programmierung
- 2107 Software Engineering
- 160 Spiele-Programmierung, Rendering, Animation
- 22 Web Services
- 46 Webprogrammierung
- Medium
-
- 4214
- Erscheinungsjahr
-
- 70
- 235
- 195
- 133
- 47
- 23
- 41
- 49
- 63
- 48
- 83
- 72
- 64
- 84
- 73
- 69
- 162
- 121
- 150
- 199
- 185
- 142
- 215
- 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
- 3
- 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
- 27
- 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
- 4
- 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
- 3
- 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
- 4
- 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
- 3
- 12
- 3
- 10
- 3
- 3
- 5
- 4
- 3
- 7
- 3
- 5
- 4
- 3
- 6
- 6
- 5
- 4
- 9
- 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
-
- 4192
- 1
- 1
- 2
- 18
- Preis
-
- 13
- 147
- 3262
- 792
- Sprachen
-
- 4214
- 5
- Verfügbarkeit
-
- 4211
- 3
- Eigenschaften
-
- 5
- Katalog
-
- 4214
- 241
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V2024Verlag: SpringerISBN: 978-3-031-75389-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Reyes-Lecuona / Zachmann / Bordegoni Virtual Reality and Mixed Reality
21st EuroXR International Conference, EuroXR 2024, Athens, Greece, November 27-29, 2024, ProceedingsErscheinungsjahr 2024Verlag: SpringerISBN: 978-3-031-78592-4Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Luo / Zhang CLOUD Computing - CLOUD 2025
18th International Conference, Held as Part of the Services Conference Federation, SCF 2025, Hong Kong, China, September 27-30, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-06325-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Vafeiadis Programming Languages and Systems
34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-91120-0Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Remke / Steffen Formal Methods for Industrial Critical Systems
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-00941-8Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage62,05 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage
-
Taibi / Smite Software Engineering and Advanced Applications
51st Euromicro Conference, SEAA 2025, Salerno, Italy, September 10-12, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-04199-9Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Michael-Grigoriou / Zachmann / Kopper Virtual Reality and Mixed Reality
22nd EuroXR International Conference, EuroXR 2025, Winterthur, Switzerland, September 3-5, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-03804-3Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Lavi / Zhang Algorithmic Game Theory
18th International Symposium, SAGT 2025, Bath, UK, September 2-5, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-03638-4Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Hogeweg / Jalali / Sedlár Logic, Language, and Computation
14th International Tbilisi Symposium, TbiLLC 2023, Telavi, Georgia, September 18-22, 2023, Revised Selected PapersErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-14338-9Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bianculli / Gómez-Martínez Software Engineering and Formal Methods
23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-10443-4Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Martínez / Camacho / Yin Intelligent Data Engineering and Automated Learning - IDEAL 2025
26th International Conference, Jaén, Spain, November 13-15, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-10485-4Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Martínez / Camacho / Yin Intelligent Data Engineering and Automated Learning - IDEAL 2025
26th International Conference, Jaén, Spain, November 13-15, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-10488-5Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Garlisi / Chatzopoulos Algorithmic Aspects of Cloud Computing
10th International Symposium, ALGOCLOUD 2025, Warsaw, Poland, September 15-16, 2025, Revised Selected PapersErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-13743-2Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Chen / Jensen / Lengál Verification, Model Checking, and Abstract Interpretation
27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-15699-0Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (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
