Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 754 Algorithmen & Datenstrukturen
- 128 Compiler
- 24 Datenbankprogrammierung
- 233 Funktionale, Logische, Parallele und Visuelle Programmierung
- 808 Grafikprogrammierung
- 1 Handheld Programmierung
- 4 Microsoft Programmierung
- 2 Netzwerkprogrammierung
- 81 Objektorientierte Programmierung
- 460 Programmier- und Skriptsprachen
- 1367 Programmierung: Methoden und Allgemeines
- 553 Prozedurale Programmierung
- 2206 Software Engineering
- 153 Spiele-Programmierung, Rendering, Animation
- 20 Web Services
- 43 Webprogrammierung
- Medium
-
- 4331
- Erscheinungsjahr
-
- 40
- 194
- 234
- 193
- 129
- 47
- 27
- 37
- 48
- 69
- 44
- 58
- 70
- 69
- 76
- 67
- 67
- 157
- 138
- 154
- 195
- 185
- 153
- 201
- 218
- 182
- 181
- 113
- 119
- 92
- 103
- 96
- 80
- 67
- 66
- 50
- 70
- 39
- 40
- 30
- 31
- 20
- 14
- 11
- 9
- 13
- 17
- 11
- 1
- 1
- 2
- 2
- 1
- Autoren
-
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 8
- 2
- 2
- 3
- 6
- 2
- 2
- 8
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 13
- 4
- 3
- 4
- 2
- 4
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 3
- 2
- 5
- 3
- 3
- 3
- 2
- 6
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 6
- 3
- 2
- 4
- 2
- 2
- 3
- 3
- 10
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 3
- 10
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 11
- 3
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 3
- 5
- 3
- 2
- 3
- 2
- 2
- 2
- 8
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 3
- 2
- 4
- 3
- 6
- 4
- 4
- 2
- 6
- 4
- 2
- 9
- 3
- 2
- 2
- 3
- 4
- 3
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 10
- 4
- 5
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 9
- 2
- 5
- 4
- 2
- 3
- 2
- 3
- 5
- 3
- 2
- 5
- 3
- 3
- 3
- 3
- 6
- 2
- 3
- 2
- 3
- 5
- 2
- 2
- 12
- 2
- 4
- 3
- 2
- 3
- 2
- 4
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 7
- 3
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 10
- 2
- 2
- 3
- 3
- 3
- 3
- 4
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 3
- 6
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 6
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 7
- 4
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 3
- 6
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 3
- 4
- 3
- 3
- 4
- 3
- 4
- 5
- 10
- 9
- 5
- 3
- 4
- 10
- 3
- 6
- 6
- 4
- 3
- 4
- 5
- 4
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 4
- 3
- 3
- 5
- 3
- 4
- 7
- 38
- 29
- 3
- 3
- 4
- 5
- 2
- 11
- 3
- 7
- 4
- 5
- 3
- 3
- 5
- 4
- 3
- 3
- 5
- 16
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 8
- 3
- 3
- 4
- 4
- 3
- 3
- 7
- 6
- 3
- 4
- 3
- 3
- 4
- 7
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 5
- 7
- 3
- 3
- 3
- 4
- 4
- 6
- 3
- 4
- 4
- 4
- 3
- 9
- 3
- 3
- 3
- 8
- 6
- 25
- 3
- 3
- 7
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 4
- 4
- 6
- 9
- 4
- 3
- 3
- 3
- 3
- 4
- 5
- 3
- 4
- 3
- 5
- 5
- 3
- 6
- 3
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 4
- 6
- 6
- 5
- 9
- 3
- 3
- 5
- 3
- 9
- 4
- 3
- 3
- 3
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 6
- 4
- 3
- 4
- 3
- 4
- 5
- 3
- 4
- 3
- 4
- 3
- 4
- 3
- 7
- 3
- 3
- 3
- 4
- 3
- 4
- 12
- 5
- 5
- 3
- 3
- 3
- 4
- 3
- 4
- 3
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 5
- 5
- 7
- 3
- 3
- 4
- 3
- 4
- 5
- 3
- 4
- 4
- 3
- 4
- 3
- 4
- 7
- 8
- 3
- 4
- 3
- 4
- 7
- 3
- 3
- 6
- 8
- 6
- 4
- 8
- 5
- 7
- 4
- 7
- 3
- 3
- 7
- 5
- 3
- 5
- 4
- 4
- 4
- 3
- 5
- 4
- 8
- 4
- 10
- 3
- 4
- 5
- 3
- 3
- 3
- 3
- 5
- 9
- 3
- 12
- 3
- 4
- 4
- 8
- 3
- 6
- 4
- 3
- 4
- 3
- 3
- 5
- 3
- 5
- 3
- 3
- 3
- 5
- 3
- 4
- 4
- 4
- 6
- 8
- 3
- 4
- 6
- 3
- 4
- 3
- 5
- 4
- 7
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 3
- 4
- 5
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 5
- 4
- 5
- 4
- 5
- 10
- 7
- 3
- 3
- 3
- 3
- 4
- 3
- 4
- 12
- 4
- 4
- 3
- 9
- 3
- 7
- 4
- 3
- 3
- 3
- 4
- 14
- 8
- 3
- 9
- 3
- 4
- 4
- 10
- 25
- 7
- 3
- 3
- 7
- 3
- 7
- 3
- 3
- 3
- 4
- 7
- 3
- 4
- 3
- 5
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 3
- 10
- 3
- 3
- 5
- 3
- 6
- 3
- 9
- 6
- 3
- 5
- 5
- 4
- 5
- 8
- 3
- 3
- 7
- 4
- 4
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 6
- 3
- 20
- 4
- 6
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 5
- 3
- 5
- 7
- 7
- 3
- 3
- 3
- 5
- 7
- 3
- 3
- 3
- 5
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 3
- 4
- 4
- 4
- 8
- 5
- 4
- 5
- 3
- 6
- 3
- 3
- 6
- 4
- 4
- 3
- 4
- 3
- 6
- 5
- 3
- 5
- 3
- 6
- 5
- 5
- 4
- 22
- 3
- 5
- 5
- 3
- 3
- 3
- 3
- 7
- 4
- 6
- 6
- 3
- 6
- 8
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 4
- 3
- 3
- 3
- 7
- 5
- 3
- 3
- 6
- 3
- 3
- 3
- 3
- 3
- 10
- 3
- 3
- 3
- 5
- 3
- 3
- 8
- 4
- 5
- 3
- 5
- 6
- 9
- 3
- 9
- 4
- 3
- 6
- 4
- 29
- 6
- 11
- 4
- 8
- 3
- 5
- 4
- 3
- 3
- 3
- 4
- 10
- 8
- 5
- 4
- 4
- 5
- 4
- 7
- 12
- 20
- 7
- 5
- 9
- 6
- 4
- 3
- 5
- 3
- 37
- 3
- 4
- 4
- 4
- 3
- 4
- 3
- 4
- 5
- 4
- 11
- 22
- 3
- 8
- 6
- 4
- 3
- 15
- 4
- 3
- 4
- 5
- 4
- 12
- 3
- 4
- 4
- 4
- 21
- 7
- 3
- 3
- 4
- 10
- 6
- 6
- 10
- 3
- 6
- 13
- 4
- 5
- 4
- 5
- 6
- 4
- 4
- 20
- 5
- 10
- 5
- 4
- 3
- 3
- Verlag
-
- 2
- 4286
- 1
- 1
- 1
- 6
- 8
- 4
- 7
- 15
- Preis
-
- 13
- 162
- 3361
- 795
- Sprachen
-
- 4331
- 5
- Verfügbarkeit
-
- 4254
- 77
- Katalog
-
- 4331
- 243
-
Liu / Woodcock / Zhu Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 70th BirthdayErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39697-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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 -
Boral / Faudemay Database Machines
Sixth International Workshop, IWDM '89, Deauville, France, June 19-21, 1989. ProceedingsErscheinungsjahr 1989Verlag: SpringerISBN: 978-3-540-51324-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hitzer / Papagiannakis / Vasik Empowering Novel Geometric Algebra for Graphics and Engineering
7th International Workshop, ENGAGE 2022, Virtual Event, September 12, 2022, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-30922-9Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Müller / Singh / Rao Intelligent Agents V: Agents Theories, Architectures, and Languages
5th International Workshop, ATAL'98, Paris, France, July 4-7, 1998, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-65713-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schiex / de Givry Principles and Practice of Constraint Programming
25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-30047-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cerone / Roveri Software Engineering and Formal Methods
SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-74780-4Medium: Buch79,18 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,18 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gabmeyer / Johnsen Tests and Proofs
11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-61466-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hua / Chang Algorithms and Architectures for Parallel Processing
9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03094-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
Sun / Qu / Stojmenovic Algorithms and Architectures for Parallel Processing
14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part IErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11196-4Medium: 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 III2024Verlag: SpringerISBN: 978-981-97-7237-7Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (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 V2024Verlag: SpringerISBN: 978-981-97-7243-8Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Csuhaj-Varjú / Ésik Fundamentals of Computation Theory
16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74239-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tan / Franklin / Lui Mobile Data Management
Second International Conference, MDM 2001 Hong Kong, China, January 8-10, 2001 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-41454-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,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 -
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 -
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 -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System Contracts
13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part IIIErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-40117-5Medium: Buch42,79 € (inkl. MwSt.)
vorbestellbar42,79 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. November 2026 -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI
13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part IVErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-40120-5Medium: Buch42,79 € (inkl. MwSt.)
vorbestellbar42,79 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. November 2026 -
Baetens / Rollier / Vervust Cellular Automata
17th International Conference on Cellular Automata for Research and Industry, ACRI 2026, Ghent, Belgium, July 6–11, 2026, ProceedingsErscheinungsjahr 2027Verlag: SpringerISBN: 978-3-032-45535-2Medium: Buch70,61 € (inkl. MwSt.)
vorbestellbar70,61 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. Februar 2027 -
de Boer / Bonsangue / Rutten It's All About Coordination
Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab1. Auflage 2018Verlag: SpringerISBN: 978-3-319-90088-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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: Springer NetherlandsISBN: 978-3-540-34141-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sipper / Mange / Perez-Uribe Evolvable Systems: From Biology to Hardware
Second International Conference, ICES 98 Lausanne, Switzerland, September 23-25, 1998 ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64954-0Medium: 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