5 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme
Klassifikation
Schliessen
Filter
2

Cooperative Android App analysis
Pauck, Felix ; Wehrheim, Heike ; Bodden, Eric
Elektronische Ressource, Paderborn, 2023
Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware
Wiersema, Tobias ; Platzner, Marco ; Wehrheim, Heike ; Andrews, David ; Meyer auf der Heide, Friedhelm ; Somorovsky, Juraj
Elektronische Ressource, Paderborn, 2021
On the membership and correctness problem for state serializability and value opacity
König, Jürgen ; Wehrheim, Heike
Elektronische Ressource, Paderborn, 2023
On-The-Fly Computing
Individualized IT-services in dynamic markets : Collaborative Research Centre 901 (2011 - 2023)
Haake, Claus-Jochen (Hrsg.) ; Meyer auf der Heide, Friedhelm (Hrsg.) ; Platzner, Marco (Hrsg.) ; Wachsmuth, Henning (Hrsg.) ; Wehrheim, Heike (Hrsg.)
Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, 2023
Timing Verifikation von AUTOSAR Softwarearchitekturen
Beringer, Steffen ; Wehrheim, Heike ; Engels, Gregor
Elektronische Ressource, Paderborn, 2022

Detailsuche