Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 754 Algorithmen & Datenstrukturen
- 128 Compiler
- 24 Datenbankprogrammierung
- 238 Funktionale, Logische, Parallele und Visuelle Programmierung
- 807 Grafikprogrammierung
- 1 Handheld Programmierung
- 4 Microsoft Programmierung
- 2 Netzwerkprogrammierung
- 81 Objektorientierte Programmierung
- 460 Programmier- und Skriptsprachen
- 1365 Programmierung: Methoden und Allgemeines
- 553 Prozedurale Programmierung
- 2211 Software Engineering
- 153 Spiele-Programmierung, Rendering, Animation
- 20 Web Services
- 44 Webprogrammierung
- Medium
-
- 4338
- Erscheinungsjahr
-
- 40
- 194
- 234
- 193
- 129
- 47
- 27
- 34
- 57
- 70
- 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
- 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
- 3
- 3
- 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
- 3
- 3
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 10
- 4
- 5
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 9
- 2
- 3
- 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
- 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
- 2
- 3
- 2
- 3
- 10
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 4
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 3
- 6
- 2
- 3
- 3
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 6
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 7
- 4
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 6
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 6
- 3
- 4
- 3
- 3
- 4
- 3
- 4
- 5
- 10
- 9
- 5
- 3
- 4
- 10
- 3
- 6
- 6
- 4
- 3
- 4
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 4
- 3
- 4
- 3
- 3
- 5
- 3
- 4
- 7
- 38
- 29
- 3
- 3
- 4
- 4
- 11
- 3
- 6
- 4
- 5
- 3
- 3
- 5
- 4
- 3
- 3
- 5
- 16
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 8
- 3
- 3
- 4
- 4
- 3
- 3
- 7
- 6
- 3
- 4
- 3
- 3
- 4
- 7
- 3
- 5
- 3
- 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
- 8
- 4
- 3
- 3
- 3
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 6
- 4
- 4
- 3
- 4
- 5
- 3
- 4
- 3
- 4
- 3
- 3
- 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
- 3
- 4
- 3
- 3
- 4
- 5
- 3
- 4
- 3
- 3
- 4
- 3
- 4
- 7
- 8
- 3
- 4
- 3
- 5
- 7
- 3
- 3
- 6
- 8
- 6
- 4
- 8
- 5
- 7
- 4
- 7
- 3
- 3
- 8
- 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
- 4
- 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
- 9
- 7
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 12
- 4
- 4
- 3
- 9
- 3
- 7
- 4
- 3
- 3
- 3
- 4
- 14
- 8
- 3
- 10
- 3
- 4
- 4
- 12
- 25
- 7
- 3
- 3
- 6
- 3
- 7
- 3
- 3
- 3
- 4
- 7
- 3
- 3
- 5
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 3
- 8
- 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
- 4
- 20
- 4
- 6
- 3
- 3
- 4
- 3
- 4
- 4
- 3
- 3
- 5
- 3
- 5
- 7
- 7
- 3
- 3
- 3
- 5
- 7
- 3
- 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
- 6
- 3
- 5
- 3
- 4
- 5
- 5
- 4
- 22
- 3
- 5
- 5
- 3
- 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
- 4
- 3
- 3
- 5
- 3
- 3
- 8
- 4
- 5
- 3
- 5
- 6
- 7
- 3
- 9
- 4
- 3
- 5
- 4
- 29
- 5
- 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
- 4
- 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
- 21
- 5
- 10
- 5
- 4
- 3
- 3
- Verlag
-
- 2
- 4293
- 1
- 1
- 1
- 6
- 8
- 4
- 7
- 15
- Preis
-
- 13
- 162
- 3368
- 795
- Sprachen
-
- 4338
- 5
- Verfügbarkeit
-
- 4261
- 77
- Katalog
-
- 4338
- 243
-
Giannakopoulou / Mery FM 2012: Formal Methods
18th International Symposium, Paris, France, August 27-31, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32758-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Czarnecki / Hedin Software Language Engineering
5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36088-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bar-Noy / Halldorsson Algorithms for Sensor Systems
8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36091-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Symth / Arumugam Combinatorial Algorithms
23rd International Workshop, IWOCA 2012, Krishnankoil, India, July 19-21, 2012, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35925-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Beckert / Damiani / Gurov Formal Verification of Object-Oriented Software
International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31761-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gibbons Generic and Indexed Programming
1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32201-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sauerwald / Thimm Symbolic and Quantitative Approaches to Reasoning with Uncertainty
18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-05133-2Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Petrucci / Seceleanu / Cavalcanti Critical Systems: Formal Methods and Automated Verification
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67112-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Følstad / Papadopoulos / Araujo Chatbots and Human-Centered AI
8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-88044-5Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Johnsen / Wimmer Fundamental Approaches to Software Engineering
25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-030-99428-0Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Petkova-Nikova / Panario Arithmetic of Finite Fields
10th International Workshop, WAIFI 2024, Ottawa, ON, Canada, June 10-12, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-81823-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brankovic / Ryan / Smyth Combinatorial Algorithms
28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-78824-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pahl / Janes / Cerny Service-Oriented and Cloud Computing
11th IFIP WG 6.12 European Conference, ESOCC 2025, Bolzano, Italy, February 20-21, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-84616-8Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Applebaum / Lin Theory of Cryptography
23rd International Conference, TCC 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-12292-6Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Benz / Gopinath / Shi NASA Formal Methods
16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-60697-7Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Potanin Programming Languages and Systems
23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-953584-2Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Song / Feng / Chen Web and Big Data
7th International Joint Conference, APWeb-WAIM 2023, Wuhan, China, October 6-8, 2023, Proceedings, Part III2024Verlag: SpringerISBN: 978-981-97-2386-7Medium: Buch235,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage235,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tompits / Abreu / Oetsch Applications of Declarative Programming and Knowledge Management
19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41523-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leyton A Generative Theory of Shape
1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42717-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Suzuki / Higashino / Ulrich Testing of Software and Communicating Systems
20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68514-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Erlebach / Persiano Approximation and Online Algorithms
10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38015-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lacroix Resource Discovery
Second International Workshop, RED 2009, Lyon, France, August 28, 2009, Revised Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14414-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Glinz / Heymans Requirements Engineering: Foundation for Software Quality
15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02049-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kobourov / Goodrich Graph Drawing
10th International Symposium, GD 2002, Irvine, CA, USA, August 26-28, 2002, Revised Papers1. Auflage 2002Verlag: SpringerISBN: 978-3-540-00158-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Das / Bhattacharya Distributed Computing
Mobile and Wireless Computing, 4th International Workshop, IWDC 2002, Calcutta, India, December 28-31, 2002, Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-00355-7Medium: 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