6 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Computerprogrammierung, Programme, Daten 2
zu den Filteroptionen6 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Computerprogrammierung, Programme, Daten
2
Analysis and integration of Web 2.0 data sources into a system for analysis and storage of Artefact-Actor-Networks
Elektronische Ressource, Paderborn, 2010
Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations
Elektronische Ressource, Paderborn, 2022Efficient parallel branch-and-bound search on FPGAs using work stealing and instance-specific designs
Elektronische Ressource, Paderborn, 2019On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017Verifying concurrent programs under weak memory models
Elektronische Ressource, Paderborn, 2017