Ergebnisse filtern
- Fachgebiet
- Medium
-
- 4447
- 26
- 9
- Erscheinungsjahr
-
- 1
- 1
- 25
- 67
- 54
- 50
- 70
- 117
- 134
- 99
- 135
- 91
- 142
- 104
- 120
- 53
- 243
- 80
- 167
- 282
- 199
- 272
- 230
- 235
- 211
- 188
- 139
- 112
- 109
- 101
- 86
- 91
- 81
- 58
- 58
- 63
- 38
- 47
- 27
- 17
- 18
- 10
- 4
- 2
- 8
- 8
- 4
- 3
- 2
- 1
- 2
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- Autoren
-
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 5
- 4
- 2
- 17
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 5
- 4
- 2
- 2
- 4
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 6
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 4
- 2
- 6
- 6
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 10
- 2
- 2
- 5
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 13
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 11
- 2
- 4
- 2
- 2
- 2
- 4
- 3
- 3
- 3
- 2
- 2
- 11
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 13
- 2
- 3
- 3
- 4
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 8
- 3
- 2
- 2
- 3
- 3
- 3
- 7
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 4
- 6
- 4
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 6
- 2
- 4
- 6
- 2
- 6
- 2
- 5
- 2
- 3
- 10
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 8
- 8
- 6
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 8
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 25
- 9
- 3
- 3
- 2
- 4
- 2
- 3
- 3
- 18
- 5
- 3
- 2
- 9
- 8
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 16
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 8
- 2
- 4
- 2
- 3
- 5
- 6
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 4
- 17
- 3
- 3
- 5
- 3
- 3
- 6
- 8
- 3
- 3
- 5
- 3
- 3
- 4
- 4
- 9
- 4
- 4
- 5
- 5
- 5
- 6
- 3
- 9
- 3
- 3
- 3
- 4
- 3
- 3
- 5
- 4
- 4
- 4
- 3
- 3
- 4
- 4
- 4
- 4
- 3
- 5
- 3
- 4
- 4
- 3
- 3
- 3
- 7
- 3
- 6
- 3
- 4
- 4
- 3
- 3
- 4
- 7
- 4
- 4
- 3
- 3
- 5
- 7
- 4
- 4
- 3
- 3
- 4
- 5
- 3
- 4
- 4
- 4
- 5
- 5
- 10
- 6
- 3
- 6
- 5
- 3
- 5
- 3
- 5
- 7
- 5
- 3
- 3
- 6
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 5
- 5
- 3
- 5
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 6
- 6
- 4
- 3
- 11
- 3
- 4
- 3
- 3
- 3
- 3
- 7
- 4
- 4
- 5
- 5
- 5
- 5
- 4
- 5
- 4
- 3
- 8
- 5
- 3
- 3
- 6
- 4
- 5
- 4
- 6
- 4
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 6
- 6
- 5
- 5
- 3
- 3
- 3
- 3
- 10
- 5
- 8
- 4
- 4
- 4
- 8
- 4
- 3
- 9
- 8
- 3
- 9
- 3
- 3
- 3
- 3
- 7
- 3
- 3
- 6
- 3
- 6
- 5
- 8
- 3
- 3
- 3
- 4
- 4
- 5
- 21
- 5
- 5
- 3
- 12
- 10
- 5
- 4
- 3
- 5
- 6
- 5
- 5
- 6
- 6
- 5
- 4
- 4
- 5
- 5
- 6
- 4
- 6
- 4
- 4
- 3
- 3
- 4
- 4
- 3
- 6
- 5
- 3
- 7
- 3
- 5
- 3
- 5
- 4
- 3
- 4
- 4
- 4
- 5
- 4
- 3
- 4
- 3
- 5
- 3
- 6
- 3
- 6
- 15
- 7
- 7
- 3
- 3
- 3
- 7
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 6
- 5
- 5
- 4
- 8
- 3
- 3
- 11
- 4
- 7
- 4
- 3
- 5
- 3
- 4
- 7
- 6
- 3
- 3
- 3
- 5
- 3
- 3
- 6
- 7
- 4
- 3
- 3
- 4
- 4
- 12
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 17
- 5
- 3
- 3
- 6
- 4
- 3
- 4
- 4
- 3
- 3
- 3
- 3
- 11
- 3
- 3
- 3
- 3
- 4
- 5
- 4
- 3
- 3
- 3
- 7
- 3
- 5
- 5
- 9
- 4
- 6
- 10
- 3
- 9
- 3
- 5
- 3
- 3
- 3
- 4
- 5
- 3
- 6
- 4
- 3
- 3
- 4
- 4
- 4
- 4
- 9
- 3
- 3
- 3
- 3
- 8
- 3
- 3
- 9
- 3
- 3
- 4
- 7
- 7
- 5
- 3
- 4
- 3
- 3
- 8
- 3
- 5
- 3
- 6
- 4
- 49
- 11
- 3
- 4
- 4
- 5
- 7
- 3
- 3
- 19
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 4
- 4
- 6
- 3
- 5
- 3
- 6
- 7
- 5
- 4
- 6
- 3
- 5
- 3
- 4
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 9
- 15
- 4
- 4
- 3
- 4
- 4
- 4
- 21
- 7
- 4
- 3
- 9
- 4
- 6
- 5
- 3
- 11
- 3
- 3
- 3
- 4
- 4
- 3
- 4
- 4
- 24
- 4
- 5
- 3
- 10
- 5
- 4
- 3
- 4
- 10
- 4
- 8
- 5
- 4
- 4
- 8
- 5
- 4
- 5
- 6
- 5
- 4
- 3
- 4
- 3
- 5
- Verlag
-
- 4
- 3
- 3
- 9
- 5
- 4
- 11
- 1
- 1
- 2
- 23
- 4
- 1
- 1
- 10
- 40
- 6
- 3
- 1
- 3
- 9
- 8
- 1
- 2
- 3
- 10
- 2
- 1
- 2
- 9
- 1
- 8
- 1
- 7
- 1
- 3
- 3
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 5
- 2
- 652
- 2167
- 1
- 658
- 1
- 6
- 3
- 223
- 54
- 127
- 223
- 8
- 40
- 3
- 2
- 1
- 2
- 7
- 4
- 5
- 1
- 35
- 2
- 27
- 1
- 1
- 2
- Preis
-
- 14
- 207
- 2744
- 1517
- Sprachen
-
- 4341
- 136
- 13
- Verfügbarkeit
-
- 4461
- 21
- Eigenschaften
-
- 1
- Katalog
-
- 4482
- 200
-
Voronkov Logic Programming and Automated Reasoning
International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55727-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Börger / Richter / Jäger Computer Science Logic
5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55789-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Levi / Kirchner Algebraic and Logic Programming
Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55873-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zaks / Segall Distributed Algorithms
6th International Workshop, WDAG '92, Haifa, Israel, November 2-4, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56188-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pettorossi Meta-Programming in Logic
Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56282-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ehrig / Reichel / Jantke Recent Trends in Data Type Specification
7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54496-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Groote / Baeten CONCUR '91
2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54430-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pitt / Curien / Rydeheard Category Theory and Computer Science
Paris, France, September 3-6, 1991. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54495-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nori / Biswas Foundations of Software Technology and Theoretical Computer Science
11th Conference, New Delhi, India, December 17-19, 1991. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54967-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Davenport EUROCAL '87
European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51517-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ausiello / Ronchi Della Rocca / Dezani-Ciancaglini Automata, Languages and Programming
16th International Colloquium, Stresa, Italy, July 11-15, 1989. Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51371-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Plümer Termination Proofs for Logic Programs
1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52837-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ehrig / Preuß / Herrlich Categorical Methods in Computer Science
With Aspects from Topology1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51722-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sifakis Automatic Verification Methods for Finite State Systems
International Workshop, Grenoble, France. June 12-14, 1989. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52148-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Valk / van Hee Applications and Theory of Petri Nets
29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68745-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Suzuki / El-Fakih / Higashino Formal Techniques for Networked and Distributed Systems ¿ FORTE 2008
28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68854-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Vidal-Oriola / Alpuente Static Analysis
15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-69163-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rolim / Nikoletseas Algorithmic Aspects of Wireless Sensor Networks
Second International Workshop, ALGOSENSORS 2006, Venice, Italy, July 15, 2006, Revised Selected Papers2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-69085-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hoogeboom / Salomaa / Paun Membrane Computing
7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-69088-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ishikawa / Yamakawa / Doya Neural Information Processing
14th International Confernce, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-69154-9Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wechler / Kirchner Algebraic and Logic Programming
Second International Conference, Nancy, France, October 1-3, 1990. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53162-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Santoro / Leeuwen Distributed Algorithms
4th International Workshop, Bari, Italy, September 24-26, 1990. Proceedings.1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54099-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Soisalon-Soininen / Sippu Parsing Theory
Volume II LR(k) and LL(k) Parsing1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51732-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lengauer / Choffrut STACS 90
7th Annual Symposium on Theoretical Aspects of Computer Science. Rouen, France, February 22-24, 1990. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52282-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bakker / Rozenberg / Roever Stepwise Refinement of Distributed Systems
Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52559-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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