326 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik 1
zu den Filteroptionen326 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
1
Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware
Elektronische Ressource, Paderborn, 2021Human factors in open source security
Elektronische Ressource, Paderborn, 2024Improvement of software requirements quality based on systems engineering
Elektronische Ressource, Paderborn, 2019Improving real-world applicability of static taint analysis
Elektronische Ressource, Paderborn, 2021Induction-based Verification of Timed Systems
Elektronische Ressource, Paderborn, 2016Informatik im Herstellungs- und Nutzungskontext
ein technikbezogener Zugang zur fachübergreifenden Lehre2003Insider-resistant distributed storage systems
Elektronische Ressource, Paderborn, 2016Interfacing detectors and collecting data for large-scale experiments in high energy physics using COTS technology
Elektronische Ressource, Paderborn, 2017Knowledge extraction for the data web
Paderborn, 2024Knowledge-based verification of service compositions
Elektronische Ressource, Paderborn, 2018