- Alle Titel
- Besondere Sammlungen
- Veröffentlichungen der Universität
- Universitätsleitung/-verwaltung
- Fakultät für Kulturwissenschaften
- Fakultät für Wirtschaftswissenschaften
- Fakultät für Naturwissenschaften
- Fakultät für Maschinenbau
- Fakultät für Elektrotechnik, Informatik und Mathematik
- Universitätsbibliothek
- Heinz Nixdorf Institut (HNI)
- Zentrum für Bildungsforschung und Lehrerbildung
- Zentrum für Informations- und Medientechnologien
- Sonstige Einrichtungen / Externe
Imparting practical skills in software engineering
In: Technik und Informationsgesellschaft, Jg. 1987, S. 517-522
The 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>, Jg. 1979, S. 138-144Implementation of visit-oriented attribute evaluators
In: Attribute grammars, applications and systems (Lecture notes in computer science : 545), Jg. 1991, S. 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, Jg. 1990, S. 259-273An inference engine for function free logic programs
In: Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, Jg. 1990, S. 885-890Infinite cube-connected cycles
In: Information Processing Letters, Jg. 1983, S. 1-2Infinitesimally generated subsemigroups of motion groups
In: Rocky Mountain Journal of Mathematics, Jg. 1991, S. 865-878Influence of pressure on heat transfer from horizontal tubes to boiling refrigerants
In: Progrès dans la science et la technique du froid / International Congress of Refrigeration <12, 1967, Madrid>, Jg. 2, S. 589-599Influence of zero-point vibration on the superhyperfine interactions of hydrogen and Deuterium centres in KCI
In: Physica Status Solidi, Jg. 1969, S. 171-181Integrable nonlinear evolution equations with time-dependent coefficients
In: Journal of Mathematical Physics, Jg. 1993, S. 5140-5158Integrated predicative synchronization implemented in a federated DBMS
In: Tenth Annual International Phoenix Conference on Computers and Communications, Jg. 1991, S. 123-129Integrating a deductive database system with a Warren Abstract Machine
In: Proceedings of the International Symposium "Computational Intelligence 90", Jg. 1991, S. 19-24