Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 696 Algorithmen & Datenstrukturen
- 112 Compiler
- 25 Datenbankprogrammierung
- 255 Funktionale, Logische, Parallele und Visuelle Programmierung
- 809 Grafikprogrammierung
- 1 Handheld Programmierung
- 5 Microsoft Programmierung
- 2 Netzwerkprogrammierung
- 83 Objektorientierte Programmierung
- 455 Programmier- und Skriptsprachen
- 1358 Programmierung: Methoden und Allgemeines
- 553 Prozedurale Programmierung
- 2097 Software Engineering
- 159 Spiele-Programmierung, Rendering, Animation
- 19 Web Services
- 42 Webprogrammierung
- Medium
-
- 4204
- Erscheinungsjahr
-
- 79
- 232
- 190
- 133
- 47
- 23
- 41
- 48
- 66
- 47
- 82
- 74
- 69
- 86
- 68
- 70
- 156
- 121
- 141
- 201
- 187
- 141
- 208
- 218
- 179
- 185
- 118
- 118
- 97
- 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
- 5
- 2
- 4
- 8
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 7
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 3
- 4
- 2
- 2
- 3
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 13
- 2
- 3
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 3
- 5
- 3
- 4
- 3
- 4
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 6
- 3
- 2
- 6
- 2
- 3
- 10
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 10
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 11
- 2
- 5
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 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
- 5
- 3
- 2
- 3
- 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
- 5
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 8
- 6
- 2
- 3
- 2
- 5
- 3
- 2
- 3
- 2
- 3
- 3
- 6
- 2
- 4
- 3
- 3
- 5
- 7
- 3
- 4
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 3
- 2
- 3
- 5
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 7
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 4
- 3
- 3
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 6
- 2
- 3
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 7
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 10
- 5
- 2
- 7
- 2
- 2
- 4
- 3
- 12
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 5
- 3
- 4
- 2
- 3
- 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
- 39
- 29
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 11
- 3
- 4
- 3
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 16
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 3
- 8
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 9
- 6
- 5
- 3
- 4
- 4
- 3
- 5
- 4
- 4
- 3
- 3
- 4
- 4
- 3
- 4
- 3
- 7
- 3
- 3
- 3
- 3
- 4
- 5
- 4
- 6
- 3
- 3
- 3
- 3
- 4
- 3
- 8
- 4
- 3
- 4
- 7
- 3
- 6
- 23
- 3
- 4
- 3
- 8
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 4
- 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
- 5
- 3
- 6
- 5
- 3
- 4
- 11
- 3
- 4
- 6
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 7
- 3
- 3
- 3
- 4
- 3
- 3
- 14
- 5
- 6
- 3
- 3
- 3
- 3
- 8
- 3
- 4
- 3
- 4
- 4
- 5
- 7
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 6
- 8
- 3
- 4
- 3
- 4
- 6
- 3
- 3
- 3
- 6
- 3
- 4
- 5
- 9
- 7
- 3
- 7
- 3
- 3
- 6
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 5
- 5
- 3
- 6
- 11
- 4
- 4
- 5
- 5
- 3
- 3
- 5
- 4
- 7
- 3
- 3
- 12
- 3
- 3
- 7
- 3
- 3
- 6
- 3
- 3
- 4
- 3
- 3
- 5
- 4
- 5
- 4
- 3
- 5
- 3
- 4
- 3
- 4
- 6
- 8
- 5
- 4
- 4
- 6
- 3
- 3
- 3
- 3
- 3
- 7
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 7
- 3
- 6
- 4
- 6
- 6
- 5
- 3
- 3
- 3
- 4
- 4
- 4
- 3
- 4
- 11
- 4
- 8
- 3
- 3
- 5
- 4
- 3
- 3
- 4
- 12
- 3
- 8
- 5
- 4
- 10
- 25
- 7
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 4
- 3
- 3
- 7
- 4
- 3
- 4
- 3
- 5
- 3
- 3
- 8
- 4
- 3
- 4
- 5
- 3
- 5
- 4
- 4
- 6
- 6
- 5
- 4
- 3
- 9
- 3
- 3
- 3
- 5
- 3
- 4
- 4
- 4
- 3
- 3
- 6
- 4
- 3
- 3
- 6
- 3
- 17
- 5
- 4
- 3
- 3
- 5
- 3
- 4
- 3
- 6
- 3
- 7
- 6
- 4
- 3
- 6
- 7
- 3
- 3
- 5
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 3
- 6
- 5
- 5
- 4
- 5
- 3
- 4
- 6
- 5
- 3
- 6
- 4
- 3
- 8
- 3
- 3
- 4
- 3
- 6
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 8
- 22
- 3
- 3
- 7
- 5
- 3
- 3
- 6
- 3
- 5
- 4
- 5
- 3
- 3
- 10
- 4
- 3
- 5
- 3
- 4
- 3
- 7
- 3
- 5
- 7
- 5
- 3
- 7
- 3
- 4
- 7
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 6
- 3
- 3
- 3
- 8
- 3
- 3
- 7
- 6
- 10
- 9
- 6
- 4
- 4
- 30
- 5
- 11
- 4
- 3
- 11
- 4
- 9
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 9
- 5
- 5
- 4
- 4
- 3
- 6
- 4
- 4
- 12
- 21
- 6
- 4
- 9
- 5
- 4
- 3
- 35
- 4
- 3
- 4
- 4
- 4
- 3
- 3
- 11
- 17
- 5
- 10
- 3
- 3
- 3
- 10
- 4
- 3
- 3
- 7
- 6
- 3
- 4
- 13
- 4
- 5
- 4
- 4
- 21
- 6
- 3
- 13
- 5
- 9
- 4
- 4
- 3
- 11
- 4
- 5
- 4
- 6
- 18
- 5
- 11
- 4
- 4
- 3
- Verlag
-
- 4180
- 1
- 5
- 18
- Preis
-
- 13
- 146
- 3254
- 791
- Sprachen
-
- 4204
- 5
- Verfügbarkeit
-
- 4201
- 3
- Eigenschaften
-
- 2
- Katalog
-
- 4204
- 239
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Modeling
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03417-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Colombo / Leucker Runtime Verification
18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03768-0Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Desel / Kalenkova Application and Theory of Petri Nets and Concurrency
47th International Conference, PETRI NETS 2026, Hamburg, Germany, June 22-26, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-27878-4Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
McIlraith / Plexousakis / Harmelen The Semantic Web - ISWC 2004
Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23798-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Blockeel / Ramon / Shavlik Inductive Logic Programming
17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78468-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Arbab / Sirjani Fundamentals of Software Engineering
5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40212-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Erlingsson / Wieringa / Zannone Engineering Secure Software and Systems
Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19124-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fitzgerald / Hayes FM 2005: Formal Methods
International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-27882-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barbosa / Markopoulos / Paternò End-User Development
6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-58734-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cao / Yang / Guo Parallel and Distributed Processing and Applications
Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-24128-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nunes Alonso / Palmieri Distributed Applications and Interoperable Systems
26th IFIP WG 6.1 International Conference, DAIS 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-27357-4Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Asano Algorithms and Computation
17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-49694-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fonseca / Fleming / Zitzler Evolutionary Multi-Criterion Optimization
Second International Conference, EMO 2003, Faro, Portugal, April 8-11, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-01869-8Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Verdone Wireless Sensor Networks
5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-77689-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gorentla Venkata / Shamis / Imam OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies
Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-26427-1Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bal / Belkhouche / Cardelli Internet Programming Languages
ICCL'98 Workshop,Chicago, IL, USA, May 13, 1998, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66673-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Missaoui / Schmid Formal Concept Analysis
4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-32203-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kameyama / Stuckey Functional and Logic Programming
7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21402-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Iliopoulos / Leong / Sung Combinatorial Algorithms
29th International Workshop, IWOCA 2018, Singapore, July 16-19, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-94666-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liskov / Atkinson / Bloom CLU
Reference Manual1. Auflage 1981Verlag: SpringerISBN: 978-3-540-10836-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kündig / Bührer / Dähler Embedded Systems
New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 19861. Auflage 1987Verlag: SpringerISBN: 978-3-540-18581-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lee / Barley Intelligent Agents and Multi-Agent Systems
6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003, Proceedings1990Verlag: SpringerISBN: 978-3-540-20460-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Proietti / Seki Logic-Based Program Synthesis and Transformation
24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-17821-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baeten / Lenstra / Parrow Automata, Languages and Programming
30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-40493-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
The Munich Project CIP
Volume I: The Wide Spectrum Language CIP-L1. Auflage 1985Verlag: SpringerISBN: 978-3-540-15187-6Medium: Buch32,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage32,09 € (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