Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 741 Algorithmen & Datenstrukturen
- 120 Compiler
- 25 Datenbankprogrammierung
- 262 Funktionale, Logische, Parallele und Visuelle Programmierung
- 799 Grafikprogrammierung
- 1 Handheld Programmierung
- 5 Microsoft Programmierung
- 2 Netzwerkprogrammierung
- 85 Objektorientierte Programmierung
- 457 Programmier- und Skriptsprachen
- 1353 Programmierung: Methoden und Allgemeines
- 554 Prozedurale Programmierung
- 2159 Software Engineering
- 144 Spiele-Programmierung, Rendering, Animation
- 21 Web Services
- 43 Webprogrammierung
- Medium
-
- 4301
- Erscheinungsjahr
-
- 4
- 181
- 235
- 190
- 130
- 47
- 27
- 42
- 49
- 66
- 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
- 5
- 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
- 2
- 2
- 2
- 2
- 7
- 2
- 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
- 6
- 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
- 5
- 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
- 6
- 5
- 3
- 10
- 3
- 7
- 4
- 5
- 3
- 4
- 7
- 3
- 3
- 5
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 6
- 6
- 3
- 8
- 12
- 3
- 3
- 5
- 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
- 7
- 4
- 3
- 3
- 3
- 4
- 12
- 7
- 3
- 11
- 5
- 4
- 12
- 28
- 6
- 5
- 3
- 3
- 5
- 3
- 6
- 3
- 3
- 5
- 3
- 6
- 4
- 5
- 4
- 4
- 5
- 3
- 12
- 4
- 4
- 5
- 3
- 6
- 4
- 7
- 6
- 3
- 5
- 4
- 3
- 5
- 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
- 3
- 7
- 6
- 3
- 3
- 3
- 5
- 7
- 3
- 3
- 5
- 3
- 4
- 3
- 3
- 4
- 3
- 4
- 6
- 6
- 4
- 6
- 4
- 3
- 6
- 4
- 3
- 6
- 4
- 9
- 3
- 3
- 7
- 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
- 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
- 5
- 7
- 4
- 12
- 21
- 6
- 4
- 3
- 9
- 5
- 4
- 3
- 40
- 4
- 3
- 4
- 4
- 3
- 3
- 4
- 9
- 20
- 5
- 10
- 6
- 3
- 13
- 6
- 3
- 3
- 3
- 5
- 5
- 3
- 3
- 4
- 13
- 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
- 4254
- 1
- 1
- 14
- 4
- 6
- 18
- Preis
-
- 13
- 160
- 3332
- 796
- Sprachen
-
- 4301
- 5
- Verfügbarkeit
-
- 4229
- 72
- Katalog
-
- 4301
- 242
-
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
Cavalcanti / Baxter The Practice of Formal Methods
Essays in Honour of Cliff Jones, Part I2024Verlag: SpringerISBN: 978-3-031-66675-9Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dams / Hannemann / Steffen Concurrency, Compositionality, and Correctness
Essays in Honor of Willem-Paul de Roever1. Auflage 2010Verlag: SpringerISBN: 978-3-642-11511-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gianni Symbolic and Algebraic Computation
International Symposium ISSAC' 88, Rome, Italy, July 4-8, 1988. ProceedingsErscheinungsjahr 1989Verlag: SpringerISBN: 978-3-540-51084-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Maier / Bergler / Bayer Vibe Coding
Software Engineering in the Age of AIErscheinungsjahr 2027Verlag: SpringerISBN: 978-3-032-39906-9Medium: Buch42,79 € (inkl. MwSt.)
vorbestellbar42,79 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. April 2027 -
van der Aalst Transactions on Petri Nets and Other Models of Concurrency II
Special Issue on Concurrency in Process-Aware Information Systems1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00898-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Paun / Rozenberg / Salomaa Membrane Computing
International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00611-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cooper / Löwe New Computational Paradigms
First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26179-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
Meyer / Nordio Software Engineering
International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures1. Auflage 2015Verlag: SpringerISBN: 978-3-319-28405-7Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (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