Ergebnisse filtern
- Fachgebiet
- Medium
-
- 3219
- 1080
- 5
- 4
- Erscheinungsjahr
-
- 2
- 15
- 214
- 292
- 295
- 272
- 286
- 320
- 484
- 226
- 192
- 136
- 142
- 72
- 62
- 38
- 108
- 106
- 108
- 73
- 60
- 49
- 60
- 73
- 68
- 60
- 60
- 44
- 30
- 54
- 37
- 20
- 26
- 15
- 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
-
- 3
- 2
- 3
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 8
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 5
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 5
- 7
- 2
- 2
- 29
- 15
- 2
- 3
- 8
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 6
- 3
- 2
- 4
- 2
- 4
- 2
- 3
- 4
- 11
- 16
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 5
- 5
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 3
- 3
- 6
- 5
- 3
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 7
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 9
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 4
- 2
- 16
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 5
- 5
- 3
- 2
- 2
- 6
- 3
- 2
- 3
- 4
- 2
- 3
- 2
- 4
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 8
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 8
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 8
- 6
- 2
- 5
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 6
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 6
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 8
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 8
- 9
- 2
- 2
- 4
- 2
- 3
- 2
- 5
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 12
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 4
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 4
- 2
- 3
- 2
- 2
- 8
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 3
- 8
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 9
- 3
- 2
- 3
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 5
- 3
- 5
- 5
- 3
- 3
- 11
- 3
- 3
- 3
- 5
- 4
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 5
- 9
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 4
- 6
- 4
- 3
- 3
- 5
- 3
- 3
- 6
- 5
- 6
- 4
- 6
- 3
- 3
- 4
- 7
- 6
- 3
- 3
- 5
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 5
- 7
- 3
- 7
- 3
- 4
- 3
- 4
- 4
- 5
- 3
- 3
- 3
- 9
- 3
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 6
- 4
- 5
- 4
- 3
- 3
- 5
- 4
- 3
- 3
- 3
- 5
- 3
- 16
- 3
- 3
- 4
- 4
- 3
- 3
- 3
- 5
- 11
- 3
- 4
- 9
- 4
- 3
- 4
- 3
- 5
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 6
- 3
- 3
- 3
- 3
- 4
- 5
- 7
- 3
- 4
- 8
- 3
- 4
- 3
- 3
- 5
- 3
- 3
- 4
- 3
- 6
- 3
- 4
- 3
- 4
- Verlag
-
- 2
- 1
- 847
- 11
- 1
- 12
- 1
- 2
- 1
- 1
- 10
- 2
- 1
- 2
- 61
- 74
- 2
- 2
- 3
- 146
- 1007
- 1
- 1
- 3
- 1
- 14
- 53
- 1
- 15
- 14
- 2
- 3
- 1
- 3
- 2
- 2
- 46
- 2
- 14
- 14
- 2
- 2
- 1
- 6
- 5
- 7
- 1
- 2
- 8
- 1
- 8
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 5
- 4
- 1
- 1
- 3
- 1
- 1
- 2
- 5
- 12
- 98
- 2
- 3
- 1
- 2
- 1
- 2
- 2
- 302
- 1
- 376
- 203
- 3
- 85
- 22
- 14
- 1
- 62
- 5
- 3
- 16
- 1
- 1
- 1
- 66
- 23
- 219
- 29
- 7
- 1
- 8
- 1
- 9
- 2
- 1
- 5
- 1
- 2
- 2
- 115
- 1
- 1
- 1
- 2
- 84
- 4
- 12
- 2
- 1
- 23
- 5
- 1
- 1
- 2
- Preis
-
- 198
- 1769
- 1692
- 649
- Sprachen
-
- 3654
- 652
- 6
- Verfügbarkeit
-
- 4209
- 99
- Eigenschaften
-
- 6
- Katalog
-
- 4308
- 140
-
Martin-Vide / Dediu / Fernau Language and Automata Theory and Applications
4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-13088-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ong Foundations of Software Science and Computational Structures
13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-12031-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
De Schreye Logic-Based Program Synthesis and Transformation
19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers2010Verlag: SpringerISBN: 978-3-642-12591-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Puppis Automata for Branching and Layered Temporal Structures
An Investigation into Regularities of Infinite Transition Systems1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11880-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Goto / Yuasa / Araki RIMS Symposium on Software Science and Engineering II
Proceedings of the Symposia 1983 and 1984, Kyoto, Japan1986Verlag: Springer Berlin HeidelbergISBN: 978-3-540-16470-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort