Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 702 Algorithmen & Datenstrukturen
- 113 Compiler
- 27 Datenbankprogrammierung
- 244 Funktionale, Logische, Parallele und Visuelle Programmierung
- 816 Grafikprogrammierung
- 1 Handheld Programmierung
- 4 Microsoft Programmierung
- 2 Netzwerkprogrammierung
- 84 Objektorientierte Programmierung
- 463 Programmier- und Skriptsprachen
- 1362 Programmierung: Methoden und Allgemeines
- 553 Prozedurale Programmierung
- 2107 Software Engineering
- 160 Spiele-Programmierung, Rendering, Animation
- 22 Web Services
- 46 Webprogrammierung
- Medium
-
- 4214
- Erscheinungsjahr
-
- 70
- 235
- 195
- 133
- 47
- 23
- 41
- 49
- 63
- 48
- 83
- 72
- 64
- 84
- 73
- 69
- 162
- 121
- 150
- 199
- 185
- 142
- 215
- 218
- 180
- 182
- 118
- 118
- 97
- 101
- 95
- 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
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 7
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 6
- 2
- 2
- 3
- 3
- 4
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 12
- 2
- 3
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 5
- 3
- 4
- 3
- 4
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 6
- 3
- 2
- 6
- 2
- 2
- 3
- 6
- 2
- 2
- 3
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 3
- 5
- 9
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 3
- 3
- 4
- 2
- 3
- 7
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 2
- 6
- 2
- 2
- 5
- 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
- 2
- 2
- 4
- 2
- 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
- 7
- 2
- 3
- 4
- 3
- 2
- 2
- 5
- 2
- 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
- 2
- 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
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 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
- 2
- 10
- 5
- 3
- 7
- 2
- 2
- 2
- 4
- 4
- 12
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 4
- 5
- 2
- 2
- 4
- 3
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 38
- 27
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 11
- 3
- 4
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 16
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 8
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 9
- 6
- 5
- 3
- 4
- 3
- 5
- 4
- 5
- 3
- 3
- 3
- 3
- 3
- 7
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 5
- 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
- 5
- 7
- 5
- 3
- 6
- 4
- 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
- 3
- 3
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 7
- 3
- 3
- 4
- 3
- 3
- 12
- 5
- 6
- 3
- 3
- 3
- 3
- 8
- 3
- 4
- 3
- 4
- 3
- 4
- 5
- 5
- 3
- 4
- 3
- 4
- 3
- 5
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 3
- 5
- 6
- 3
- 4
- 3
- 4
- 7
- 4
- 3
- 3
- 3
- 3
- 6
- 3
- 3
- 6
- 5
- 9
- 3
- 7
- 3
- 7
- 3
- 3
- 6
- 4
- 3
- 3
- 4
- 3
- 3
- 7
- 4
- 6
- 10
- 5
- 4
- 5
- 3
- 5
- 4
- 3
- 7
- 4
- 7
- 3
- 3
- 12
- 4
- 3
- 6
- 6
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 5
- 4
- 5
- 4
- 3
- 3
- 5
- 3
- 3
- 4
- 4
- 8
- 5
- 3
- 4
- 6
- 3
- 3
- 3
- 3
- 7
- 5
- 4
- 4
- 4
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 4
- 7
- 3
- 6
- 4
- 6
- 6
- 5
- 3
- 3
- 4
- 4
- 4
- 4
- 10
- 4
- 3
- 6
- 3
- 3
- 7
- 4
- 3
- 4
- 13
- 3
- 8
- 3
- 5
- 4
- 12
- 25
- 7
- 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
- 10
- 3
- 3
- 6
- 3
- 4
- 4
- 4
- 3
- 3
- 6
- 3
- 3
- 4
- 5
- 4
- 16
- 6
- 4
- 5
- 5
- 3
- 4
- 3
- 4
- 4
- 7
- 6
- 4
- 3
- 6
- 7
- 4
- 3
- 5
- 6
- 4
- 3
- 3
- 4
- 3
- 6
- 5
- 4
- 8
- 3
- 4
- 7
- 5
- 3
- 6
- 3
- 6
- 3
- 3
- 4
- 3
- 6
- 3
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 7
- 8
- 18
- 3
- 3
- 8
- 5
- 3
- 6
- 4
- 5
- 7
- 4
- 3
- 10
- 4
- 3
- 4
- 4
- 4
- 3
- 6
- 3
- 3
- 5
- 5
- 5
- 3
- 7
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 5
- 3
- 5
- 3
- 7
- 3
- 3
- 7
- 6
- 8
- 9
- 4
- 3
- 4
- 32
- 5
- 11
- 3
- 3
- 12
- 3
- 10
- 3
- 3
- 5
- 4
- 3
- 7
- 3
- 5
- 4
- 3
- 6
- 6
- 5
- 4
- 9
- 20
- 6
- 9
- 3
- 3
- 35
- 3
- 4
- 4
- 4
- 3
- 3
- 9
- 16
- 3
- 10
- 7
- 3
- 3
- 10
- 4
- 3
- 3
- 3
- 6
- 4
- 11
- 3
- 5
- 4
- 4
- 18
- 6
- 4
- 3
- 11
- 4
- 7
- 4
- 6
- 3
- 9
- 4
- 5
- 4
- 4
- 4
- 18
- 5
- 5
- 4
- 5
- 3
- 3
- Verlag
-
- 4192
- 1
- 1
- 2
- 18
- Preis
-
- 13
- 147
- 3262
- 792
- Sprachen
-
- 4214
- 5
- Verfügbarkeit
-
- 4211
- 3
- Eigenschaften
-
- 5
- Katalog
-
- 4214
- 241
-
Basin / Wolff Theorem Proving in Higher Order Logics
16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40664-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aagaard / Harrison Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67863-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu / Fei / Hou Advances in Neural Networks - ISNN 2007
4th International Symposium on Neutral Networks, ISNN 2007 Nanjing, China, June 3-7, 2007. Proceedings, Part IIErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72392-9Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sloot / Hoekstra / Priol Advances in Grid Computing - EGC 2005
European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers1. Auflage 2005Verlag: Springer-Verlag GmbHISBN: 978-3-540-26918-2Medium: Buch124,12 € (inkl. MwSt.)
Kurzfristig nicht lieferbar124,12 € (inkl. MwSt.)
Kurzfristig nicht lieferbar, wird unverzüglich nach Lieferbarkeit versandt. -
Dony / Knudsen / Romanovsky Advanced Topics in Exception Handling Techniques
1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37443-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dovier / Montanari / Orlandini AIxIA 2022 - Advances in Artificial Intelligence
XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-27180-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wang / Yi / Zurada Advances in Neural Networks - ISNN 2006 /3
Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part IIIErscheinungsjahr 2006Verlag: Springer-Verlag GmbHISBN: 978-3-540-34482-7Medium: Buch129,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage129,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dinneen / Khoussainov / Nies Computation, Physics and Beyond
International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-27653-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yan / Liu / Westerståhl The Connectives in Logic and Language
4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-86053-9Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Okuno / Ali New Trends in Applied Artificial Intelligence
20th International Conference on Industrial, Engineering, and Other Applications of Applied Intelligent Systems. IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73322-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Abdennadher / Petcu Advances in Grid and Pervasive Computing
4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01670-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Artale / Cortellessa / Montali AIxIA 2024 - Advances in Artificial Intelligence
XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-80606-3Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bilardi / Ferreira / Lüling Solving Irregularly Structured Problems in Parallel
4th International Symposium, IRREGULAR '97, Paderborn, Germany, June 12-13, 1997, Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63138-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Singh / Murshed / Kropatsch Advances in Pattern Recognition - ICAPR 2001
Second International Conference Rio de Janeiro, Brazil, March 11-14, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-41767-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Carreno / Munoz / Tahar Theorem Proving in Higher Order Logics
15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44039-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mulkers Live Data Structures in Logic Programs
Derivation by Means of Abstract InterpretationErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56694-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hancock / Vento Graph Based Representations in Pattern Recognition
4th IAPR International Workshop, GbRPR 2003, York, UK, June 30 - July 2, 2003. Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40452-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chang / Lie / Chiang Advances in Image and Video Technology
First Pacific Rim Symposium, PSIVT 2006, Hsinchu, Taiwan, December 10-13, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-68297-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pitropakis / Katsikas Security and Privacy in Smart Environments
2024Verlag: SpringerISBN: 978-3-031-66707-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tekli / Gamper / Chbeir Advances in Databases and Information Systems
28th European Conference, ADBIS 2024, Bayonne, France, August 28–31, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-70625-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lee / Mousavi / Talcott Rebeca for Actor Analysis in Action
Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th BirthdayErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-85133-9Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aizawa / Nakamura / Satoh Advances in Multimedia Information Processing - PCM 2004
5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30 - December 3, 2004, Proceedings, Part I1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23974-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Furukawa / Tanaka / Fujisaki Logic Programming '87
Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 19871. Auflage 1988Verlag: SpringerISBN: 978-3-540-19426-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jøsang / Maseng / Knapskog Identity and Privacy in the Internet Age
14th Nordic Conference on Secure IT Systems, NordSec 2009, Oslo, Norway, 14-16 October 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04765-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dehne / Fiala / Koczkodaj Advances in Computing and Information - ICCI '91
International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991. Proceedings1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54029-8Medium: 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