Schliessen
Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen
Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2017Induction-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-890Infinite cube-connected cycles
In: Information Processing Letters, Jg. 1983, S. 1-2Insider-resistant distributed storage systems
Elektronische Ressource, Paderborn, 2016INSPIRE: Insight to scientific publications and references
Verteilte Berechnung von Bibliometriken auf großen DatenmengenElektronische Ressource, Paderborn, 2013Instrumentarium für einen lösungsmusterbasierten Entwurf fortgeschrittener mechatronischer Systeme
Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2016Integrated 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
Integration of parked cars into Car4ICT
Elektronische Ressource, Paderborn, 2018Integrierte Systementwicklung
In: Dialogsysteme in der Arbeitswelt, Jg. 1988, S. 205-228Interfacing detectors and collecting data for large-scale experiments in high energy physics using COTS technology
Elektronische Ressource, Paderborn, 2017Investigating selective wake-up transceivers for IEEE 802.11 WLAN
Elektronische Ressource, Paderborn, 2019Investigating strategies for building platoons of cars
Elektronische Ressource, Paderborn, 2018Investigating the feasibility of visible light communication for platooning applications
Elektronische Ressource, Paderborn, 2018