Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 738 Algorithmen & Datenstrukturen
- 119 Compiler
- 25 Datenbankprogrammierung
- 263 Funktionale, Logische, Parallele und Visuelle Programmierung
- 799 Grafikprogrammierung
- 1 Handheld Programmierung
- 5 Microsoft Programmierung
- 2 Netzwerkprogrammierung
- 85 Objektorientierte Programmierung
- 457 Programmier- und Skriptsprachen
- 1353 Programmierung: Methoden und Allgemeines
- 554 Prozedurale Programmierung
- 2163 Software Engineering
- 144 Spiele-Programmierung, Rendering, Animation
- 21 Web Services
- 43 Webprogrammierung
- Medium
-
- 4301
- Erscheinungsjahr
-
- 4
- 183
- 234
- 190
- 131
- 47
- 26
- 42
- 51
- 66
- 47
- 79
- 76
- 74
- 79
- 64
- 69
- 157
- 121
- 138
- 198
- 181
- 139
- 207
- 220
- 181
- 184
- 119
- 118
- 97
- 100
- 96
- 82
- 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
- 2
- 4
- 2
- 4
- 8
- 3
- 4
- 2
- 2
- 6
- 2
- 2
- 7
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 13
- 2
- 3
- 2
- 3
- 2
- 4
- 6
- 5
- 2
- 2
- 4
- 2
- 4
- 3
- 2
- 4
- 2
- 4
- 3
- 2
- 5
- 3
- 5
- 3
- 4
- 2
- 3
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 4
- 2
- 2
- 10
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 3
- 7
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 4
- 5
- 3
- 2
- 3
- 2
- 2
- 2
- 9
- 2
- 6
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 5
- 2
- 4
- 3
- 4
- 4
- 4
- 2
- 10
- 3
- 3
- 3
- 3
- 3
- 2
- 3
- 3
- 2
- 4
- 2
- 12
- 2
- 4
- 6
- 3
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 8
- 6
- 5
- 3
- 2
- 5
- 2
- 2
- 5
- 3
- 3
- 3
- 6
- 2
- 4
- 3
- 3
- 5
- 2
- 8
- 3
- 4
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 10
- 3
- 2
- 2
- 3
- 4
- 2
- 3
- 3
- 4
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 6
- 4
- 3
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 5
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 3
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 5
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 4
- 2
- 6
- 2
- 3
- 2
- 3
- 4
- 3
- 10
- 5
- 4
- 2
- 2
- 7
- 2
- 2
- 4
- 3
- 13
- 2
- 6
- 3
- 3
- 4
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 5
- 5
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 38
- 29
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 12
- 3
- 4
- 3
- 5
- 6
- 2
- 7
- 3
- 4
- 3
- 3
- 16
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 8
- 3
- 3
- 4
- 5
- 3
- 3
- 9
- 6
- 6
- 3
- 3
- 4
- 4
- 5
- 4
- 5
- 3
- 3
- 3
- 4
- 3
- 4
- 3
- 7
- 3
- 3
- 3
- 3
- 4
- 5
- 4
- 6
- 3
- 4
- 4
- 3
- 4
- 3
- 10
- 5
- 3
- 3
- 4
- 6
- 6
- 3
- 25
- 3
- 3
- 8
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 3
- 3
- 4
- 7
- 3
- 8
- 4
- 3
- 4
- 4
- 3
- 5
- 3
- 3
- 3
- 5
- 5
- 3
- 3
- 6
- 4
- 4
- 3
- 3
- 3
- 4
- 5
- 3
- 6
- 5
- 3
- 4
- 11
- 3
- 4
- 8
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 6
- 4
- 3
- 5
- 3
- 3
- 6
- 3
- 3
- 5
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 7
- 3
- 3
- 3
- 4
- 3
- 4
- 14
- 5
- 6
- 3
- 4
- 3
- 6
- 3
- 3
- 4
- 4
- 4
- 4
- 3
- 5
- 8
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 8
- 8
- 3
- 4
- 3
- 3
- 4
- 7
- 3
- 3
- 5
- 8
- 6
- 5
- 3
- 10
- 3
- 7
- 4
- 5
- 3
- 4
- 8
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 6
- 6
- 3
- 8
- 12
- 3
- 3
- 5
- 3
- 4
- 3
- 3
- 5
- 4
- 9
- 3
- 3
- 12
- 3
- 3
- 3
- 7
- 3
- 6
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 5
- 3
- 4
- 3
- 3
- 5
- 3
- 4
- 4
- 6
- 8
- 5
- 4
- 4
- 6
- 3
- 3
- 4
- 3
- 7
- 5
- 4
- 3
- 4
- 4
- 3
- 3
- 4
- 4
- 6
- 3
- 3
- 3
- 3
- 3
- 4
- 6
- 4
- 7
- 4
- 7
- 8
- 3
- 5
- 3
- 4
- 5
- 4
- 3
- 4
- 10
- 3
- 3
- 8
- 3
- 7
- 4
- 3
- 3
- 3
- 4
- 12
- 5
- 3
- 11
- 5
- 4
- 12
- 28
- 6
- 5
- 3
- 3
- 5
- 3
- 4
- 3
- 3
- 5
- 3
- 6
- 4
- 3
- 5
- 4
- 4
- 5
- 3
- 12
- 4
- 4
- 5
- 3
- 6
- 4
- 7
- 6
- 3
- 5
- 4
- 3
- 3
- 9
- 3
- 3
- 3
- 6
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 6
- 19
- 5
- 5
- 4
- 3
- 3
- 4
- 3
- 3
- 4
- 3
- 5
- 3
- 7
- 6
- 3
- 3
- 3
- 5
- 7
- 3
- 3
- 5
- 3
- 4
- 3
- 3
- 4
- 3
- 4
- 6
- 6
- 4
- 6
- 4
- 3
- 6
- 4
- 3
- 6
- 4
- 9
- 3
- 3
- 7
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 5
- 8
- 22
- 3
- 6
- 4
- 3
- 6
- 3
- 3
- 5
- 4
- 6
- 4
- 3
- 6
- 4
- 5
- 4
- 3
- 3
- 3
- 7
- 3
- 5
- 7
- 3
- 7
- 3
- 3
- 3
- 10
- 3
- 3
- 3
- 3
- 5
- 7
- 3
- 3
- 3
- 8
- 4
- 5
- 4
- 8
- 6
- 13
- 9
- 6
- 3
- 4
- 30
- 5
- 11
- 4
- 12
- 9
- 4
- 4
- 3
- 3
- 3
- 4
- 4
- 3
- 8
- 8
- 5
- 4
- 4
- 4
- 3
- 5
- 7
- 4
- 12
- 21
- 6
- 4
- 3
- 9
- 5
- 4
- 3
- 40
- 4
- 3
- 4
- 4
- 3
- 3
- 4
- 9
- 20
- 5
- 10
- 6
- 3
- 13
- 6
- 3
- 3
- 3
- 5
- 5
- 3
- 3
- 4
- 13
- 4
- 5
- 4
- 4
- 19
- 6
- 3
- 13
- 5
- 9
- 5
- 3
- 3
- 11
- 4
- 5
- 4
- 6
- 22
- 5
- 11
- 4
- 6
- 3
- Verlag
-
- 3
- 4255
- 1
- 1
- 13
- 4
- 6
- 18
- Preis
-
- 13
- 161
- 3334
- 793
- Sprachen
-
- 4301
- 5
- Verfügbarkeit
-
- 4228
- 73
- Katalog
-
- 4301
- 242
-
Blazy / Chechik Verified Software. Theories, Tools, and Experiments
8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-48868-4Medium: 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
-
Boronat / Fraser Fundamental Approaches to Software Engineering
28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-90899-6Medium: 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
-
Wrembel / Kotsis / Tjoa Database and Expert Systems Applications
36th International Conference, DEXA 2025, Bangkok, Thailand, August 25-27, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-02048-2Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Harks / Klimm Algorithmic Game Theory
13th International Symposium, SAGT 2020, Augsburg, Germany, September 16-18, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-57979-1Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (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
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III1. Auflage 2022Verlag: SpringerISBN: 978-3-031-19758-1Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Cano / Trinder Euro-Par 2022: Parallel Processing
28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22-26, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-12596-6Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (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
-
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
-
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
-
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
-
Patiño-Martínez / Paulo Distributed Applications and Interoperable Systems
23rd IFIP WG 6.1 International Conference, DAIS 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-35259-1Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Rozier / Chaudhuri NASA Formal Methods
15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-33169-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Batista / Bureš / Raibulet Software Architecture. ECSA 2022 Tracks and Workshops
Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers1. Auflage 2023Verlag: SpringerISBN: 978-3-031-36888-2Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Legunsen / Rosu Model Checking Software
28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-15076-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bernhaupt / Ardito / Sauer Human-Centered Software Engineering
9th IFIP WG 13.2 International Working Conference, HCSE 2022, Eindhoven, The Netherlands, August 24-26, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-14784-5Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Taibi / Kuhrmann / Mikkonen Product-Focused Software Process Improvement
23rd International Conference, PROFES 2022, Jyväskylä, Finland, November 21-23, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-21387-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
McIntosh-Smith / Klemm / de Supinski OpenMP: Advanced Task-Based, Device and Compiler Programming
19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-40743-7Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Rau Cross-Cultural Design
15th International Conference, CCD 2023, Held as Part of the 25th International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part III1. Auflage 2023Verlag: SpringerISBN: 978-3-031-35945-3Medium: Buch171,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage171,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Rau Cross-Cultural Design
15th International Conference, CCD 2023, Held as Part of the 25th International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II1. Auflage 2023Verlag: SpringerISBN: 978-3-031-35938-5Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Pientka / Tinelli Automated Deduction - CADE 29
29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-38498-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Montesi / Papadopoulos / Zimmermann Service-Oriented and Cloud Computing
9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-04717-6Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Durand-Lose / Vaszil Machines, Computations, and Universality
9th International Conference, MCU 2022, Debrecen, Hungary, August 31 - September 2, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-13501-9Medium: Buch181,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage181,89 € (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
