Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 657 Algorithmen & Datenstrukturen
- 111 Compiler
- 28 Datenbankprogrammierung
- 257 Funktionale, Logische, Parallele und Visuelle Programmierung
- 798 Grafikprogrammierung
- 4 Microsoft Programmierung
- 1 Netzwerkprogrammierung
- 84 Objektorientierte Programmierung
- 457 Programmier- und Skriptsprachen
- 1339 Programmierung: Methoden und Allgemeines
- 561 Prozedurale Programmierung
- 2075 Software Engineering
- 152 Spiele-Programmierung, Rendering, Animation
- 25 Web Services
- 48 Webprogrammierung
- Medium
-
- 4136
- Erscheinungsjahr
-
- 17
- 234
- 187
- 135
- 46
- 30
- 41
- 49
- 67
- 54
- 71
- 75
- 71
- 84
- 72
- 77
- 139
- 132
- 147
- 202
- 162
- 142
- 212
- 214
- 181
- 181
- 122
- 121
- 91
- 101
- 98
- 84
- 70
- 66
- 49
- 69
- 39
- 40
- 30
- 32
- 20
- 14
- 11
- 9
- 13
- 17
- 11
- 1
- 1
- 2
- 2
- 1
- Autoren
-
- 3
- 2
- 2
- 3
- 2
- 5
- 8
- 2
- 4
- 2
- 5
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 5
- 5
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 4
- 3
- 6
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 12
- 4
- 3
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 3
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 5
- 5
- 4
- 2
- 3
- 3
- 3
- 5
- 2
- 2
- 5
- 4
- 3
- 2
- 3
- 6
- 3
- 3
- 3
- 6
- 3
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 4
- 2
- 5
- 10
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 10
- 2
- 5
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 5
- 3
- 3
- 4
- 4
- 2
- 5
- 4
- 2
- 2
- 9
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 4
- 2
- 11
- 2
- 4
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 9
- 7
- 3
- 2
- 3
- 2
- 2
- 5
- 2
- 3
- 3
- 2
- 2
- 7
- 2
- 2
- 3
- 3
- 5
- 3
- 9
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 5
- 2
- 3
- 7
- 2
- 2
- 3
- 2
- 3
- 3
- 4
- 3
- 3
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 5
- 3
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 6
- 2
- 2
- 5
- 2
- 5
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 4
- 10
- 4
- 2
- 10
- 3
- 7
- 2
- 3
- 2
- 12
- 2
- 3
- 4
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 4
- 5
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 33
- 27
- 2
- 2
- 3
- 3
- 4
- 3
- 2
- 8
- 4
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 17
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 8
- 4
- 3
- 3
- 4
- 4
- 3
- 3
- 8
- 6
- 5
- 3
- 3
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 4
- 7
- 4
- 3
- 3
- 4
- 4
- 6
- 4
- 4
- 3
- 5
- 3
- 7
- 3
- 3
- 3
- 3
- 4
- 3
- 8
- 6
- 21
- 3
- 4
- 7
- 3
- 3
- 3
- 6
- 3
- 3
- 4
- 3
- 4
- 3
- 8
- 4
- 3
- 9
- 4
- 3
- 3
- 4
- 4
- 3
- 3
- 3
- 5
- 6
- 3
- 3
- 3
- 6
- 3
- 5
- 4
- 3
- 3
- 4
- 3
- 4
- 3
- 5
- 7
- 3
- 3
- 11
- 3
- 3
- 5
- 5
- 3
- 7
- 5
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 5
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 7
- 3
- 4
- 3
- 3
- 12
- 5
- 6
- 3
- 5
- 3
- 3
- 3
- 6
- 4
- 3
- 4
- 3
- 3
- 4
- 5
- 5
- 3
- 3
- 3
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 5
- 3
- 4
- 5
- 5
- 5
- 3
- 3
- 4
- 6
- 3
- 3
- 4
- 3
- 8
- 4
- 6
- 3
- 7
- 3
- 3
- 7
- 7
- 3
- 3
- 3
- 3
- 4
- 3
- 9
- 5
- 6
- 5
- 4
- 5
- 5
- 4
- 3
- 5
- 3
- 3
- 3
- 7
- 4
- 3
- 12
- 3
- 3
- 3
- 6
- 3
- 4
- 4
- 4
- 3
- 5
- 4
- 5
- 3
- 3
- 4
- 3
- 3
- 4
- 3
- 4
- 8
- 3
- 6
- 3
- 3
- 4
- 4
- 7
- 5
- 4
- 3
- 4
- 4
- 3
- 3
- 4
- 4
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 7
- 3
- 7
- 4
- 7
- 3
- 9
- 12
- 3
- 6
- 4
- 4
- 11
- 3
- 5
- 7
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 12
- 3
- 9
- 5
- 5
- 10
- 21
- 6
- 3
- 6
- 4
- 3
- 5
- 3
- 3
- 3
- 5
- 6
- 5
- 3
- 3
- 4
- 4
- 3
- 3
- 10
- 3
- 3
- 4
- 5
- 5
- 3
- 5
- 4
- 3
- 8
- 5
- 6
- 5
- 9
- 3
- 3
- 5
- 4
- 4
- 3
- 3
- 3
- 9
- 4
- 16
- 3
- 6
- 4
- 4
- 3
- 3
- 3
- 3
- 5
- 5
- 7
- 7
- 3
- 3
- 6
- 3
- 7
- 3
- 3
- 5
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 6
- 3
- 3
- 3
- 7
- 7
- 3
- 6
- 5
- 3
- 4
- 5
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 5
- 3
- 7
- 5
- 4
- 3
- 9
- 4
- 18
- 3
- 3
- 8
- 3
- 4
- 3
- 3
- 6
- 3
- 4
- 4
- 4
- 6
- 7
- 4
- 5
- 3
- 4
- 4
- 4
- 3
- 7
- 3
- 4
- 3
- 3
- 6
- 9
- 5
- 3
- 4
- 3
- 3
- 3
- 5
- 7
- 4
- 3
- 5
- 3
- 4
- 3
- 8
- 4
- 3
- 4
- 4
- 3
- 5
- 6
- 8
- 9
- 4
- 3
- 3
- 3
- 4
- 35
- 6
- 9
- 4
- 10
- 4
- 9
- 3
- 3
- 3
- 3
- 3
- 7
- 3
- 5
- 4
- 3
- 27
- 6
- 4
- 3
- 9
- 3
- 4
- 30
- 3
- 3
- 6
- 4
- 3
- 4
- 3
- 8
- 6
- 17
- 9
- 7
- 3
- 3
- 8
- 6
- 6
- 3
- 4
- 11
- 3
- 3
- 4
- 3
- 5
- 18
- 6
- 4
- 5
- 11
- 6
- 5
- 3
- 5
- 5
- 3
- 9
- 5
- 5
- 4
- 3
- 3
- 18
- 3
- 5
- 4
- 4
- 6
- 3
- 4
- 3
- 5
- Verlag
-
- 4113
- 1
- 1
- 21
- Preis
-
- 13
- 150
- 3191
- 782
- Sprachen
-
- 4136
- 5
- 1
- Verfügbarkeit
-
- 4135
- 1
- Katalog
-
- 4136
- 235
-
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
-
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
-
Ibarra / Ravikumar Implementation and Applications of Automata
13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-70843-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Mathieu / Dignum / Novais Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection
21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12-14, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-37615-3Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (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: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (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: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (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: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (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
-
Dongarra / Madsen / Wasniewski Applied Parallel Computing
State of the Art in Scientific Computing1. Auflage 2006Verlag: SpringerISBN: 978-3-540-29067-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,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
-
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
-
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
-
Bakaev / Frasincar / Ko Web Engineering
19th International Conference, ICWE 2019, Daejeon, South Korea, June 11-14, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-19273-0Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (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
-
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
-
Ferreira / Löwe / Mayordomo Programs, Proofs, Processes
6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13961-1Medium: 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
-
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
-
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
-
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
-
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
-
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
-
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
-
Bergstra / Feijs Algebraic Methods II: Theory, Tools and Applications
1. Auflage 1991Verlag: SpringerISBN: 978-3-540-53912-4Medium: 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
