30 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
zu den Filteroptionen30 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
Implementation 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-273Induction-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, Jg. 1990, S. 885-890Infinitesimally generated subsemigroups of motion groups
In: Rocky Mountain Journal of Mathematics, Jg. 1991, S. 865-878Injektive Tensorprodukte und Slice-Produkte gewichteter Räume stetiger Funktionen
In: Journal für Mathematik, Jg. 1974, S. 121-131Insider-resistant distributed storage systems
Elektronische Ressource, Paderborn, 2016Integrable nonlinear evolution equations with time-dependent coefficients
In: Journal of Mathematical Physics, Jg. 1993, S. 5140-5158Integraldarstellungen linearer Funktionale
In: Held at Oberwolfach, 15 - 21 June, 1975 : Lecture notes in mathematics : 541, Jg. 1976, S. 255-266Integrated 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