284 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme 2
zu den Filteroptionen284 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme
2
Routing and scheduling for home care services
solution approaches for static and dynamic settingsElektronische Ressource, Paderborn, 2016
Safety 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, 2016Selfish network creation
on variants of network creation gamesElektronische Ressource, Paderborn : Heinz Nixdorf Institut Paderborn, Universität Paderborn, 2016, ©2016Set-Valued prediction for Part-of-Speech tagging
Elektronische Ressource, Paderborn, 2019A 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, 2022Soft clustering algorithms
theoretical and practical improvementsElektronische Ressource, Paderborn, 2017Solving 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, 2024Spezifikationstechnik zur Beschreibung und Analyse von Wertschöpfungssystemen
Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2018Standardisierung und Naturalisierung
Elektronische Ressource, Paderborn : Wilhelm Fink, 2021