Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 690 Algorithmen & Datenstrukturen
- 108 Compiler
- 23 Datenbankprogrammierung
- 246 Funktionale, Logische, Parallele und Visuelle Programmierung
- 802 Grafikprogrammierung
- 3 Microsoft Programmierung
- 1 Netzwerkprogrammierung
- 83 Objektorientierte Programmierung
- 451 Programmier- und Skriptsprachen
- 1370 Programmierung: Methoden und Allgemeines
- 563 Prozedurale Programmierung
- 2060 Software Engineering
- 155 Spiele-Programmierung, Rendering, Animation
- 25 Web Services
- 44 Webprogrammierung
- Medium
-
- 4162
- Erscheinungsjahr
-
- 41
- 242
- 183
- 128
- 47
- 20
- 38
- 48
- 66
- 56
- 60
- 80
- 67
- 80
- 84
- 62
- 140
- 141
- 145
- 209
- 192
- 138
- 211
- 222
- 184
- 180
- 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
- 6
- 2
- 3
- 8
- 3
- 6
- 2
- 2
- 5
- 2
- 2
- 7
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 5
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 15
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 5
- 4
- 3
- 3
- 4
- 4
- 5
- 4
- 3
- 2
- 3
- 2
- 6
- 3
- 2
- 2
- 4
- 2
- 6
- 3
- 2
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 4
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 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
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 5
- 2
- 4
- 5
- 4
- 6
- 4
- 2
- 2
- 10
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 11
- 2
- 4
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 9
- 4
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 3
- 5
- 2
- 9
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 6
- 3
- 2
- 3
- 4
- 2
- 3
- 3
- 2
- 4
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 6
- 3
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 6
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 10
- 2
- 2
- 8
- 7
- 2
- 2
- 2
- 13
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 34
- 27
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 12
- 4
- 2
- 9
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 3
- 2
- 2
- 16
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 8
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 8
- 6
- 3
- 3
- 4
- 3
- 5
- 4
- 3
- 4
- 3
- 4
- 7
- 4
- 3
- 4
- 3
- 4
- 4
- 3
- 5
- 3
- 6
- 3
- 4
- 3
- 7
- 3
- 3
- 3
- 12
- 6
- 22
- 3
- 7
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 5
- 3
- 9
- 4
- 3
- 3
- 3
- 6
- 3
- 5
- 3
- 3
- 5
- 3
- 4
- 6
- 3
- 4
- 4
- 3
- 4
- 3
- 4
- 3
- 4
- 6
- 6
- 5
- 11
- 3
- 3
- 6
- 3
- 8
- 6
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 4
- 3
- 3
- 7
- 3
- 3
- 3
- 5
- 3
- 3
- 15
- 5
- 4
- 3
- 5
- 3
- 6
- 5
- 4
- 4
- 7
- 4
- 4
- 5
- 3
- 3
- 4
- 3
- 6
- 3
- 4
- 5
- 3
- 3
- 3
- 3
- 6
- 5
- 5
- 3
- 4
- 6
- 6
- 3
- 3
- 5
- 6
- 3
- 4
- 4
- 3
- 6
- 7
- 3
- 6
- 4
- 3
- 4
- 5
- 6
- 3
- 3
- 3
- 3
- 4
- 7
- 5
- 6
- 7
- 5
- 3
- 5
- 5
- 5
- 3
- 3
- 7
- 3
- 4
- 12
- 5
- 4
- 7
- 3
- 5
- 4
- 3
- 3
- 8
- 3
- 5
- 5
- 5
- 3
- 3
- 4
- 7
- 3
- 4
- 3
- 4
- 4
- 7
- 6
- 3
- 3
- 3
- 6
- 3
- 3
- 6
- 7
- 4
- 3
- 4
- 4
- 4
- 3
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 7
- 3
- 5
- 5
- 5
- 11
- 7
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 12
- 3
- 8
- 4
- 4
- 3
- 4
- 10
- 3
- 5
- 3
- 4
- 10
- 22
- 7
- 5
- 4
- 6
- 3
- 3
- 3
- 4
- 3
- 6
- 3
- 3
- 3
- 7
- 3
- 4
- 3
- 3
- 6
- 3
- 4
- 5
- 3
- 6
- 5
- 4
- 9
- 5
- 5
- 5
- 4
- 7
- 3
- 3
- 6
- 4
- 4
- 3
- 3
- 3
- 3
- 6
- 6
- 4
- 5
- 3
- 5
- 17
- 3
- 6
- 3
- 4
- 5
- 3
- 3
- 4
- 3
- 5
- 7
- 7
- 3
- 3
- 3
- 5
- 3
- 7
- 3
- 3
- 3
- 3
- 5
- 3
- 4
- 3
- 4
- 3
- 3
- 4
- 5
- 5
- 7
- 4
- 3
- 3
- 7
- 3
- 3
- 6
- 3
- 3
- 4
- 5
- 4
- 3
- 3
- 5
- 4
- 5
- 3
- 6
- 5
- 3
- 7
- 4
- 9
- 18
- 7
- 6
- 4
- 3
- 7
- 4
- 6
- 3
- 6
- 5
- 3
- 3
- 9
- 4
- 4
- 3
- 3
- 4
- 4
- 3
- 4
- 3
- 7
- 3
- 3
- 5
- 6
- 6
- 3
- 3
- 7
- 3
- 3
- 3
- 4
- 4
- 6
- 6
- 4
- 4
- 3
- 5
- 3
- 3
- 5
- 6
- 3
- 3
- 3
- 4
- 5
- 5
- 6
- 3
- 10
- 9
- 7
- 4
- 4
- 31
- 4
- 11
- 3
- 3
- 12
- 3
- 7
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 10
- 3
- 5
- 4
- 4
- 3
- 6
- 20
- 8
- 6
- 3
- 9
- 3
- 5
- 33
- 3
- 5
- 5
- 4
- 3
- 8
- 8
- 18
- 8
- 7
- 3
- 6
- 3
- 9
- 4
- 6
- 4
- 9
- 4
- 5
- 5
- 4
- 4
- 3
- 20
- 6
- 3
- 5
- 12
- 6
- 5
- 4
- 3
- 10
- 3
- 5
- 7
- 3
- 4
- 4
- 20
- 6
- 4
- 6
- 4
- 4
- 4
- 6
- 3
- Verlag
-
- 4133
- 1
- 1
- 3
- 24
- Preis
-
- 13
- 143
- 3231
- 775
- Sprachen
-
- 4162
- 5
- Verfügbarkeit
-
- 4160
- 2
- Eigenschaften
-
- 1
- Katalog
-
- 4162
- 237
-
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
-
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
-
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
-
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 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
-
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. 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
-
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
-
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
-
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
-
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
-
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
-
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
-
Dignum / Bradshaw / Silverman Agents for Games and Simulations
Trends in Techniques, Concepts and Design1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-11197-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Maluszynski / Wirsing Programming Language Implementation and Logic Programming
3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54444-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Tobias Language Design and Programming Methodology
Proceedings of a Symposium, Held in Sidney, Australia, September 10-11, 19791. Auflage 1980Verlag: SpringerISBN: 978-3-540-09745-7Medium: Buch24,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage24,60 € (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
-
Borgida / Chaudhri / Giorgini Conceptual Modeling: Foundations and Applications
Essays in Honor of John MylopoulosErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02462-7Medium: 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
-
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
-
Levy Patey / Pimentel / Galeotti Twenty Years of Theoretical and Practical Synergies
20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-64308-8Medium: Buch192,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage192,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Furukawa / Tanaka / Fujisaki Logic Programming '88
Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988Erscheinungsjahr 1989Verlag: SpringerISBN: 978-3-540-51564-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Cavalcanti / Baxter The Practice of Formal Methods
Essays in Honour of Cliff Jones, Part II2024Verlag: SpringerISBN: 978-3-031-66672-8Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
