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
- Katalog
-
- 4333
- 243
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II1. Auflage 2022Verlag: SpringerISBN: 978-3-031-19755-0Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Practice
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV1. Auflage 2022Verlag: SpringerISBN: 978-3-031-19761-1Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Salaün / Wijs Formal Aspects of Component Software
17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-90635-1Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage48,14 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Johnsen / Schaefer Software Engineering and Formal Methods
16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-92969-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kordon / Petrucci / Desel Transactions on Petri Nets and Other Models of Concurrency XVIII
Erscheinungsjahr 2026Verlag: SpringerISBN: 978-3-662-73304-2Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chiba / Südholt / Eugster Transactions on Modularity and Composition I
1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46968-3Medium: Buch82,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage82,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Clark / Menendez / Cavalli Testing Software and Systems
33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-04672-8Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nakano / Sagonas Functional and Logic Programming
15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-59024-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Albert / Pasareanu Fundamental Approaches to Software Engineering
29th International Conference, FASE 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-22773-7Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Elbassioni / Makino Algorithms and Computation
26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-662-48970-3Medium: Buch94,16 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage94,16 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Colombo / Leucker Runtime Verification
18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03768-0Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Desprez / Dutot / Kaklamanis Euro-Par 2016: Parallel Processing Workshops
Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-58942-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Calvaresi / Najjar / Omicini Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems
8th International Workshop, EXTRAAMAS 2026, Paphos, Cyprus, May 25-26, 2026, Revised Selected PapersErscheinungsjahr 2027Verlag: Springer Nature Switzerland AGISBN: 978-3-032-38435-5Medium: Buch62,05 € (inkl. MwSt.)
vorbestellbar62,05 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. Februar 2027 -
De Giacomo / Li / Xiao Theoretical Aspects of Software Engineering
20th International Symposium, TASE 2026, Shanghai, China, July 4-6, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-30692-0Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sampaio / Stoelinga Formal Methods
27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part IIErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-26219-6Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Murphy / Vitek Coordination Models and Languages
9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72793-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bolduc / Desharnais / Ktari Mathematics of Program Construction
10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13320-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sergey Programming Languages and Systems
20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-21036-5Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Papadakis / Vergilio Search-Based Software Engineering
14th International Symposium, SSBSE 2022, Singapore, November 17-18, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-21250-5Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Du / Wu / Xu Theory and Applications of Models of Computation
17th Annual Conference, TAMC 2022, Tianjin, China, September 16-18, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-20349-7Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kosmatov / Kovács Integrated Formal Methods
19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings2025Verlag: SpringerISBN: 978-3-031-76553-7Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage149,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Julian / Camacho / Yin Intelligent Data Engineering and Automated Learning - IDEAL 2024
25th International Conference, Valencia, Spain, November 20-22, 2024, Proceedings, Part IErscheinungsjahr 2024Verlag: SpringerISBN: 978-3-031-77730-1Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Endrullis / Tichy Graph Transformation
18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-94705-6Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pardo / Swierstra Programming Languages
19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-24011-4Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chen / Gao / Sun Computing and Combinatorics
30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-961089-1Medium: 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