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
-
Sato / Hanawa / Müller Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More
1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13216-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Mohr / Larsson Träff / Worringen Recent Advances in Parallel Virtual Machine and Message Passing Interface
13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-39110-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bert / Bowen / King ZB 2003: Formal Specification and Development in Z and B
Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40253-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Rendell / Chapman / Müller OpenMP in the Era of Low Power Devices and Accelerators
9th International Workshop on OpenMP, IWOMP 2013, Canberra, Australia, September 16-18, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40697-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (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
-
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
-
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 / Damiani / Haehnle Formal Methods for Executable Software Models
14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced LecturesErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07316-3Medium: 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
-
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
-
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 / Inverardi Formal Methods for Software Architectures
Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20083-3Medium: 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
-
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
-
Didier B'98: Recent Advances in the Development and Use of the B Method
Second International B Conference, Montpellier, France, April 22-24, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64405-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bakker / Roever / Rozenberg Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 19881. Auflage 1989Verlag: SpringerISBN: 978-3-540-51080-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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
-
Ma / Wang Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
MICCAI Challenge, FLARE 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings2024Verlag: SpringerISBN: 978-3-031-58775-7Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Budach Fundamentals of Computation Theory
8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991. Proceedings1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54458-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Deppe / Winter / Yeung Information Theory and Related Fields
Festschrift in Memory of Ning CaiErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-82013-7Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Formal Methods for Distributed Computing in Future Railway Systems
13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part IIErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-40110-6Medium: Buch42,79 € (inkl. MwSt.)
vorbestellbar42,79 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. Dezember 2026
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I2025Verlag: SpringerISBN: 978-3-031-73708-4Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Billington / Diaz / Rozenberg Application of Petri Nets to Communication Networks
Advances in Petri Nets1. Auflage 1999Verlag: SpringerISBN: 978-3-540-65870-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
