127 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik 2
zu den Filteroptionen127 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
2
Induction-based Verification of Timed Systems
Elektronische Ressource, Paderborn, 2016
Insider-resistant distributed storage systems
Elektronische Ressource, Paderborn, 2016
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, 2017Investigating strategies for building platoons of cars
Elektronische Ressource, Paderborn, 2018Investigating the feasibility of visible light communication for platooning applications
Elektronische Ressource, Paderborn, 2018Knowledge-based verification of service compositions
Elektronische Ressource, Paderborn, 2018Learning shepherding behavior
Elektronische Ressource, Paderborn, 2016Local algorithms for the continuous gathering problem
Elektronische Ressource, Paderborn, 2017Local graph transformation primitives for some basic problems in Overlay networks
Elektronische Ressource, Paderborn, 2020Local strategies for swarm formations on a grid
Elektronische Ressource, Paderborn, 2018