Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 754 Algorithmen & Datenstrukturen
- 128 Compiler
- 24 Datenbankprogrammierung
- 233 Funktionale, Logische, Parallele und Visuelle Programmierung
- 808 Grafikprogrammierung
- 1 Handheld Programmierung
- 4 Microsoft Programmierung
- 2 Netzwerkprogrammierung
- 81 Objektorientierte Programmierung
- 460 Programmier- und Skriptsprachen
- 1367 Programmierung: Methoden und Allgemeines
- 553 Prozedurale Programmierung
- 2206 Software Engineering
- 153 Spiele-Programmierung, Rendering, Animation
- 20 Web Services
- 43 Webprogrammierung
- Medium
-
- 4331
- Erscheinungsjahr
-
- 40
- 194
- 234
- 193
- 129
- 47
- 27
- 37
- 48
- 69
- 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
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 3
- 10
- 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
- 10
- 4
- 5
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 9
- 2
- 5
- 4
- 2
- 3
- 2
- 3
- 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
- 2
- 5
- 7
- 3
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 5
- 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
- 2
- 4
- 2
- 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
- 2
- 11
- 3
- 7
- 4
- 5
- 3
- 3
- 5
- 4
- 3
- 3
- 5
- 16
- 4
- 3
- 5
- 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
- 5
- 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
- 3
- 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
- 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
- 5
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 5
- 4
- 5
- 4
- 5
- 10
- 7
- 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
- 25
- 7
- 3
- 3
- 7
- 3
- 7
- 3
- 3
- 3
- 4
- 7
- 3
- 4
- 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
- 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
- 5
- 3
- 3
- 3
- 3
- 7
- 4
- 6
- 6
- 3
- 6
- 8
- 4
- 3
- 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
- 6
- 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
- 37
- 3
- 4
- 4
- 4
- 3
- 4
- 3
- 4
- 5
- 4
- 11
- 22
- 3
- 8
- 6
- 4
- 3
- 15
- 4
- 3
- 4
- 5
- 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
- 4286
- 1
- 1
- 1
- 6
- 8
- 4
- 7
- 15
- Preis
-
- 13
- 162
- 3361
- 795
- Sprachen
-
- 4331
- 5
- Verfügbarkeit
-
- 4254
- 77
- Katalog
-
- 4331
- 243
-
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
-
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
-
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
-
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
-
Smith / Salvendy Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design
Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73344-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Türker / Schek Peer-to-Peer, Grid, and Service-Orientation in Digital Library Architectures
6th Thematic Workshop of the EU Network of Excellence DELOS, Cagliari, Italy, June 24-25, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28711-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
-
Paletta / Rome Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint
4th International Workshop on Attention in Cognitive Systems, WAPCV 2007 Hyderabad, India, January 8, 2007 Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-77342-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
-
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
-
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
-
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
-
Demazeau / Zambonelli / Corchado Rodríguez Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Collection
12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07550-1Medium: 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
-
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
-
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
-
Mathieu / De la Prieta / Villani Advances in Practical Applications of Agentic AI and Multi-Agent Systems, The PAAMS Collection
24th International Conference, PAAMS 2026, Naples, Italy, October 21–23, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-41793-0Medium: Buch79,17 € (inkl. MwSt.)
vorbestellbar79,17 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. November 2026
-
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. November 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
-
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
-
Ebert / van der Veer / Domik Building Bridges: HCI, Visualization, and Non-formal Modeling
IFIP WG 13.7 Workshops on Human-Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54893-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
