143 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Datenverarbeitung; Informatik 1
jump to filter-options143 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Datenverarbeitung; Informatik
1
Responsive positioning
a user interface technique based on structured spaceElektronische Ressource, Paderborn, 2018
Robustifying machine learning through weakening supervision
Elektronische Ressource, Paderborn, 2023Safety requirements engineering for early SIL tailoring
Elektronische Ressource, Paderborn, 2019SDI considered harmful
Ansätze zum Umdenken in der SoftwaretechnikIn: Die Zukunft der Informationssysteme, Vol. 1986, page 634-643Secure use of open-source software
a systematic study and techniques for JavaElektronische Ressource, Paderborn, 2024Selfish 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, 2019Simulation digitaler Systeme auf verschiedenen Abstraktionsebenen
In: Fachgespräche auf der 14. GI-Jahrestagung, Vol. 1984, page 28-36Solving linear graphical constraint expressions
In: Human-computer interaction / International Conference on Human Computer Interaction <5, 1993, Orlando, Fla.>, Vol. 3.1993 Poster session, 267 pagesSpecification 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, 2024Speeding up random access machines by few processors
In: STACS 1986, Vol. 1986, page 142-152Structured parallel programming with a highly concurrent programming language
In: Atti del Congresso dell'AICA / Associazione Italiana per il Calcolo Automatico, Vol. 1980, page 279-294Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019