Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Dieter Hutter
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, …
Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Stefan Scheer
In: Francesca Saglietti; Wolfgang Goerigk (Hrsg.). Proceedings Workshop Sicherheit und Zuverlässigkeit software-basierter Systeme. Joint German …
Franciska de Jong; Jean-Luc Gauvain; Jurgen den Hartog; Klaus Netter
In: Proceedings of the European Workshop on Content-Based Multimedia Indexing (CBMI'99), October 25-27. International Workshop on Content-Based …
Eberhard Bertsch; Mark-Jan Nederhof
In: SIAM Journal on Computing, Vol. 29, No. 1, Pages 81-102, 1999.
In: ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 21, No. 1, Pages 1-10, 1999.
Michael Thulke; Volker Märgner; Andreas Dengel
In: Proceedings ICDAR99. International Conference on Document Analysis and Recognition (ICDAR), Pages 450-454, 9/1999.
Andreas Dengel
In: Brockhaus-Bibliothek “Mensch, Natur, Technik”. Chapter 2, Pages 507-541, Vol. 6, Bibliographisches Institut der F.A. Brockhaus AG, 1999.
Hans-Jürgen Bürckert; Klaus Fischer; Gero Vierke
In: Daniel M. Dubois (Hrsg.). The second international conference on computing anticipatory systems, CASYS '98. International Conference on Computing …
