Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 692 Algorithmen & Datenstrukturen
- 111 Compiler
- 25 Datenbankprogrammierung
- 254 Funktionale, Logische, Parallele und Visuelle Programmierung
- 818 Grafikprogrammierung
- 1 Handheld Programmierung
- 3 Microsoft Programmierung
- 2 Netzwerkprogrammierung
- 85 Objektorientierte Programmierung
- 452 Programmier- und Skriptsprachen
- 1365 Programmierung: Methoden und Allgemeines
- 556 Prozedurale Programmierung
- 2112 Software Engineering
- 161 Spiele-Programmierung, Rendering, Animation
- 19 Web Services
- 42 Webprogrammierung
- Medium
-
- 4217
- Erscheinungsjahr
-
- 80
- 234
- 191
- 133
- 47
- 23
- 41
- 50
- 63
- 48
- 82
- 74
- 69
- 87
- 72
- 70
- 147
- 128
- 142
- 201
- 187
- 142
- 208
- 218
- 181
- 183
- 120
- 118
- 99
- 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
- 6
- 2
- 4
- 8
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 7
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 3
- 3
- 4
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 13
- 2
- 3
- 2
- 4
- 2
- 4
- 5
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 3
- 5
- 3
- 4
- 3
- 4
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 6
- 3
- 2
- 6
- 2
- 2
- 4
- 10
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 2
- 3
- 2
- 10
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 11
- 2
- 5
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 5
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 6
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 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
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 8
- 2
- 6
- 2
- 3
- 3
- 2
- 5
- 3
- 2
- 3
- 2
- 3
- 3
- 6
- 2
- 3
- 2
- 3
- 5
- 10
- 2
- 3
- 4
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 7
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 3
- 4
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 6
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 4
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 3
- 2
- 2
- 3
- 6
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 10
- 5
- 2
- 7
- 2
- 2
- 4
- 3
- 14
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 5
- 5
- 2
- 2
- 4
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 36
- 29
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 8
- 3
- 4
- 3
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 16
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 3
- 3
- 3
- 3
- 8
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 9
- 6
- 3
- 5
- 3
- 4
- 4
- 3
- 5
- 4
- 5
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 7
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 6
- 3
- 3
- 3
- 3
- 4
- 3
- 8
- 4
- 4
- 4
- 7
- 3
- 6
- 22
- 4
- 3
- 8
- 4
- 3
- 5
- 3
- 3
- 4
- 4
- 3
- 3
- 3
- 6
- 3
- 7
- 4
- 3
- 3
- 4
- 4
- 3
- 5
- 3
- 3
- 3
- 5
- 6
- 4
- 3
- 6
- 4
- 5
- 3
- 3
- 3
- 4
- 4
- 3
- 6
- 5
- 3
- 4
- 11
- 3
- 4
- 6
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 7
- 3
- 3
- 4
- 3
- 3
- 14
- 5
- 6
- 3
- 3
- 3
- 3
- 8
- 3
- 4
- 3
- 4
- 4
- 3
- 5
- 7
- 4
- 3
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 6
- 9
- 3
- 4
- 3
- 4
- 6
- 3
- 3
- 3
- 3
- 6
- 3
- 3
- 4
- 5
- 9
- 7
- 3
- 7
- 3
- 3
- 6
- 3
- 3
- 3
- 4
- 3
- 7
- 6
- 3
- 6
- 11
- 5
- 4
- 5
- 3
- 5
- 3
- 3
- 5
- 4
- 7
- 3
- 3
- 12
- 3
- 3
- 6
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 3
- 3
- 5
- 4
- 5
- 4
- 3
- 5
- 3
- 4
- 3
- 4
- 6
- 8
- 5
- 3
- 4
- 6
- 3
- 3
- 4
- 3
- 3
- 7
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 7
- 3
- 3
- 6
- 4
- 6
- 7
- 6
- 3
- 3
- 3
- 4
- 4
- 4
- 3
- 4
- 10
- 4
- 8
- 3
- 5
- 4
- 3
- 3
- 4
- 12
- 3
- 8
- 3
- 5
- 4
- 12
- 25
- 7
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 3
- 3
- 7
- 4
- 3
- 4
- 3
- 5
- 3
- 4
- 9
- 4
- 3
- 4
- 5
- 3
- 5
- 4
- 5
- 6
- 6
- 5
- 4
- 9
- 3
- 3
- 3
- 5
- 4
- 4
- 4
- 3
- 3
- 6
- 4
- 3
- 5
- 3
- 17
- 5
- 4
- 3
- 4
- 5
- 4
- 3
- 6
- 3
- 7
- 6
- 4
- 3
- 6
- 7
- 5
- 3
- 5
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 3
- 6
- 4
- 5
- 4
- 6
- 4
- 3
- 4
- 6
- 5
- 3
- 6
- 4
- 3
- 10
- 3
- 3
- 3
- 3
- 3
- 6
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 7
- 8
- 22
- 3
- 3
- 6
- 4
- 3
- 3
- 6
- 3
- 3
- 4
- 5
- 3
- 9
- 4
- 3
- 5
- 3
- 4
- 3
- 7
- 3
- 5
- 7
- 5
- 3
- 6
- 3
- 4
- 8
- 3
- 3
- 5
- 4
- 4
- 3
- 5
- 3
- 6
- 3
- 3
- 3
- 8
- 4
- 4
- 7
- 6
- 8
- 9
- 3
- 4
- 4
- 30
- 5
- 10
- 4
- 3
- 14
- 4
- 9
- 3
- 3
- 5
- 4
- 3
- 7
- 5
- 5
- 4
- 3
- 6
- 5
- 12
- 19
- 6
- 4
- 9
- 5
- 4
- 3
- 3
- 35
- 4
- 3
- 4
- 4
- 4
- 3
- 3
- 10
- 17
- 5
- 10
- 3
- 3
- 3
- 10
- 4
- 3
- 3
- 7
- 6
- 4
- 14
- 4
- 5
- 4
- 4
- 22
- 6
- 3
- 13
- 5
- 12
- 4
- 6
- 3
- 11
- 4
- 5
- 4
- 4
- 6
- 18
- 5
- 11
- 4
- 4
- 3
- Verlag
-
- 4194
- 1
- 3
- 19
- Preis
-
- 13
- 144
- 3270
- 790
- Sprachen
-
- 4217
- 5
- Verfügbarkeit
-
- 4214
- 3
- Eigenschaften
-
- 4
- Katalog
-
- 4217
- 240
-
Paulson Isabelle
A Generic Theorem Prover1. Auflage 1994Verlag: SpringerISBN: 978-3-540-58244-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wiedijk The Seventeen Provers of the World
Foreword by Dana S. Scott1. Auflage 2006Verlag: SpringerISBN: 978-3-540-30704-4Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gollmann Fast Software Encryption
Third International Workshop, Cambridge, UK, February 21 - 23, 1996. Proceedings1. Auflage 1996Verlag: SpringerISBN: 978-3-540-60865-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Even / Rawitz Design and Analysis of Algorithms
First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34861-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rios / Posegga Security and Trust Management
19th International Workshop, STM 2023, The Hague, The Netherlands, September 28, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-47197-1Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wyrzykowski / Dongarra / Meyer Parallel Processing and Applied Mathematics
6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34141-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yang / Jiang Medical Imaging and Augmented Reality
Second International Workshop, MIAR 2004, Beijing, China, August 19-20, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22877-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Iglesias / Takayama Mathematical Software - ICMS 2006
Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-38084-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Spirakis Algorithms - ESA '95
Third Annual European Symposium, Corfu, Greece, September, 25 - 27, 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60313-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Umeda / Wolf / Bartenstein Declarative Programming for Knowledge Management
16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-69233-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Carter / Ferrante Languages and Compilers for Parallel Computing
12th International Workshop, LCPC'99 La Jolla, CA, USA, August 4-6, 1999 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67858-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Orejas / Spirakis / Leeuwen Automata, Languages and Programming
28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42287-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Westort Digital Earth Moving
First International Symposium, DEM 2001, Manno, Switzerland, September 5-7, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42586-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Blaser Data Base Techniques for Pictorial Application
Florence, June 20-22, 19791. Auflage 1980Verlag: SpringerISBN: 978-3-540-09763-1Medium: Buch50,28 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage50,28 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brinksma Tools and Algorithms for the Construction and Analysis of Systems
Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-62790-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Odijk / Rem / Syre PARLE '89 - Parallel Architectures and Languages Europe
Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989; ProceedingsErscheinungsjahr 1989Verlag: SpringerISBN: 978-3-540-51284-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Held On the Computational Geometry of Pocket Machining
1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54103-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Etiemble / Syre PARLE '92. Parallel Architectures and Languages Europe
4th International PARLE Conference, Paris, France, June 15-18, 1992 ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55599-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhang / Tung / Zheng Web and Big Data
8th International Joint Conference, APWeb-WAIM 2024, Jinhua, China, August 30 - September 1, 2024, Proceedings, Part I2024Verlag: SpringerISBN: 978-981-97-7231-5Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dybjer / Nordström / Smith Types for Proofs and Programs
International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected PapersErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60579-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Proietti Logic Program Synthesis and Transformation
5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-60939-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Guerra / Istrail Mathematical Methods for Protein Structure Analysis and Design
Advanced Lectures1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40104-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bowen / Gomes / Liu Engineering Trustworthy Software Systems
6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial LecturesErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-964655-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
de Boer / Bonsangue / Graf Formal Methods for Components and Objects
Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29131-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Swierstra / Henriques / Oliveira Advanced Functional Programming
Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66241-9Medium: 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