Treffer 1 - 20 von 37 für Suche 'Geschäftsstelle Schloss Dagstuhl', Suchdauer: 1,36s Treffer weiter einschränken
  1. 1

    Foundations of information systems specification and design 16 - 19, March 1992

    Veröffentlicht 1992
    “… Geschäftsstelle Schloss Dagstuhl …”
    Buch
  2. 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. 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. 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. 5

    Logical theory for program construction 25.2. - 1.3.1991 (9109)

    Veröffentlicht 1991
    “… Geschäftsstelle Schloss Dagstuhl …”
    Buch
  6. 6

    Parallel and distributed algorithms 4.3.1991 - 8.3.1991 (9110)

    Veröffentlicht 1991
    “… Geschäftsstelle Schloss Dagstuhl …”
    Buch
  7. 7

    Entwerfen, Prüfen, Testen 18.2.1991 - 22.2.1991 (9108)

    Veröffentlicht 1991
    “… Geschäftsstelle Schloss Dagstuhl …”
    Inhaltsverzeichnis
    Buch
  8. 8

    Functional languages: compiler technology and parallelism 23. - 27. 3. 92 (9213)

    Veröffentlicht 1992
    “… Geschäftsstelle schloß Dagstuhl …”
    Nachschlagewerke
  9. 9

    Algorithms and complexity for continuous problems 17.10. - 21.10.94

    Veröffentlicht 1994
    “… Geschäftsstelle Schloss Dagstuhl …”
    Buch
  10. 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. 11

    Multimedia system architectures and applications ; 02.11. - 04.11.92

    Veröffentlicht 1993
    “… Geschäftsstelle Schloss Dagstuhl …”
    Buch
  12. 12

    Automata theory: infinite computations 6. - 10.1.92 (9202)

    Veröffentlicht 1992
    “… Geschäftsstelle Schloss Dagstuhl …”
    Buch
  13. 13

    Theorem proving and logic programming with constraints 21.10. - 25.10.91

    Veröffentlicht 1992
    “… Geschäftsstelle Schloss Dagstuhl …”
    Buch
  14. 14

    Complexity and realization of Boolean functions 24.08. - 28.08.92

    Veröffentlicht 1992
    “… Geschäftsstelle Schloss Dagstuhl …”
    Buch
  15. 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. 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. 17

    Functional languages: optimization for parallelism 3.9.1990 - 8.9.1990 (9036)

    Veröffentlicht 1991
    “… Geschäftsstelle Schloss Dagstuhl …”
    Tagungsbericht Buch
  18. 18

    International Workshop on Terminological Logics 6.5. - 18.5.1991 (9119)

    Veröffentlicht 1991
    “… Geschäftsstelle Schloss Dagstuhl …”
    Tagungsbericht Buch
  19. 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. 20

    Fundamentals of object oriented languages, systems, and methods 22.08. - 26.08.94

    Veröffentlicht 1995
    “… Geschäftsstelle Schloss Dagstuhl …”
    Inhaltsverzeichnis
    Tagungsbericht Buch