Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 699 Algorithmen & Datenstrukturen
- 115 Compiler
- 27 Datenbankprogrammierung
- 245 Funktionale, Logische, Parallele und Visuelle Programmierung
- 819 Grafikprogrammierung
- 1 Handheld Programmierung
- 4 Microsoft Programmierung
- 2 Netzwerkprogrammierung
- 85 Objektorientierte Programmierung
- 459 Programmier- und Skriptsprachen
- 1364 Programmierung: Methoden und Allgemeines
- 554 Prozedurale Programmierung
- 2116 Software Engineering
- 163 Spiele-Programmierung, Rendering, Animation
- 22 Web Services
- 45 Webprogrammierung
- Medium
-
- 4220
- Erscheinungsjahr
-
- 70
- 235
- 195
- 133
- 47
- 23
- 41
- 50
- 63
- 48
- 85
- 72
- 65
- 83
- 73
- 70
- 166
- 121
- 147
- 198
- 188
- 143
- 210
- 219
- 180
- 184
- 118
- 118
- 97
- 100
- 96
- 81
- 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
- 6
- 2
- 4
- 8
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 7
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 6
- 2
- 3
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 12
- 2
- 3
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 5
- 3
- 4
- 3
- 4
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 6
- 3
- 2
- 6
- 2
- 2
- 3
- 7
- 2
- 2
- 3
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 3
- 2
- 10
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 10
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 7
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 6
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 5
- 6
- 4
- 4
- 2
- 4
- 4
- 2
- 10
- 3
- 3
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 12
- 2
- 4
- 7
- 3
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 8
- 2
- 6
- 2
- 2
- 3
- 2
- 5
- 3
- 2
- 3
- 2
- 3
- 3
- 6
- 2
- 3
- 2
- 3
- 5
- 2
- 10
- 2
- 3
- 4
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 7
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 4
- 3
- 3
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 6
- 2
- 3
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 6
- 2
- 3
- 2
- 4
- 7
- 2
- 2
- 2
- 10
- 5
- 3
- 7
- 2
- 2
- 4
- 3
- 12
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 4
- 5
- 2
- 2
- 4
- 3
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 36
- 28
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 11
- 3
- 4
- 3
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 16
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 8
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 9
- 6
- 3
- 5
- 3
- 4
- 3
- 3
- 5
- 4
- 5
- 3
- 3
- 3
- 3
- 3
- 7
- 4
- 3
- 3
- 3
- 4
- 4
- 4
- 6
- 3
- 3
- 3
- 3
- 4
- 3
- 7
- 4
- 4
- 4
- 7
- 6
- 21
- 4
- 3
- 8
- 3
- 3
- 5
- 4
- 3
- 4
- 4
- 3
- 3
- 7
- 7
- 4
- 3
- 3
- 4
- 4
- 3
- 5
- 3
- 3
- 3
- 5
- 7
- 5
- 3
- 6
- 5
- 5
- 3
- 3
- 3
- 4
- 4
- 3
- 5
- 6
- 3
- 4
- 11
- 3
- 5
- 6
- 4
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 7
- 3
- 3
- 4
- 3
- 3
- 13
- 5
- 6
- 3
- 3
- 3
- 3
- 8
- 3
- 4
- 3
- 4
- 3
- 4
- 5
- 6
- 3
- 3
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 5
- 6
- 3
- 4
- 3
- 4
- 7
- 3
- 3
- 3
- 3
- 3
- 6
- 3
- 3
- 4
- 5
- 9
- 3
- 7
- 3
- 7
- 3
- 3
- 6
- 3
- 3
- 3
- 4
- 3
- 3
- 7
- 4
- 6
- 11
- 5
- 4
- 5
- 3
- 5
- 3
- 3
- 7
- 4
- 7
- 3
- 3
- 12
- 4
- 3
- 6
- 6
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 5
- 4
- 3
- 3
- 5
- 3
- 3
- 4
- 5
- 8
- 5
- 4
- 6
- 3
- 3
- 3
- 3
- 7
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 7
- 3
- 6
- 4
- 6
- 6
- 5
- 3
- 3
- 4
- 4
- 4
- 4
- 10
- 4
- 3
- 9
- 3
- 5
- 4
- 3
- 4
- 13
- 3
- 8
- 3
- 5
- 4
- 12
- 25
- 7
- 3
- 3
- 5
- 3
- 3
- 4
- 3
- 3
- 6
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 4
- 9
- 3
- 3
- 3
- 4
- 5
- 5
- 4
- 5
- 6
- 3
- 5
- 5
- 4
- 9
- 3
- 3
- 3
- 6
- 3
- 4
- 4
- 4
- 3
- 3
- 7
- 3
- 3
- 3
- 5
- 4
- 16
- 5
- 4
- 5
- 5
- 4
- 3
- 4
- 4
- 7
- 6
- 4
- 3
- 6
- 7
- 4
- 3
- 5
- 6
- 3
- 4
- 3
- 3
- 4
- 3
- 6
- 4
- 5
- 4
- 8
- 4
- 3
- 4
- 6
- 5
- 3
- 6
- 3
- 3
- 9
- 3
- 3
- 4
- 3
- 6
- 3
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 7
- 8
- 19
- 3
- 3
- 7
- 4
- 3
- 6
- 3
- 5
- 6
- 5
- 3
- 10
- 4
- 3
- 6
- 3
- 4
- 3
- 7
- 3
- 5
- 6
- 3
- 7
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 7
- 3
- 3
- 7
- 6
- 8
- 9
- 4
- 3
- 3
- 4
- 31
- 5
- 11
- 3
- 4
- 12
- 4
- 9
- 3
- 3
- 5
- 3
- 4
- 3
- 7
- 3
- 5
- 4
- 3
- 6
- 5
- 4
- 11
- 19
- 6
- 4
- 9
- 3
- 3
- 3
- 35
- 4
- 3
- 4
- 4
- 4
- 3
- 3
- 9
- 16
- 3
- 10
- 3
- 3
- 3
- 10
- 4
- 3
- 3
- 3
- 6
- 4
- 11
- 4
- 5
- 4
- 4
- 17
- 6
- 3
- 13
- 4
- 7
- 4
- 6
- 3
- 9
- 4
- 5
- 4
- 4
- 4
- 18
- 4
- 7
- 4
- 5
- 3
- 3
- Verlag
-
- 4199
- 1
- 3
- 17
- Preis
-
- 13
- 145
- 3269
- 793
- Sprachen
-
- 4220
- 5
- Verfügbarkeit
-
- 4217
- 3
- Eigenschaften
-
- 5
- Katalog
-
- 4220
- 238
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
Keller / Kramer / Weiss Facing the Multicore-Challenge
Aspects of New Paradigms and Technologies in Parallel Computing1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16232-9Medium: 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
-
Keller / Kramer / Weiss Facing the Multicore-Challenge II
Aspects of New Paradigms and Technologies in Parallel Computing1. Auflage 2012Verlag: SpringerISBN: 978-3-642-30396-8Medium: 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
-
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
-
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
