Imparting practical skills in software engineering
In: Technik und Informationsgesellschaft, Vol. 1987, page 517-522The implementation of the computer hardware description language CAP and its applications
In: Proceedings / International Symposium on Hardware Description Languages and their Applications <1979, Palo Alto, CA>, Vol. 1979, page 138-144Implementation of visit-oriented attribute evaluators
In: Attribute grammars, applications and systems (Lecture notes in computer science : 545), Vol. 1991, page 114-139Improving the concurrency of integrity checks and write operations
In: Proceedings / ICDT '90, Third International Conference on Database Theory, Paris, France, December 12 - 14, 1990, Vol. 1990, page 259-273In-situ analysis of particles in contact under ambient conditions
Elektronische Ressource, Paderborn, 2016In-situ Strukturcharakterisierung von Kohlenstoff-Nanoröhrchen in polymerbasierten Nanokompositen
Methodenentwicklung und Anwendung2013Induction-based Verification of Timed Systems
Elektronische Ressource, Paderborn, 2016An inference engine for function free logic programs
In: Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, Vol. 1990, page 885-890Infinite cube-connected cycles
In: Information Processing Letters, Vol. 1983, page 1-2Infinitesimally generated subsemigroups of motion groups
In: Rocky Mountain Journal of Mathematics, Vol. 1991, page 865-878Infinitival complements in German
lassen, scheinen and the verbs of perceptionCambridge [u.a.] : Cambridge Univ. Pr., 1985