162 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik 1
zu den Filteroptionen162 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
1
Reliable communications within cyber-physical systems using the internet (RC4CPS)
Elektronische Ressource, Paderborn, 2018
Responsive positioning
a user interface technique based on structured spaceElektronische Ressource, Paderborn, 2018Revisionssicherheit von Forschungsdateninfrastrukturen am Beispiel digitaler Editionen
Elektronische Ressource, Paderborn, 2020Robustifying machine learning through weakening supervision
Elektronische Ressource, Paderborn, 2023Safety requirements engineering for early SIL tailoring
Elektronische Ressource, Paderborn, 2019Scaling static whole-program analysis to modern C and C++ software development
statically analyzing C and C++ software with PhASARPaderborn, 2024Scaling, placement, and routing for pliable virtualized composed services
Elektronische Ressource, Paderborn, 2019Scheduling with scarce resources
Elektronische Ressource, Paderborn, 2017Secure use of open-source software
a systematic study and techniques for JavaElektronische Ressource, Paderborn, 2024Self-* Algorithms for distributed systems
programmable matter & overlay networksElektronische Ressource, Paderborn, 2017Selfish network creation
on variants of network creation gamesElektronische Ressource, Paderborn, 2016A simulation framework for connecting In-Body nano communication with Out-of-Body devices
Elektronische Ressource, Paderborn, 2020Simulative performance evaluation of a provably collision free approach for managing autonomous cars on urban intersections
Elektronische Ressource, Paderborn, 2020Situation-specific development of business models within software ecosystems
Elektronische Ressource, Paderborn, 2022Solving heterogeneity for a successful service market
Elektronische Ressource, Paderborn, 2017Specification and verification for real-time coordination protocols of cyber-physical systems
Elektronische Ressource, Paderborn, 2017Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Elektronische Ressource, Paderborn, 2024Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019