Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 698 Algorithmen & Datenstrukturen
- 115 Compiler
- 27 Datenbankprogrammierung
- 246 Funktionale, Logische, Parallele und Visuelle Programmierung
- 821 Grafikprogrammierung
- 1 Handheld Programmierung
- 4 Microsoft Programmierung
- 2 Netzwerkprogrammierung
- 85 Objektorientierte Programmierung
- 459 Programmier- und Skriptsprachen
- 1365 Programmierung: Methoden und Allgemeines
- 554 Prozedurale Programmierung
- 2118 Software Engineering
- 164 Spiele-Programmierung, Rendering, Animation
- 22 Web Services
- 45 Webprogrammierung
- Medium
-
- 4222
- Erscheinungsjahr
-
- 69
- 235
- 195
- 133
- 47
- 23
- 41
- 50
- 63
- 48
- 85
- 73
- 65
- 83
- 73
- 70
- 166
- 121
- 146
- 199
- 189
- 144
- 210
- 219
- 180
- 184
- 118
- 118
- 97
- 100
- 96
- 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
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 7
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 6
- 2
- 3
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 12
- 2
- 3
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 5
- 3
- 4
- 3
- 4
- 3
- 3
- 3
- 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
- 3
- 6
- 2
- 3
- 2
- 10
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 10
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 7
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 6
- 2
- 2
- 4
- 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
- 3
- 2
- 2
- 4
- 3
- 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
- 10
- 2
- 3
- 4
- 3
- 2
- 2
- 5
- 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
- 3
- 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
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 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
- 10
- 5
- 3
- 7
- 2
- 2
- 4
- 3
- 12
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 4
- 5
- 2
- 2
- 4
- 3
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 38
- 28
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 11
- 3
- 4
- 3
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 16
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 8
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 9
- 6
- 3
- 5
- 3
- 4
- 3
- 3
- 5
- 4
- 5
- 3
- 3
- 3
- 3
- 3
- 7
- 4
- 3
- 3
- 3
- 4
- 4
- 4
- 6
- 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
- 3
- 5
- 7
- 5
- 3
- 6
- 5
- 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
- 4
- 3
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 7
- 3
- 3
- 4
- 3
- 3
- 13
- 5
- 6
- 3
- 3
- 3
- 3
- 8
- 3
- 4
- 3
- 4
- 3
- 4
- 5
- 6
- 3
- 3
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 5
- 6
- 3
- 4
- 3
- 4
- 7
- 3
- 3
- 3
- 3
- 3
- 6
- 3
- 3
- 4
- 5
- 9
- 3
- 7
- 3
- 7
- 3
- 3
- 6
- 3
- 3
- 3
- 4
- 3
- 3
- 7
- 4
- 6
- 11
- 5
- 4
- 5
- 3
- 5
- 3
- 3
- 7
- 4
- 7
- 3
- 3
- 12
- 4
- 3
- 6
- 6
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 5
- 4
- 3
- 3
- 5
- 3
- 3
- 4
- 5
- 8
- 5
- 4
- 6
- 3
- 3
- 3
- 3
- 7
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 7
- 3
- 6
- 4
- 6
- 6
- 5
- 3
- 3
- 4
- 4
- 4
- 4
- 10
- 4
- 3
- 9
- 3
- 3
- 5
- 4
- 3
- 4
- 13
- 3
- 8
- 3
- 5
- 4
- 12
- 25
- 7
- 3
- 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
- 9
- 3
- 3
- 3
- 6
- 3
- 4
- 4
- 4
- 3
- 3
- 3
- 7
- 3
- 3
- 3
- 5
- 4
- 16
- 5
- 4
- 5
- 5
- 4
- 3
- 4
- 4
- 7
- 6
- 4
- 3
- 6
- 7
- 4
- 3
- 5
- 6
- 3
- 4
- 3
- 3
- 4
- 3
- 6
- 4
- 5
- 4
- 8
- 4
- 3
- 4
- 6
- 5
- 3
- 6
- 3
- 3
- 9
- 3
- 3
- 4
- 3
- 6
- 3
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 7
- 8
- 18
- 3
- 3
- 7
- 4
- 3
- 6
- 3
- 5
- 6
- 5
- 3
- 10
- 4
- 3
- 6
- 3
- 4
- 3
- 7
- 3
- 5
- 6
- 3
- 7
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 5
- 3
- 4
- 3
- 7
- 3
- 3
- 7
- 6
- 8
- 9
- 4
- 3
- 3
- 4
- 31
- 5
- 11
- 3
- 4
- 12
- 4
- 9
- 3
- 3
- 5
- 3
- 4
- 3
- 7
- 3
- 5
- 4
- 3
- 6
- 5
- 11
- 20
- 6
- 4
- 9
- 3
- 3
- 3
- 35
- 4
- 3
- 4
- 4
- 4
- 3
- 3
- 9
- 16
- 3
- 10
- 3
- 3
- 3
- 10
- 4
- 3
- 3
- 3
- 6
- 4
- 11
- 4
- 5
- 4
- 4
- 18
- 6
- 3
- 13
- 4
- 7
- 4
- 6
- 3
- 9
- 4
- 5
- 4
- 4
- 4
- 18
- 4
- 5
- 4
- 5
- 3
- 3
- Verlag
-
- 4201
- 1
- 3
- 17
- Preis
-
- 13
- 146
- 3269
- 794
- Sprachen
-
- 4222
- 5
- Verfügbarkeit
-
- 4219
- 3
- Eigenschaften
-
- 4
- Katalog
-
- 4222
- 238
-
Grelck / Mauša / Fernandes Promoting Sustainability as a Fundamental Driver in Software Development Training and Education
First International Summer School, SusTrainable 2022, Rijeka, Croatia, July 4-8, 2022, Revised Selected PapersErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-22277-0Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bowen / Dunne / Galloway ZB 2000: Formal Specification and Development in Z and B
First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67944-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bert / Bowen / Henson ZB 2002: Formal Specification and Development in Z and B
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43166-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ioannides / Fink / Moropoulou Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection
6th International Conference, EuroMed 2016, Nicosia, Cyprus, October 31 - November 5, 2016, Proceedings, Part II1. Auflage 2016Verlag: SpringerISBN: 978-3-319-48973-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Cotronis / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface
8th European PVM/MPI Users' Group Meeting, Santorini/Thera, Greece, September 23-26, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42609-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Wirsing / Knapp / Balsamo Radical Innovations of Software and Systems Engineering in the Future
9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21179-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Aldini / Bernardo / Di Pierro Formal Methods for Quantitative Aspects of Programming Languages
10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13677-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bernardo / Johnsen Formal Methods for Multicore Programming
15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures2015Verlag: SpringerISBN: 978-3-319-18940-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bernardo / Corradini Formal Methods for the Design of Real-Time Systems
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23068-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Trigila / Mullery / Campolargo Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services
5th International Conference on Intelligence in Services and Networks, IS&N'98, Antwerp, Belgium, May 25-28, 1998, Proceedings1. Auflage 1998Verlag: SpringerISBN: 978-3-540-64598-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Frank / Campari / Formentini Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992. Proceedings1. Auflage 1992Verlag: SpringerISBN: 978-3-540-55966-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Pophale / Imam / Aderholdt OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity
5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21-23, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-04917-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bernardo / De Nicola / Hillston Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures1. Auflage 2016Verlag: SpringerISBN: 978-3-319-34095-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bernardo / Cimatti Formal Methods for Hardware Verification
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34304-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bernardo / Bogliolo Formal Methods for Mobile Computing
5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25697-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ahn Least Squares Orthogonal Distance Fitting of Curves and Surfaces in Space
1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23966-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Rathgeb / Echtle / Müller-Clostermann Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance
15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-17, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-12103-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Jones / Hagiya / Sato Logic, Language and Computation
Festschrift in Honor of Satoru Takasu1. Auflage 1994Verlag: SpringerISBN: 978-3-540-57935-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bernardo / Padovani / Zavattaro Formal Methods for Web Services
9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01917-3Medium: Buch49,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Stary / Stephanidis User-Centered Interaction Paradigms for Universal Access in the Information Society
8th ERCIM Workshop on User Interfaces for All, Vienna, Austria, June 28-29, 2004. Revised Selected Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23375-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Sorevik / Manne / Moe Applied Parallel Computing. New Paradigms for HPC in Industry and Academia
5th International Workshop, PARA 2000 Bergen, Norway, June 18-20, 2000 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-41729-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bernardo / Cortellessa / Pierantonio Formal Methods for Model-Driven Engineering
12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures1. Auflage 2012Verlag: SpringerISBN: 978-3-642-30981-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Poole / Hernandez / Baker OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks
8th Workshop on OpenSHMEM and Related Technologies, OpenSHMEM 2021, Virtual Event, September 14-16, 2021, Revised Selected Papers1. Auflage 2022Verlag: SpringerISBN: 978-3-031-04887-6Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Achterberg / Beck Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21310-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bifet / Daniušis / Davis Machine Learning and Knowledge Discovery in Databases. Research Track and Demo Track
European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VIII2024Verlag: SpringerISBN: 978-3-031-70370-6Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,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
