Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 742 Algorithmen & Datenstrukturen
- 119 Compiler
- 25 Datenbankprogrammierung
- 261 Funktionale, Logische, Parallele und Visuelle Programmierung
- 800 Grafikprogrammierung
- 1 Handheld Programmierung
- 5 Microsoft Programmierung
- 2 Netzwerkprogrammierung
- 85 Objektorientierte Programmierung
- 456 Programmier- und Skriptsprachen
- 1353 Programmierung: Methoden und Allgemeines
- 554 Prozedurale Programmierung
- 2157 Software Engineering
- 144 Spiele-Programmierung, Rendering, Animation
- 21 Web Services
- 42 Webprogrammierung
- Medium
-
- 4297
- Erscheinungsjahr
-
- 4
- 180
- 235
- 190
- 130
- 47
- 27
- 42
- 47
- 65
- 47
- 80
- 74
- 74
- 80
- 63
- 69
- 160
- 121
- 138
- 199
- 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
- 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
- 4
- 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
- 6
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 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
- 5
- 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
- 4
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 4
- 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
- 3
- 2
- 3
- 3
- 5
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 4
- 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
- 3
- 3
- 5
- 6
- 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
- 5
- 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
- 7
- 4
- 3
- 4
- 4
- 3
- 4
- 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
- 7
- 5
- 3
- 10
- 3
- 7
- 4
- 5
- 3
- 4
- 7
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 6
- 6
- 3
- 8
- 12
- 3
- 3
- 5
- 3
- 3
- 4
- 3
- 3
- 5
- 4
- 9
- 3
- 3
- 12
- 3
- 3
- 3
- 7
- 3
- 6
- 3
- 3
- 4
- 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
- 7
- 3
- 5
- 3
- 3
- 4
- 5
- 4
- 3
- 4
- 10
- 3
- 3
- 8
- 3
- 8
- 4
- 3
- 3
- 3
- 4
- 12
- 6
- 3
- 11
- 5
- 4
- 12
- 28
- 6
- 5
- 3
- 3
- 5
- 3
- 5
- 3
- 3
- 5
- 3
- 6
- 4
- 5
- 4
- 4
- 5
- 3
- 12
- 4
- 4
- 5
- 3
- 6
- 4
- 7
- 6
- 3
- 5
- 4
- 3
- 4
- 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
- 4
- 7
- 6
- 3
- 3
- 3
- 5
- 7
- 3
- 3
- 5
- 3
- 4
- 3
- 3
- 4
- 3
- 4
- 6
- 6
- 4
- 5
- 4
- 3
- 6
- 4
- 3
- 6
- 4
- 9
- 3
- 3
- 7
- 3
- 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
- 3
- 4
- 3
- 3
- 3
- 7
- 3
- 4
- 7
- 3
- 7
- 3
- 3
- 3
- 10
- 3
- 3
- 3
- 3
- 5
- 7
- 3
- 3
- 3
- 8
- 4
- 4
- 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
- 7
- 7
- 4
- 12
- 21
- 6
- 4
- 3
- 9
- 5
- 4
- 3
- 40
- 4
- 3
- 4
- 4
- 3
- 3
- 4
- 9
- 20
- 5
- 10
- 8
- 3
- 13
- 6
- 3
- 3
- 3
- 3
- 5
- 5
- 3
- 3
- 4
- 13
- 3
- 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
- 4250
- 1
- 1
- 14
- 4
- 6
- 18
- Preis
-
- 13
- 160
- 3327
- 797
- Sprachen
-
- 4297
- 5
- Verfügbarkeit
-
- 4226
- 71
- Katalog
-
- 4297
- 241
-
Langmaack / Roever / Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems
Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58468-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhang / Tavares Computational Modeling of Objects Presented in Images: Fundamentals, Methods, and Applications
4th International Conference, CompIMAGE 2014, Pittsburgh, PA, USA, September 3-5, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09993-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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 -
Padget / Artikis / Vasconcelos Coordination, Organizations, Institutions, and Norms in Agent Systems V
COIN 2009 International Workshops: COIN@AAMAS 2009 Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009,Turin, Italy, September 2009, Revised Selected Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-14961-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems
Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings1. Auflage 1991Verlag: SpringerISBN: 978-3-540-55092-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hameurlain Data Management in Grid and Peer-to-Peer Systems
First International Conference, Globe 2008, Turin, Italy, September 3, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85175-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dongarra / Luque / Margalef Recent Advances in Parallel Virtual Machine and Message Passing Interface
6th European PVM/MPI Users' Group Meeting, Barcelona, Spain, September 26-29, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66549-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 -
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 -
Bjørner / Hoare / Langmaack VDM '90. VDM and Z - Formal Methods in Software Development
Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-3-540-52513-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Di Martino / Kranzlmüller / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface
12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29009-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ropo / Westerholm / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface
16th European PVM/MPI Users' Group Meeting, Espoo, Finland, September 7-10, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03769-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kranzlmüller / Kacsuk / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface
9th European PVM/MPI User's Group Meeting Linz, Austria, September 29 - October 2, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44296-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lastovetsky / Kechadi / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface
15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87474-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alexandrov / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface
5th European PVM/MPI Users' Group Meeting, Liverpool, UK, September 7-9, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65041-6Medium: 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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
Kranzlmüller / Kacsuk / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface
11th European PVM/MPI Users' Group Meeting, Budapest, Hungary, September 19-22, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23163-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dongarra / Kacsuk / Podhorszki Recent Advances in Parallel Virtual Machine and Message Passing Interface
7th European PVM/MPI Users' Group Meeting Balatonfüred, Hungary, September 10-13, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-41010-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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