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
- 287
- 1584
- 76
- 3
- 1
- 2
- 92
- 23
- 15
- 47
- 10
- 61
- 2
- 5
- 2
- 66
- 24
- 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
-
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 -
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 -
Tofte Compiler Generators
What They Can Do, What They Might Do, and What They Will Probably Never Do1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51471-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
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 -
Salwicki / Kreczmar / Warpechowski LOGLAN '88 - Report on the Programming Language
1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52325-3Medium: 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 -
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 -
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 -
Ferrante / Carter Languages and Compilers for Parallel Computing
12th International Workshop, LCPC'99 La Jolla, CA, USA, August 4-6, 1999 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67858-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Harrison / Aagaard Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67863-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Palamidessi CONCUR 2000 - Concurrency Theory
11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67897-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Weck / Gutknecht Modular Programming Languages
Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67958-5Medium: 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