-
1
Foundations of information systems specification and design 16 - 19, March 1992
Veröffentlicht 1992“… Geschäftsstelle Schloss Dagstuhl …”
Buch -
2
Directions of Future Database Research 9.9. - 12.9.91 (9136) ; [facing the impact of emerging theories, technologies and applications]
Veröffentlicht 1991“… Geschäftsstelle Schloss Dagstuhl …”
Tagungsbericht Buch -
3
Automata theory and applications in logic and complexity 14. - 18.1.1991 (9103) ; [report on the Dagstuhl-Seminar Automata Theory with Applications in Logic and Complexity]
Veröffentlicht 1991“… Geschäftsstelle Schloss Dagstuhl …”
Tagungsbericht Buch -
4
Geometric modelling 1. - 5.7.1991 (9127) ; [report of the 1st Dagstuhl Seminar on Geometric Modelling]
Veröffentlicht 1991“… Geschäftsstelle Schloss Dagstuhl …”
Tagungsbericht Buch -
5
Logical theory for program construction 25.2. - 1.3.1991 (9109)
Veröffentlicht 1991“… Geschäftsstelle Schloss Dagstuhl …”
Buch -
6
Parallel and distributed algorithms 4.3.1991 - 8.3.1991 (9110)
Veröffentlicht 1991“… Geschäftsstelle Schloss Dagstuhl …”
Buch -
7
Entwerfen, Prüfen, Testen 18.2.1991 - 22.2.1991 (9108)
Veröffentlicht 1991“… Geschäftsstelle Schloss Dagstuhl …”
Inhaltsverzeichnis
Buch -
8
Functional languages: compiler technology and parallelism 23. - 27. 3. 92 (9213)
Veröffentlicht 1992“… Geschäftsstelle schloß Dagstuhl …”
Nachschlagewerke -
9
Algorithms and complexity for continuous problems 17.10. - 21.10.94
Veröffentlicht 1994“… Geschäftsstelle Schloss Dagstuhl …”
Buch -
10
Structure and complexity 14.02. - 18.02.94 ; [report on the Dagstuhl-Seminar "Structure and Complexity"]
Veröffentlicht 1994“… Geschäftsstelle Schloss Dagstuhl …”
Tagungsbericht Buch -
11
Multimedia system architectures and applications ; 02.11. - 04.11.92
Veröffentlicht 1993“… Geschäftsstelle Schloss Dagstuhl …”
Buch -
12
Automata theory: infinite computations 6. - 10.1.92 (9202)
Veröffentlicht 1992“… Geschäftsstelle Schloss Dagstuhl …”
Buch -
13
Theorem proving and logic programming with constraints 21.10. - 25.10.91
Veröffentlicht 1992“… Geschäftsstelle Schloss Dagstuhl …”
Buch -
14
Complexity and realization of Boolean functions 24.08. - 28.08.92
Veröffentlicht 1992“… Geschäftsstelle Schloss Dagstuhl …”
Buch -
15
Algorithmic geometry 8.10.1990 - 12.10.1990 (9041) ; [Tagungsbericht zum 1. Dagstuhl-Seminar über Algorithmische Geometrie]
Veröffentlicht 1991“… Geschäftsstelle Schloss Dagstuhl …”
Tagungsbericht Buch -
16
Concurrent systems: semantics, specification, and synthesis 11.3.1991 - 15.3.1991 (9111) ; [report on the Dagstuhl-Workshop "Concurrent Systems: Semantics, Specification, and Synth...
Veröffentlicht 1991“… Geschäftsstelle Schloss Dagstuhl …”
Tagungsbericht Buch -
17
Functional languages: optimization for parallelism 3.9.1990 - 8.9.1990 (9036)
Veröffentlicht 1991“… Geschäftsstelle Schloss Dagstuhl …”
Tagungsbericht Buch -
18
International Workshop on Terminological Logics 6.5. - 18.5.1991 (9119)
Veröffentlicht 1991“… Geschäftsstelle Schloss Dagstuhl …”
Tagungsbericht Buch -
19
Query processing in object oriented, complex object and nested relation databases 17. - 21.6.1991 (9125)
Veröffentlicht 1991“… Geschäftsstelle Schloss Dagstuhl …”
Buch -
20
Fundamentals of object oriented languages, systems, and methods 22.08. - 26.08.94
Veröffentlicht 1995“… Geschäftsstelle Schloss Dagstuhl …”
Inhaltsverzeichnis
Tagungsbericht Buch