Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- 698 Algorithmen & Datenstrukturen
- 109 Compiler
- 23 Datenbankprogrammierung
- 247 Funktionale, Logische, Parallele und Visuelle Programmierung
- 800 Grafikprogrammierung
- 3 Microsoft Programmierung
- 1 Netzwerkprogrammierung
- 83 Objektorientierte Programmierung
- 456 Programmier- und Skriptsprachen
- 1370 Programmierung: Methoden und Allgemeines
- 565 Prozedurale Programmierung
- 2070 Software Engineering
- 153 Spiele-Programmierung, Rendering, Animation
- 26 Web Services
- 44 Webprogrammierung
- Medium
-
- 4177
- Erscheinungsjahr
-
- 52
- 243
- 184
- 128
- 47
- 20
- 38
- 49
- 66
- 56
- 60
- 80
- 69
- 80
- 84
- 62
- 142
- 141
- 146
- 207
- 193
- 136
- 211
- 222
- 184
- 180
- 120
- 120
- 85
- 100
- 95
- 83
- 68
- 66
- 50
- 67
- 38
- 41
- 30
- 32
- 20
- 14
- 11
- 9
- 13
- 17
- 11
- 1
- 1
- 2
- 2
- 1
- Autoren
-
- 3
- 2
- 2
- 6
- 2
- 3
- 8
- 3
- 6
- 2
- 2
- 5
- 2
- 2
- 7
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 5
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 15
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 5
- 4
- 3
- 3
- 4
- 4
- 5
- 4
- 4
- 2
- 3
- 2
- 6
- 3
- 2
- 2
- 4
- 2
- 6
- 3
- 2
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 4
- 2
- 3
- 7
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 7
- 3
- 6
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 5
- 2
- 4
- 5
- 4
- 6
- 4
- 2
- 2
- 10
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 12
- 2
- 4
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 9
- 4
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 3
- 5
- 2
- 9
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 6
- 3
- 2
- 3
- 4
- 3
- 3
- 2
- 4
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 6
- 3
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 6
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 10
- 2
- 2
- 8
- 7
- 2
- 2
- 2
- 13
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 34
- 27
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 13
- 4
- 2
- 9
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 3
- 2
- 2
- 16
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 4
- 3
- 3
- 8
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 8
- 6
- 3
- 3
- 4
- 3
- 5
- 4
- 3
- 4
- 3
- 4
- 7
- 4
- 3
- 4
- 3
- 4
- 4
- 3
- 5
- 3
- 6
- 3
- 3
- 3
- 7
- 3
- 3
- 3
- 12
- 6
- 22
- 3
- 7
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 5
- 3
- 3
- 9
- 4
- 3
- 3
- 3
- 6
- 3
- 5
- 3
- 3
- 5
- 3
- 4
- 6
- 3
- 4
- 4
- 3
- 4
- 3
- 4
- 3
- 4
- 6
- 7
- 5
- 11
- 3
- 3
- 6
- 3
- 8
- 6
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 6
- 3
- 4
- 3
- 3
- 3
- 3
- 5
- 3
- 4
- 3
- 3
- 3
- 7
- 3
- 3
- 5
- 3
- 3
- 15
- 5
- 4
- 3
- 5
- 3
- 6
- 5
- 4
- 4
- 7
- 4
- 4
- 5
- 3
- 3
- 4
- 3
- 6
- 3
- 4
- 5
- 3
- 3
- 3
- 3
- 6
- 5
- 5
- 3
- 4
- 6
- 6
- 3
- 3
- 5
- 6
- 3
- 4
- 4
- 3
- 6
- 7
- 3
- 6
- 4
- 3
- 4
- 5
- 6
- 3
- 3
- 3
- 3
- 4
- 7
- 5
- 6
- 8
- 5
- 3
- 5
- 5
- 5
- 3
- 3
- 7
- 3
- 4
- 12
- 5
- 4
- 7
- 3
- 5
- 4
- 3
- 3
- 8
- 3
- 5
- 5
- 5
- 3
- 3
- 4
- 7
- 3
- 4
- 3
- 4
- 4
- 7
- 6
- 3
- 3
- 3
- 6
- 3
- 3
- 3
- 6
- 7
- 4
- 3
- 4
- 4
- 4
- 3
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 7
- 3
- 5
- 5
- 5
- 11
- 7
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 12
- 3
- 8
- 4
- 4
- 3
- 4
- 10
- 3
- 5
- 3
- 4
- 10
- 22
- 7
- 5
- 4
- 6
- 3
- 3
- 3
- 4
- 3
- 6
- 3
- 3
- 3
- 7
- 3
- 4
- 3
- 3
- 6
- 3
- 4
- 5
- 3
- 6
- 5
- 4
- 9
- 5
- 5
- 5
- 4
- 7
- 3
- 3
- 6
- 4
- 4
- 3
- 3
- 3
- 3
- 6
- 6
- 4
- 5
- 3
- 5
- 17
- 3
- 6
- 3
- 4
- 5
- 3
- 3
- 4
- 3
- 5
- 3
- 7
- 7
- 3
- 3
- 3
- 5
- 3
- 7
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 3
- 4
- 3
- 3
- 4
- 5
- 5
- 7
- 4
- 3
- 3
- 7
- 3
- 3
- 6
- 3
- 3
- 4
- 5
- 3
- 3
- 3
- 6
- 3
- 5
- 3
- 3
- 6
- 5
- 3
- 7
- 4
- 9
- 18
- 7
- 6
- 4
- 3
- 7
- 4
- 6
- 3
- 6
- 5
- 3
- 3
- 9
- 4
- 4
- 3
- 3
- 4
- 4
- 3
- 4
- 3
- 7
- 3
- 5
- 6
- 6
- 3
- 3
- 7
- 3
- 3
- 4
- 4
- 6
- 6
- 4
- 4
- 3
- 5
- 3
- 3
- 5
- 6
- 3
- 3
- 4
- 3
- 5
- 6
- 3
- 10
- 9
- 7
- 4
- 4
- 31
- 4
- 11
- 3
- 3
- 12
- 3
- 7
- 3
- 4
- 3
- 3
- 3
- 3
- 10
- 3
- 5
- 4
- 4
- 3
- 6
- 20
- 8
- 6
- 3
- 9
- 3
- 5
- 33
- 3
- 5
- 5
- 4
- 3
- 8
- 8
- 18
- 8
- 7
- 3
- 6
- 3
- 9
- 4
- 6
- 4
- 9
- 4
- 5
- 5
- 4
- 3
- 20
- 6
- 3
- 5
- 12
- 6
- 5
- 4
- 3
- 10
- 3
- 5
- 7
- 3
- 4
- 4
- 20
- 6
- 4
- 6
- 4
- 4
- 4
- 6
- 3
- Verlag
-
- 4150
- 1
- 3
- 23
- Preis
-
- 13
- 144
- 3245
- 775
- Sprachen
-
- 4177
- 5
- Verfügbarkeit
-
- 4173
- 4
- Katalog
-
- 4177
- 237
-
Etalle Logic Based Program Synthesis and Transformation
14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26655-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
de Supinski / Olivier / Terboven Scaling OpenMP for Exascale Performance and Portability
13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-65577-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alfaro / Gilmore Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42556-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Naumann Unifying Theories of Programming
5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-14805-2Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bozzon / Cudré-Mauroux / Pautasso Web Engineering
16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-38790-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gasteren On the Shape of Mathematical Arguments
Erscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-52849-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Petrucci / Sproston Formal Modeling and Analysis of Timed Systems
21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-42625-4Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Polak Compiler Specification and Verification
1. Auflage 1981Verlag: SpringerISBN: 978-3-540-10886-3Medium: Buch24,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage24,60 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bruynooghe / Wirsing Programming Language Implementation and Logic Programming
4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55844-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hlavicka / Maehle / Pataricza Dependable Computing - EDDC-3
Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66483-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alpuente Logic-Based Program Synthesis and Transformation
20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20550-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bakker / Leeuwen Automata, Languages and Programming
Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings1. Auflage 1980Verlag: SpringerISBN: 978-3-540-10003-4Medium: Buch50,28 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage50,28 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dimitrova / Lahav / Wolff Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II1. Auflage 2024Verlag: SpringerISBN: 978-3-031-50520-1Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Paschos / Widmayer Algorithms and Complexity
9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings2015Verlag: SpringerISBN: 978-3-319-18172-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alistarh / Delis / Pallis Algorithmic Aspects of Cloud Computing
Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-74874-0Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage44,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dershowitz / Lindenstrauss Conditional and Typed Rewriting Systems
4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60381-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Givargis / Russo Software Technologies for Embedded and Ubiquitous Systems
6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008, Revised PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87784-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vitanyi Computational Learning Theory
Second European Conference, EuroCOLT '95, Barcelona, Spain, March 13 - 15, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-59119-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aiello / Deng / Murillo Service-Oriented Computing
23rd International Conference, ICSOC 2025, Shenzhen, China, December 1-4, 2025, Proceedings, Part IIErscheinungsjahr 2026Verlag: SpringerISBN: 978-981-955014-2Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rayadurgam / Tkachuk NASA Formal Methods
8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-40647-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Holub / Ždárek Implementation and Application of Automata
12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76335-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bartocci / Ramakrishnan Model Checking Software
20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39175-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Altman / Chaintreau Network Control and Optimization
Second EuroFGI Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008, Revised Selected Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00392-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kolehmainen / Toivanen / Beliczynski Adaptive and Natural Computing Algorithms
9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04920-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nambiar / Poess Performance Evaluation and Benchmarking
15th TPC Technology Conference, TPCTC 2023, Vancouver, BC, Canada, August 28 - September 1, 2023, Revised Selected Papers2024Verlag: SpringerISBN: 978-3-031-68030-4Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (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