Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2803
- 135
- 3
- 1
- Erscheinungsjahr
-
- 3
- 2
- 62
- 90
- 84
- 77
- 67
- 79
- 60
- 27
- 33
- 25
- 33
- 19
- 18
- 16
- 120
- 68
- 141
- 247
- 201
- 176
- 99
- 128
- 82
- 111
- 82
- 79
- 85
- 80
- 80
- 67
- 65
- 61
- 41
- 64
- 31
- 33
- 26
- 19
- 16
- 8
- 4
- 1
- 5
- 11
- 4
- 2
- 1
- 2
- 2
- 1
- 1
- Autoren
-
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 18
- 5
- 2
- 2
- 2
- 12
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 3
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 17
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 6
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 19
- 4
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 3
- 8
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 4
- 2
- 13
- 4
- 2
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 4
- 3
- 3
- 2
- 2
- 4
- 3
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 7
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 2
- 5
- 5
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 3
- 2
- 3
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 5
- 4
- 4
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 6
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 3
- 7
- 2
- 3
- 4
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 4
- 8
- 2
- 2
- 2
- 8
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 3
- 6
- 3
- 2
- 5
- 2
- 5
- 2
- 2
- 3
- 2
- 4
- 27
- 2
- 11
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 4
- 2
- 3
- 6
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 5
- 6
- 4
- 5
- 5
- 3
- 3
- 5
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 8
- 3
- 3
- 3
- 4
- 3
- 3
- 7
- 14
- 3
- 4
- 3
- 3
- 13
- 3
- 5
- 3
- 7
- 3
- 5
- 12
- 5
- 4
- 3
- 3
- 4
- 10
- 3
- 5
- 8
- 3
- 4
- 3
- 3
- 3
- 6
- 4
- 5
- 4
- 5
- 5
- 3
- 5
- 4
- Verlag
-
- 1
- 1
- 1
- 261
- 3
- 4
- 1
- 2
- 5
- 3
- 9
- 15
- 8
- 154
- 1
- 4
- 1
- 1
- 3
- 2
- 8
- 1
- 1
- 4
- 5
- 1
- 2
- 5
- 1
- 12
- 3
- 4
- 11
- 1
- 1
- 1
- 5
- 1
- 8
- 2
- 3
- 1
- 2
- 1
- 6
- 3
- 3
- 286
- 1584
- 76
- 3
- 1
- 2
- 93
- 23
- 15
- 47
- 10
- 61
- 2
- 4
- 2
- 66
- 25
- 8
- 2
- 2
- 1
- 19
- 26
- 2
- 4
- 1
- 1
- Preis
-
- 34
- 379
- 1822
- 707
- Sprachen
-
- 2717
- 222
- 8
- Verfügbarkeit
-
- 2902
- 40
- Eigenschaften
-
- 3
- Katalog
-
- 2942
- 152
-
Lisper Synthesizing Synchronous Systems by Static Scheduling in Space-Time
1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51156-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nerode / Furbach Logic Programming and Nonmonotonic Reasoning
Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63255-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kropf Formal Hardware Verification
Methods and Systems in Comparison1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63475-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rosolini / Moggi Category Theory and Computer Science
7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63455-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Johnson Algebraic Methodology and Software Technology
6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63888-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mayr / Steger / Prömel Lectures on Proof Verification and Approximation Algorithms
1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64201-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Koskimies Compiler Construction
7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64304-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Didier B'98: Recent Advances in the Development and Use of the B Method
Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64405-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Vardi / Hu Computer Aided Verification
10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64608-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rossi / Montanari Principles and Practice of Constraint Programming - CP '95
First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60299-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Brinksma / Cleaveland / Steffen Tools and Algorithms for the Construction and Analysis of Systems
First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60630-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Thiagarajan Foundations of Software Technology and Theoretical Computer Science
15th Conference; Bangalore, India, December 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60692-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hartel Functional Programming Languages in Education
1st International Symposium FPLE '95 Nijmegen, The Netherlands, December 4-6, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60675-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pingali / Banerjee / Padua Languages and Compilers for Parallel Computing
7th International Workshop, Ithaca, NY, USA, August 8 - 10, 1994. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58868-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Thiagarajan Foundations of Software Technology and Theoretical Computer Science
14th Conference, Madras, India, December 15 - 17, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58715-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Meyer Constraint Processing
Selected Papers1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59479-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Baeza-Yates / Poblete / Goles LATIN '95: Theoretical Informatics
Second Latin American Symposium, Valparaiso, Chile, April 3 - 7, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59175-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Böckle Exploitation of Fine-Grain Parallelism
1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60054-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Krueger / Bosch Software Reuse: Methods, Techniques, and Tools
8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22335-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Denvir / Wray / Harwood The Analysis of Concurrent Systems
Cambridge, September 12-16, 1983. Proceedings1985Verlag: Springer Berlin HeidelbergISBN: 978-3-540-16047-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Franchi-Zannettacci CAAP'86
11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986. Proceedings1986Verlag: Springer Berlin HeidelbergISBN: 978-3-540-16443-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Salomaa / Lepistö Automata, Languages and Programming
15th International Colloquium, Tampere, Finland, July 11-15, 1988. Proceedings1988Verlag: Springer Berlin HeidelbergISBN: 978-3-540-19488-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lingas / Karlsson SWAT '88
1st Scandinavian Workshop on Algorithm Theory Halmstad, Sweden, July 5-8, 1988. Proceedings1988Verlag: Springer Berlin HeidelbergISBN: 978-3-540-19487-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Engeler Logic of Programs
Workshop, ETH Zürich, May-July 19791981Verlag: Springer Berlin HeidelbergISBN: 978-3-540-11160-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hailpern Verifying Concurrent Processes Using Temporal Logic
1982Verlag: Springer Berlin HeidelbergISBN: 978-3-540-11205-1Medium: 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