Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 695 Algorithmen & Datenstrukturen
- 106 Compiler
- 23 Datenbankprogrammierung
- 246 Funktionale, Logische, Parallele und Visuelle Programmierung
- 799 Grafikprogrammierung
- 4 Microsoft Programmierung
- 1 Netzwerkprogrammierung
- 82 Objektorientierte Programmierung
- 443 Programmier- und Skriptsprachen
- 1375 Programmierung: Methoden und Allgemeines
- 565 Prozedurale Programmierung
- 2067 Software Engineering
- 154 Spiele-Programmierung, Rendering, Animation
- 22 Web Services
- 47 Webprogrammierung
- Medium
-
- 4151
- Erscheinungsjahr
-
- 25
- 240
- 183
- 127
- 47
- 20
- 39
- 47
- 67
- 56
- 61
- 79
- 66
- 80
- 83
- 67
- 149
- 139
- 145
- 200
- 201
- 133
- 212
- 223
- 183
- 181
- 120
- 121
- 85
- 100
- 95
- 83
- 68
- 66
- 50
- 67
- 38
- 41
- 30
- 32
- 20
- 14
- 11
- 9
- 13
- 17
- 11
- 1
- 1
- 2
- 2
- 1
- Autoren
-
- 3
- 2
- 2
- 2
- 5
- 2
- 4
- 8
- 3
- 5
- 2
- 4
- 5
- 2
- 2
- 7
- 3
- 3
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 4
- 5
- 2
- 3
- 3
- 2
- 4
- 4
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 15
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 5
- 4
- 3
- 3
- 4
- 4
- 5
- 4
- 3
- 2
- 3
- 2
- 6
- 3
- 2
- 2
- 4
- 6
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 4
- 2
- 4
- 7
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 7
- 3
- 6
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 5
- 3
- 4
- 5
- 4
- 2
- 5
- 4
- 2
- 2
- 10
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 11
- 2
- 4
- 9
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 9
- 2
- 4
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 2
- 2
- 4
- 3
- 5
- 3
- 11
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 6
- 3
- 2
- 3
- 4
- 3
- 3
- 3
- 2
- 4
- 3
- 3
- 4
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 3
- 5
- 2
- 2
- 2
- 5
- 3
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 10
- 3
- 2
- 8
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 13
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 35
- 27
- 2
- 3
- 3
- 4
- 2
- 3
- 2
- 2
- 13
- 4
- 2
- 9
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 4
- 2
- 2
- 16
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 3
- 4
- 3
- 8
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 8
- 6
- 4
- 3
- 3
- 4
- 3
- 5
- 4
- 3
- 4
- 3
- 4
- 3
- 7
- 4
- 3
- 4
- 3
- 4
- 4
- 3
- 5
- 3
- 5
- 3
- 4
- 3
- 7
- 3
- 3
- 3
- 12
- 6
- 21
- 3
- 3
- 7
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 6
- 3
- 8
- 4
- 3
- 3
- 3
- 4
- 6
- 3
- 5
- 3
- 5
- 3
- 4
- 6
- 3
- 4
- 4
- 3
- 3
- 3
- 4
- 3
- 4
- 7
- 6
- 5
- 11
- 3
- 3
- 6
- 3
- 7
- 5
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 5
- 3
- 4
- 3
- 3
- 7
- 3
- 3
- 3
- 5
- 3
- 3
- 15
- 5
- 6
- 3
- 4
- 3
- 6
- 5
- 4
- 4
- 3
- 7
- 4
- 4
- 5
- 3
- 3
- 3
- 4
- 3
- 5
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 5
- 6
- 3
- 4
- 6
- 6
- 3
- 3
- 3
- 5
- 6
- 4
- 3
- 4
- 3
- 6
- 7
- 3
- 6
- 4
- 3
- 4
- 6
- 6
- 3
- 3
- 3
- 3
- 3
- 4
- 9
- 5
- 6
- 6
- 5
- 3
- 5
- 5
- 5
- 3
- 3
- 7
- 3
- 4
- 12
- 4
- 4
- 6
- 3
- 4
- 4
- 3
- 3
- 8
- 3
- 5
- 4
- 5
- 3
- 3
- 4
- 7
- 3
- 4
- 4
- 4
- 8
- 6
- 3
- 3
- 6
- 3
- 6
- 7
- 5
- 4
- 4
- 4
- 4
- 3
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 7
- 3
- 5
- 5
- 5
- 3
- 11
- 3
- 8
- 3
- 3
- 3
- 3
- 4
- 12
- 3
- 10
- 4
- 4
- 3
- 4
- 11
- 3
- 3
- 5
- 3
- 4
- 10
- 21
- 7
- 6
- 4
- 6
- 3
- 3
- 3
- 4
- 3
- 7
- 3
- 3
- 3
- 7
- 3
- 4
- 3
- 3
- 7
- 4
- 5
- 5
- 3
- 6
- 5
- 4
- 9
- 5
- 5
- 5
- 3
- 7
- 3
- 3
- 6
- 4
- 4
- 3
- 3
- 3
- 3
- 6
- 5
- 4
- 5
- 4
- 17
- 3
- 6
- 3
- 4
- 4
- 3
- 3
- 4
- 3
- 5
- 7
- 7
- 3
- 3
- 4
- 3
- 7
- 3
- 3
- 3
- 5
- 4
- 4
- 3
- 4
- 3
- 3
- 4
- 4
- 3
- 5
- 6
- 5
- 3
- 3
- 3
- 3
- 7
- 3
- 3
- 6
- 3
- 4
- 4
- 4
- 4
- 3
- 3
- 4
- 3
- 4
- 3
- 5
- 5
- 3
- 9
- 4
- 9
- 18
- 7
- 6
- 4
- 3
- 6
- 4
- 6
- 3
- 7
- 4
- 3
- 3
- 3
- 9
- 4
- 3
- 4
- 3
- 3
- 4
- 4
- 3
- 4
- 3
- 7
- 3
- 5
- 6
- 5
- 3
- 3
- 6
- 3
- 4
- 4
- 4
- 5
- 4
- 3
- 3
- 5
- 3
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 6
- 3
- 11
- 9
- 7
- 3
- 4
- 4
- 31
- 4
- 11
- 3
- 12
- 3
- 7
- 4
- 3
- 3
- 3
- 3
- 3
- 9
- 3
- 5
- 4
- 4
- 3
- 6
- 26
- 4
- 6
- 4
- 9
- 3
- 3
- 4
- 33
- 3
- 5
- 4
- 3
- 4
- 3
- 10
- 5
- 17
- 8
- 9
- 4
- 6
- 3
- 11
- 4
- 4
- 7
- 4
- 8
- 4
- 5
- 4
- 4
- 3
- 21
- 6
- 3
- 5
- 12
- 6
- 7
- 5
- 4
- 3
- 10
- 3
- 5
- 6
- 5
- 4
- 20
- 5
- 4
- 6
- 5
- 4
- 4
- 6
- Verlag
-
- 4122
- 1
- 1
- 3
- 24
- Preis
-
- 13
- 138
- 3221
- 779
- Sprachen
-
- 4151
- 5
- Verfügbarkeit
-
- 4147
- 4
- Katalog
-
- 4151
- 239
-
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
-
Marcus / Wang Design, User Experience, and Usability. User Experience in Advanced Technological Environments
8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II1. Auflage 2019Verlag: SpringerISBN: 978-3-030-23540-6Medium: 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
-
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
-
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
-
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
-
Mathieu / De la Prieta Advances in Practical Applications of Agents, Multi-Agent Systems, and Digital Twins: The PAAMS Collection
22nd International Conference, PAAMS 2024, Salamanca, Spain, June 26-28, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-70414-7Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (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
-
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
-
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
-
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
-
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
-
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
-
Ehrig / Reisig / Rozenberg Petri Net Technology for Communication-Based Systems
Advances in Petri Nets1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20538-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Rusinowitch / Remy Conditional Term Rewriting Systems
Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56393-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Chaum / Jakobsson / Rivest Towards Trustworthy Elections
New Directions in Electronic Voting1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-12979-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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
-
Robbins The Cray X-MP/Model 24
A Case Study in Pipelined Architecture and Vector Processing1. Auflage 2001Verlag: SpringerISBN: 978-0-387-97089-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Dzeroski / Todorovski Computational Discovery of Scientific Knowledge
Introduction, Techniques, and Applications in Environmental and Life Sciences1. Auflage 2007Verlag: SpringerISBN: 978-3-540-73919-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ehrig / Juhas / Padberg Unifying Petri Nets
Advances in Petri Nets1. Auflage 2001Verlag: SpringerISBN: 978-3-540-43067-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Owe / Krogdahl / Lyche From Object-Orientation to Formal Methods
Essays in Memory of Ole-Johan Dahl1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21366-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kropf Formal Hardware Verification
Methods and Systems in Comparison1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63475-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Rao Extensions of the UNITY Methodology
Compositionality, Fairness and Probability in Parallelism1. Auflage 1995Verlag: SpringerISBN: 978-3-540-59173-3Medium: 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
