Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 696 Algorithmen & Datenstrukturen
- 106 Compiler
- 23 Datenbankprogrammierung
- 246 Funktionale, Logische, Parallele und Visuelle Programmierung
- 799 Grafikprogrammierung
- 4 Microsoft Programmierung
- 1 Netzwerkprogrammierung
- 82 Objektorientierte Programmierung
- 443 Programmier- und Skriptsprachen
- 1375 Programmierung: Methoden und Allgemeines
- 565 Prozedurale Programmierung
- 2067 Software Engineering
- 154 Spiele-Programmierung, Rendering, Animation
- 22 Web Services
- 47 Webprogrammierung
- Medium
-
- 4152
- Erscheinungsjahr
-
- 25
- 240
- 183
- 127
- 47
- 20
- 39
- 47
- 67
- 56
- 61
- 79
- 66
- 80
- 83
- 67
- 150
- 139
- 145
- 200
- 201
- 133
- 212
- 223
- 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
- 4
- 5
- 2
- 2
- 7
- 3
- 3
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 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
- 4
- 3
- 2
- 5
- 4
- 3
- 3
- 4
- 4
- 5
- 4
- 3
- 2
- 3
- 2
- 6
- 3
- 2
- 2
- 4
- 6
- 3
- 2
- 2
- 4
- 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
- 6
- 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
- 5
- 4
- 2
- 2
- 10
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 11
- 2
- 4
- 9
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 9
- 2
- 4
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 2
- 2
- 4
- 3
- 5
- 3
- 11
- 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
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 3
- 5
- 2
- 2
- 2
- 5
- 3
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 10
- 3
- 2
- 8
- 2
- 3
- 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
- 35
- 27
- 2
- 3
- 3
- 4
- 2
- 3
- 2
- 2
- 13
- 4
- 2
- 9
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 4
- 2
- 2
- 16
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 3
- 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
- 21
- 3
- 3
- 7
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 6
- 3
- 8
- 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
- 7
- 5
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 5
- 3
- 4
- 3
- 3
- 7
- 3
- 3
- 3
- 5
- 3
- 3
- 15
- 5
- 6
- 3
- 4
- 3
- 6
- 5
- 4
- 4
- 3
- 7
- 4
- 4
- 5
- 3
- 3
- 3
- 4
- 3
- 5
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 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
- 9
- 5
- 6
- 6
- 5
- 3
- 5
- 5
- 5
- 3
- 3
- 7
- 3
- 4
- 12
- 4
- 4
- 6
- 3
- 4
- 4
- 3
- 3
- 8
- 3
- 5
- 4
- 5
- 3
- 3
- 4
- 7
- 3
- 4
- 4
- 4
- 8
- 6
- 3
- 3
- 6
- 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
- 3
- 11
- 3
- 8
- 3
- 3
- 3
- 3
- 4
- 12
- 3
- 10
- 4
- 4
- 3
- 4
- 11
- 3
- 3
- 5
- 3
- 4
- 10
- 21
- 7
- 6
- 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
- 4
- 17
- 3
- 6
- 3
- 4
- 4
- 3
- 3
- 4
- 3
- 5
- 7
- 7
- 3
- 3
- 4
- 3
- 7
- 3
- 3
- 3
- 5
- 4
- 4
- 3
- 4
- 3
- 3
- 4
- 4
- 3
- 5
- 6
- 5
- 3
- 3
- 3
- 3
- 7
- 3
- 3
- 6
- 3
- 4
- 4
- 4
- 4
- 3
- 3
- 4
- 3
- 4
- 3
- 5
- 5
- 3
- 9
- 4
- 9
- 18
- 7
- 6
- 4
- 3
- 6
- 4
- 6
- 3
- 7
- 4
- 3
- 3
- 3
- 9
- 4
- 3
- 4
- 3
- 3
- 4
- 4
- 3
- 4
- 3
- 7
- 3
- 5
- 6
- 5
- 3
- 3
- 6
- 3
- 4
- 4
- 4
- 5
- 4
- 3
- 3
- 5
- 3
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 6
- 3
- 11
- 9
- 7
- 3
- 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
- 4
- 9
- 3
- 3
- 4
- 33
- 3
- 5
- 4
- 3
- 4
- 3
- 10
- 5
- 17
- 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
- 5
- 4
- 4
- 6
- Verlag
-
- 4124
- 1
- 3
- 24
- Preis
-
- 13
- 138
- 3222
- 779
- Sprachen
-
- 4152
- 5
- Verfügbarkeit
-
- 4148
- 4
- Eigenschaften
-
- 1
- Katalog
-
- 4152
- 239
-
Vogt Concurrency 88
International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings1. Auflage 1988Verlag: SpringerISBN: 978-3-540-50403-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Shankaranarayanan / Sankaranarayanan / Trivedi Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-82702-0Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dehne / López-Ortiz / Sack Algorithms and Data Structures
9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28101-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dediu / Hernández-Quiroz / Martín-Vide Algorithms for Computational Biology
Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-21232-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bouajjani / Chin Automated Technology for Verification and Analysis
8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15642-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Marques-Silva / Sakallah Theory and Applications of Satisfiability Testing - SAT 2007
10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72787-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Midkiff / Moreira / Gupta Languages and Compilers for Parallel Computing
13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised PapersErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42862-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lucena / Garcia / Romanovsky Software Engineering for Multi-Agent Systems II
Research Issues and Practical Applications1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21182-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
King / Munson Digital Documents: Systems and Principles
8th International Conference on Digital Documents and Electronic Publishing, DDEP 2000, 5th International Workshop on the Principles of Digital Document Processing, PODDP 2000, Munich, Germany, September 13-15, 2000, Revised PapersErscheinungsjahr 2004Verlag: SpringerISBN: 978-3-540-21070-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leeuwen / Santoro Distributed Algorithms
4th International Workshop, Bari, Italy, September 24-26, 1990. Proceedings.1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54099-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Horváth / Yamamoto Inductive Logic Programming
13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20144-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Theoharis Algorithms for Parallel Polygon Rendering
Erscheinungsjahr 1989Verlag: SpringerISBN: 978-3-540-51394-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Machado / Maciel / Rubin Model-Based Methodologies for Pervasive and Embedded Software
8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38208-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Staunstrup Program Specification
Proceedings of a Workshop Aarhus, Denmark, August 19811. Auflage 1982Verlag: SpringerISBN: 978-3-540-11490-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bolduc / Desharnais / Ktari Mathematics of Program Construction
10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13320-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sagonas Practical Aspects of Declarative Languages
15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-45283-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dezani-Ciancaglini / Plotkin Typed Lambda Calculi and Applications
Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-59048-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Luk / Cheung / Glesner Field Programmable Logic and Applications
7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings.Erscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63465-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
O'Boyle Compiler Construction
21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-28651-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fensel Problem-Solving Methods
Understanding, Description, Development, and ReuseErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67816-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
ter Beek / Nickovic / Nickovic Formal Methods for Industrial Critical Systems
25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-58297-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Al-Begain / Fiems / Knottenbelt Analytical and Stochastic Modeling Techniques and Applications
17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13567-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nipkow / Paulson / Wenzel Isabelle/HOL
A Proof Assistant for Higher-Order Logic1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43376-7Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Avgeriou / Zdun Software Architecture
8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09969-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Magoutis / Pietzuch Distributed Applications and Interoperable Systems
14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-43351-5Medium: 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