280 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme 1
zu den Filteroptionen280 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme
1
Scaling static whole-program analysis to modern C and C++ software development
statically analyzing C and C++ software with PhASARPaderborn, 2024
Scaling, 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, 2021Stereoskopische Korrespondenzbestimmung mit impliziter Detektion von Okklusionen
Elektronische Ressource, Paderborn, 2016 ;Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019A system-level design framework for networked driving simulation
Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2018