Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 697 Algorithmen & Datenstrukturen
- 106 Compiler
- 23 Datenbankprogrammierung
- 246 Funktionale, Logische, Parallele und Visuelle Programmierung
- 799 Grafikprogrammierung
- 4 Microsoft Programmierung
- 1 Netzwerkprogrammierung
- 82 Objektorientierte Programmierung
- 442 Programmier- und Skriptsprachen
- 1368 Programmierung: Methoden und Allgemeines
- 561 Prozedurale Programmierung
- 2057 Software Engineering
- 152 Spiele-Programmierung, Rendering, Animation
- 22 Web Services
- 47 Webprogrammierung
- Medium
-
- 4146
- Erscheinungsjahr
-
- 25
- 240
- 183
- 127
- 47
- 20
- 39
- 47
- 67
- 56
- 61
- 79
- 66
- 80
- 83
- 67
- 150
- 139
- 145
- 200
- 192
- 137
- 212
- 222
- 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
- 3
- 5
- 2
- 2
- 7
- 3
- 3
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 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
- 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
- 3
- 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
- 5
- 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
- 6
- 4
- 2
- 2
- 10
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 11
- 2
- 4
- 8
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 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
- 4
- 3
- 5
- 3
- 10
- 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
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 5
- 3
- 5
- 2
- 2
- 2
- 5
- 3
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 6
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 7
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 10
- 2
- 2
- 8
- 2
- 2
- 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
- 36
- 27
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 13
- 4
- 2
- 9
- 2
- 3
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 5
- 2
- 2
- 16
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 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
- 22
- 3
- 3
- 7
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 6
- 3
- 9
- 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
- 8
- 5
- 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
- 4
- 3
- 6
- 5
- 4
- 4
- 3
- 7
- 4
- 4
- 5
- 3
- 3
- 4
- 3
- 5
- 3
- 4
- 3
- 3
- 3
- 3
- 5
- 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
- 8
- 5
- 6
- 6
- 5
- 3
- 5
- 5
- 5
- 3
- 3
- 7
- 3
- 4
- 12
- 4
- 4
- 7
- 3
- 5
- 4
- 3
- 3
- 8
- 3
- 5
- 4
- 5
- 3
- 3
- 4
- 7
- 3
- 4
- 4
- 4
- 8
- 6
- 3
- 3
- 6
- 3
- 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
- 11
- 3
- 8
- 3
- 3
- 3
- 3
- 4
- 11
- 3
- 9
- 4
- 4
- 3
- 4
- 11
- 3
- 5
- 3
- 4
- 10
- 21
- 7
- 5
- 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
- 5
- 17
- 3
- 6
- 3
- 4
- 4
- 3
- 3
- 4
- 3
- 5
- 7
- 7
- 3
- 3
- 5
- 3
- 7
- 3
- 3
- 3
- 5
- 4
- 4
- 3
- 4
- 3
- 3
- 4
- 5
- 3
- 5
- 6
- 5
- 3
- 3
- 3
- 3
- 7
- 3
- 3
- 6
- 3
- 3
- 4
- 4
- 4
- 3
- 3
- 5
- 4
- 4
- 3
- 5
- 5
- 3
- 8
- 4
- 9
- 18
- 7
- 6
- 4
- 3
- 7
- 4
- 6
- 3
- 7
- 4
- 3
- 9
- 4
- 4
- 3
- 3
- 4
- 4
- 3
- 4
- 3
- 7
- 3
- 5
- 6
- 6
- 3
- 3
- 7
- 3
- 4
- 4
- 4
- 4
- 5
- 4
- 3
- 3
- 5
- 3
- 3
- 5
- 4
- 3
- 3
- 3
- 5
- 6
- 3
- 11
- 9
- 7
- 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
- 9
- 3
- 5
- 33
- 3
- 5
- 4
- 3
- 4
- 3
- 10
- 6
- 18
- 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
- 3
- 4
- 4
- 6
- Verlag
-
- 4118
- 1
- 3
- 24
- Preis
-
- 13
- 137
- 3215
- 781
- Sprachen
-
- 4146
- 5
- Verfügbarkeit
-
- 4142
- 4
- Eigenschaften
-
- 1
- Katalog
-
- 4146
- 238
-
Ahrendt / Beckert / Bubel The Logic of Software. A Tasting Menu of Formal Methods
Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday1. Auflage 2022Verlag: SpringerISBN: 978-3-031-08165-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Naldi / Djemame / Altmann Economics of Grids, Clouds, Systems, and Services
20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-81225-5Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu / Ludwig / Toumani Service-Oriented Computing
10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34320-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dams / Gerth / Leue Theoretical and Practical Aspects of SPIN Model Checking
5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66499-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jensen / Podelski Tools and Algorithms for the Construction and Analysis of Systems
10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21299-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Katwijk Ada: Moving Towards 2000
11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55585-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nieuwenhuis Automated Deduction - CADE-20
20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28005-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sakallah / Simon Theory and Application of Satisfiability Testing
14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21580-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hermanns / Sun / Bu Dependable Software Engineering. Theories, Tools, and Applications
9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings1. Auflage 2024Verlag: SpringerISBN: 978-981-99-8663-7Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Reed SDL 2003: System Design
11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40539-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
The Munich Project CIP
Volume II: The Programme Transformation System CIP-S1. Auflage 1988Verlag: SpringerISBN: 978-3-540-18779-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Adve / Garzarán / Petersen Languages and Compilers for Parallel Computing
20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85260-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hailpern Verifying Concurrent Processes Using Temporal Logic
1. Auflage 1982Verlag: SpringerISBN: 978-3-540-11205-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bernhaupt / Ardito / Sauer Human-Centered Software Engineering
8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, The Netherlands, November 30 - December 2, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-64265-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Weiland / Neuwirth / Kruse High Performance Computing. ISC High Performance 2024 International Workshops
Hamburg, Germany, May 12-16, 2024, Revised Selected Papers2024Verlag: SpringerISBN: 978-3-031-73715-2Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics, Part I
8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 20091. Auflage 2010Verlag: SpringerISBN: 978-3-642-14389-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Makedon / Mehlhorn / Papatheodorou VLSI Algorithms and Architectures
Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings1. Auflage 1986Verlag: SpringerISBN: 978-3-540-16766-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zeadally / Cerqueira / Curado Future Multimedia Networking
Third International Workshop, FMN 2010, Krakow, Poland, June 17-18, 2010. Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-13788-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lomuscio / Nepal / Patrizi Service-Oriented Computing--ICSOC 2013 Workshops
CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-06858-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pernul / Tjoa Entity-Relationship Approach - ER '92
11th International Conference on the Entity-Relationship Approach, Karlsruhe, Germany, October 7-9, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-56023-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cohen / Rybalchenko Verified Software: Theorie, Tools, Experiments
5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54107-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dowek / Heering / Meinke Higher-Order Algebra, Logic, and Term Rewriting
Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61254-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Munekata / Kunita / Hoshino Entertainment Computing - ICEC 2017
16th IFIP TC 14 International Conference, Tsukuba City, Japan, September 18-21, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-66714-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Crochemore / Paterson Combinatorial Pattern Matching
10th Annual Symposium, CPM 99, Warwick University, UK, July 22-24, 1999 Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66278-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dinh / Thai Computing and Combinatorics
22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-42633-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