620 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik 1
zu den Filteroptionen620 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik
1
Induction-based Verification of Timed Systems
Elektronische Ressource, Paderborn, 2016
An 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-dimensional supermanifolds, lie supergroups and the supergroup of superdiffeomorphisms
Elektronische Ressource, Paderborn, 2019Infinitesimally generated subsemigroups of motion groups
In: Rocky Mountain Journal of Mathematics, Jg. 1991, S. 865-878IngridKG
a FAIR knowledge graph of graffitiIn: Scientific Data, Jg. 10 H. 318, S. 1-12Elektronische Ressource,Insider-resistant distributed storage systems
Elektronische Ressource, Paderborn, 2016Integrable 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-24Integration of neural networks and probabilistic spatial models for acoustic blind source separation
Elektronische Ressource, Paderborn, 2020
Integration of parked cars into Car4ICT
Elektronische Ressource, Paderborn, 2018Interactive driving simulator for Car2X scenarios
Elektronische Ressource, Paderborn, 2018Interfacing detectors and collecting data for large-scale experiments in high energy physics using COTS technology
Elektronische Ressource, Paderborn, 2017The internal rate of return of an investment
In: Applications and Modelling in Learning and Teaching Mathematics, Jg. 1989, S. 195-200An introduction to locally convex inductive limits
In: Functional analysis and its applications, Jg. 1988, S. 35-133