30 Titles in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und MathematikClassificationCloseFilters
jump to filter-options30 Titles in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
Classification
Close
Filters
Implementation of visit-oriented attribute evaluators
Kastens, UweIn: Attribute grammars, applications and systems, Vol. 1991, page 114-139Improving the concurrency of integrity checks and write operations
Böttcher, StefanIn: Proceedings / ICDT '90, Third International Conference on Database Theory, Paris, France, December 12 - 14, 1990, Vol. 1990, page 259-273Induction-based Verification of Timed Systems
Isenberg, Tobias ; Wehrheim, Heike ; Niggemann, OliverElektronische Ressource, Paderborn, 2016An inference engine for function free logic programs
Böttcher, StefanIn: Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, Vol. 1990, page 885-890Infinitesimally generated subsemigroups of motion groups
Hilgert, JoachimIn: Rocky Mountain Journal of Mathematics, Vol. 1991, page 865-878Injektive Tensorprodukte und Slice-Produkte gewichteter Räume stetiger Funktionen
Bierstedt, Klaus-DieterIn: Journal für Mathematik, Vol. 1974, page 121-131Insider-resistant distributed storage systems
Eikel, Martina ; Scheideler, Christian ; Meyer auf der Heide, Friedhelm ; Universität PaderbornElektronische Ressource, Paderborn, 2016Integrable nonlinear evolution equations with time-dependent coefficients
Fuchssteiner, BennoIn: Journal of Mathematical Physics, Vol. 1993, page 5140-5158Integraldarstellungen linearer Funktionale
Fuchssteiner, BennoIn: Held at Oberwolfach, 15 - 21 June, 1975 : Lecture notes in mathematics : 541, Vol. 1976, page 255-266Integrated predicative synchronization implemented in a federated DBMS
Böttcher, StefanIn: Tenth Annual International Phoenix Conference on Computers and Communications, Vol. 1991, page 123-129Integrating a deductive database system with a Warren Abstract Machine
Böttcher, StefanIn: Proceedings of the International Symposium "Computational Intelligence 90", Vol. 1991, page 19-24