5,156 results · clear filters Sort: newest oldest name

1. Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992 (TABLEAUX)
   1992-03-18/20 · Germany
   Computer and information sciences
   e11wr9t
2. CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992 (CNKBS)
   1992-02-06/07 · Munich, Germany
   Computer and information sciences
   e10wq8y
3. Architektur von Rechensystemen, 12. GI/ITG-Fachtagung, 23.-25. März 1992, Kiel, Germany (ARCS)
   1992-01-01 · Kiel, Germany
   Computer and information sciences
   e10r8qp
4. CAD '92: Neue Konzepte zur Realisierung anwendungsorientierter CAD-Systeme, GI-Fachtagung, Berlin, 14./15. Mai 1992. (CAD)
   1992-01-01 · Berlin, Germany
   Computer and information sciences
   e10tfkk
5. Mustererkennung 1992, 14. DAGM-Symposium, Dresden, 14.-16. September 1992, Proceedings (DAGM)
   1992-01-01 · Dresden, Germany
   Computer and information sciences
   e10yfws
6. Eiffel, Gemeinsame Fachtagung des German Chapter of the ACM mit der Gesellschaft für Informatik (GI), am 25. und 26. Mai 1992 in Darmstadt (EIFFEL)
   1992-01-01 · Darmstadt, Germany
   Computer and information sciences
   e11180k
7. Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992 (FBT)
   1992-01-01 · Magdeburg, Germany
   Computer and information sciences
   e11344b
8. Information als Produktionsfaktor, 22. GI-Jahrestagung, Karlsruhe, Germany, 28. September bis 2. Oktober 1992 (GI)
   1992-01-01 · Karlsruhe, Germany
   Computer and information sciences
   e114fps
9. Geometric Modelling, Dagstuhl, Germany, 1992 (GM)
   1992-01-01 · Schloss Dagstuhl – Leibniz Center for Informatics, Germany
   Computer and information sciences
   e114ra9
10. Kurzfassungen des 4. GI-Workshops "Grundlagen von Datenbanken", GvD 1992, Barsinghausen, Germany, 9.-12.6.1992 (GVD)
    1992-01-01 · Barsinghausen, Germany
    Computer and information sciences
    e1150n8
11. Hypertext und Hypermedia 1992, Konzepte und Anwendungen auf dem Weg in die Praxis, Fachtagung und Tutorien, München, 14.-16. September 1992 (HIM)
    1992-01-01 · Munich, Germany
    Computer and information sciences
    e115apw
12. Informationssysteme und Künstliche Intelligenz: Modellierung, 2. Workshop, Ulm, 24.-26. Februar 1992, Proceedings (ISKI)
    1992-01-01 · Ulm, Germany
    Computer and information sciences
    e11e0va
13. PEARL 92, Workshop über Realzeitsysteme, Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL, Boppard, 3./4. Dezember 1992 (PEARL)
    1992-01-01 · Boppard, Germany
    Computer and information sciences
    e11ncqq
14. Software Engineering im Unterricht der Hochschulen - Studienführer Software Engineering, Workshop des German Chapter of the ACM und der Gesellschaft für Informatik (GI) am 27. und 28. Februar 1992 in Stuttgart (SEUH)
    1992-01-01 · Stuttgart, Germany
    Computer and information sciences
    e11se8c
15. Supercomputer'92: Anwendungen, Architekturen, Trends, Seminar, Mannheim, 25.-27. Juni 1992, Proceedings (SUPERCOMPUTER)
    1992-01-01 · Mannheim, Germany
    Computer and information sciences
    e11wgzn
16. Autonome Mobile Systeme (AMS)
    1992-01-01 · Munich, Germany
    Computer and information sciences
    e12hpx8
17. Distributed Systems, Operations and Management (DSOM) (DSOM)
    1992-01-01 · Munich, Germany
    Computer and information sciences
    e12jkcc
18. Implementation of Functional Languages (IFL) (IFL)
    1992-01-01 · Aachen, Germany
    Computer and information sciences
    e12m562
19. Workshop on Philosophy and Informatics (WSPI)
    1992-01-01 · Schloss Dagstuhl – Leibniz Center for Informatics, Germany
    Computer and information sciences
    e12pg9d
20. Analogical and Inductive Inference, International Workshop AII '92, Dagstuhl Castle, Germany, October 5-9, 1992, Proceedings
    1992 · Dagstuhl Castle, Germany
    Computer and information sciences
    e10q1cp
21. Experimental Software Engineering Issues: Critical Assessment and Future Directions, International Workshop Dagstuhl Castle, Germany, September 14-18, 1992, Proceedings
    1992 · Germany
    Computer and information sciences
    e10yhaw
22. Graphics Modeling and Visualization in Science and Technology, Selected Papers of the Workshop on Graphics Modeling and Visualization in Scientific, Engineering and Technical Applications, Darmstadt, Germany, April 13-14, 1992
    1992 · Darmstadt, Germany
    Computer and information sciences
    e114s2r
23. Electronic Design Automation Frameworks: When will the promise be realized? Proceedings of the Third IFIP WG10.2/WG10.5 Workshop on Electronic Design Automation Frameworks in cooperation with GI/ITG FG 3.5.6/5.2.6 Bad Lippspringe, Germany, 23-25 March, 1992
    1992 · Germany
    Computer and information sciences
    e11bdv3
24. Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28 - August 9, 1992.
    1992 · Germany
    Computer and information sciences
    e11krv7
25. TOOLS 1992: 7th International Conference on Technology of Object-Oriented Languages and Systems, Dortmund, Germany, Europe.
    1992 · Dortmund, Germany
    Computer and information sciences
    e11x6t7

As JSON: https://labs.confref.org/api/search?field=1&country=DE&page=189