Ergebnisse filtern
- Fachgebiet
- Medium
-
- 3184
- 491
- 5
- 5
- Erscheinungsjahr
-
- 1
- 4
- 132
- 256
- 260
- 247
- 219
- 234
- 245
- 212
- 177
- 135
- 131
- 68
- 60
- 41
- 104
- 105
- 115
- 71
- 55
- 48
- 58
- 72
- 64
- 60
- 60
- 44
- 33
- 60
- 38
- 22
- 28
- 16
- 18
- 16
- 18
- 17
- 19
- 15
- 13
- 13
- 15
- 6
- 8
- 9
- 9
- 5
- 3
- 4
- 3
- 1
- 2
- 3
- 3
- 2
- 2
- 1
- Autoren
-
- 2
- 2
- 3
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 5
- 4
- 2
- 6
- 7
- 3
- 2
- 8
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 7
- 4
- 2
- 4
- 2
- 3
- 4
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 5
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 3
- 6
- 5
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 4
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 3
- 2
- 2
- 4
- 6
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 3
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 4
- 2
- 2
- 17
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 5
- 2
- 3
- 2
- 6
- 3
- 2
- 3
- 4
- 2
- 3
- 2
- 4
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 8
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 7
- 6
- 2
- 5
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 9
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 9
- 2
- 2
- 2
- 12
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 4
- 2
- 6
- 2
- 2
- 2
- 2
- 10
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 8
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 3
- 8
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 2
- 9
- 3
- 2
- 3
- 2
- 2
- 2
- 10
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 2
- 5
- 2
- 5
- 3
- 3
- 11
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 4
- 4
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 8
- 2
- 6
- 3
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 4
- 3
- 3
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 7
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 3
- 3
- 4
- 5
- 3
- 3
- 9
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 6
- 3
- 5
- 4
- 3
- 3
- 6
- 4
- 3
- 3
- 3
- 3
- 5
- 3
- 16
- 3
- 4
- 4
- 5
- 12
- 3
- 4
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 4
- 3
- 3
- 4
- 5
- 7
- 3
- 4
- 7
- 4
- 3
- 5
- 3
- 3
- 3
- 4
- 3
- 4
- 4
- Verlag
-
- 2
- 1
- 1
- 834
- 11
- 1
- 14
- 1
- 2
- 1
- 1
- 10
- 7
- 1
- 2
- 49
- 70
- 1
- 2
- 1
- 3
- 93
- 489
- 1
- 1
- 2
- 1
- 14
- 61
- 1
- 1
- 13
- 12
- 2
- 3
- 1
- 1
- 3
- 3
- 2
- 48
- 2
- 2
- 1
- 13
- 16
- 2
- 2
- 2
- 4
- 4
- 6
- 1
- 2
- 8
- 1
- 12
- 14
- 1
- 8
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 5
- 5
- 3
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 2
- 5
- 9
- 100
- 1
- 1
- 2
- 2
- 2
- 295
- 1
- 376
- 202
- 3
- 69
- 21
- 14
- 5
- 62
- 5
- 3
- 33
- 1
- 1
- 1
- 1
- 19
- 22
- 167
- 48
- 22
- 1
- 1
- 8
- 1
- 1
- 9
- 2
- 5
- 1
- 2
- 2
- 115
- 1
- 1
- 1
- 76
- 6
- 20
- 3
- 23
- 1
- 1
- 6
- Preis
-
- 130
- 1314
- 1615
- 626
- Sprachen
-
- 3023
- 660
- 6
- Verfügbarkeit
-
- 3588
- 97
- Eigenschaften
-
- 7
- Katalog
-
- 3685
- 130
-
Wadler / Dahl Practical Aspects of Declarative Languages
5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00389-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bjørner Software Engineering 2
Specification of Systems and Languages2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21150-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Grelck / Trinder / Huch Implementation and Application of Functional Languages
16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-26094-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
van Hentenryck Practical Aspects of Declarative Languages
8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-30947-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Namjoshi / Emerson Verification, Model Checking, and Abstract Interpretation
7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-31139-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Simone / Sangiorgi CONCUR '98 Concurrency Theory
9th International Conference, Nice, France, September 8-11, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64896-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Clack / Davie / Hammond Implementation of Functional Languages
9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64849-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Grieskamp / Stoddart / Santen Integrated Formal Methods
Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41196-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hinchey / Bowen ZUM '95: The Z Formal Specification Notation
9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60271-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Banieqbal / Pnueli / Barringer Temporal Logic in Specification
Altrincham, UK, April 8-10, 1987, Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51803-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bergstra / Wirsing Algebraic Methods: Theory, Tools and Applications
1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51698-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Banerjee / Padua / Gelernter Languages and Compilers for Parallel Computing
Fourth International Workshop, Santa Clara, California, USA, August 7-9, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55422-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Vardanega / Kordon Reliable Software Technologies - Ada-Europe 2008
13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68621-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Butterfield / Huch / Grelck Implementation and Application of Functional Languages
17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-69174-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Maluszynski / Deransart Programming Language Implementation and Logic Programming
International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53010-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Orejas / Diaz TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989
Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL)1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-50940-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kahn / Plotkin / MacQueen Semantics of Data Types
International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings1984Verlag: Springer Berlin HeidelbergISBN: 978-3-540-13346-9Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
De Nicola / Meredith / Ferrari Coordination Models and Languages
6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21044-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Levi / Steffen Verification, Model Checking, and Abstract Interpretation
5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20803-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lastovetsky / Dongarra / Kechadi Recent Advances in Parallel Virtual Machine and Message Passing Interface
15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-87474-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Chaudron / Reussner / Szyperski Component-Based Software Engineering
11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-87890-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Taha Domain-Specific Languages
IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-03033-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Su / Palsberg Static Analysis
16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-03236-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hindriks / Sardina / Pokahr Programming Multi-Agent Systems
6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers2009Verlag: SpringerISBN: 978-3-642-03277-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Oddi / Rossi / Fages Recent Advances in Constraints
13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-03250-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort