Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Thomas Kieninger; Bernd Strieder
In: AAAI Press, North Fallmouth, MA, 11/1999.
Thomas Kieninger; Andreas Dengel
In: Document Layout Interpretation and its Applications (DLIA99). Document Layout Interpretation and its Applications (DLIA), 1999.
Markus Junker; Rainer Hoch; Andreas Dengel
In: Proceedings of the 5th International Conference on Document Analysis and Recognition. International Conference on Document Analysis and …
Petra Funk; Gero Vierke; Hans-Jürgen Bürckert
In: Proceedings der Logistik-Management-Tagung. Logistik-Management-Tagung (LMT-99), 1999.
Dieter Hutter; Heiko Mantel; Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel
In: Dieter Hutter; Werner Stephan; P. Traverso; M. Ullmann (Hrsg.). Proceedings Current Trends in Applied Formal Methods. International Workshop on …
Dieter Hutter; Werner Stephan; Paolo Traverso; Markus Ullmann
Springer-Verlag, LNCS 1641, Boppard, Germany, 1999.
Dieter Hutter
In: B. Gramlich; H. Kirchner; F. Pfenning (Hrsg.). Proceedings CADE-16 Workshop on Strategies in Automated Deduction. International Conference on …
Workshop-proceedings, 16th International Conference on Automated Deduction, Trento, Italy, 1999.
Georg Rock; Werner Stephan; Andreas Wolpers
In: R. Berghammer; Y. Lakhnech (Hrsg.). Tool Support for System Specification, Development and Verification. International Workshop Tool Support for …
In: Katharina Spies; Bernhard Schätz (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-99), München, Germany, …