702 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme
jump to filter-options702 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme
Solving heterogeneity for a successful service market
Elektronische Ressource, Paderborn, 2017
Solving 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-152Spezifikationstechnik 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 ;Structured parallel programming with a highly concurrent programming language
In: Atti del Congresso dell'AICA / Associazione Italiana per il Calcolo Automatico, Vol. 1980, page 279-294Strukturentstehung durch Verflechtung
Akteur-Netzwerk-Theorie(n) und AutomatismenMünchen [u.a.] : Fink, 2011Supporting participative systems development by task-oriented requirements analysis
In: SYSTEM DESIGN for Human Development and Productivity: Participation and Beyond, Vol. 1987, page 113-124Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019Synthesis related aspects of simulation
In: The synthesis approach to digital system design, Vol. 1992, page 303-334