99 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Datenverarbeitung; Informatik 2
zu den Filteroptionen99 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Datenverarbeitung; Informatik
2
Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Elektronische Ressource, Paderborn, 2024
Speeding up random access machines by few processors
In: STACS 1986, Jg. 1986, S. 142-152Structured parallel programming with a highly concurrent programming language
In: Atti del Congresso dell'AICA / Associazione Italiana per il Calcolo Automatico, Jg. 1980, S. 279-294Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019Synthesis related aspects of simulation
In: The synthesis approach to digital system design, Jg. 1992, S. 303-334Systematik zur geschäftsmodellorientierten Technologiefrühaufklärung
Elektronische Ressource, Paderborn, 2017Time-efficient link discovery for data-driven applications
Elektronische Ressource, Paderborn, 2021Towards automated service composition under quality constraints
Elektronische Ressource, Paderborn, 2017Towards the MaSHReC manufacturing system under real time constraints
a contribution to the application of real time system advances to production control systems2002An universal hardware editor based on an algebraic model of the time-behaviour of digital circuits
In: Discrete Systems = Diskretnye Sistemy, Vol. 5: Section GH : analysis and simulation , IFAC-Symposium Discrete Systems : (Dresden) : 1977.03.14-19, Jg. 1977, S. 36-45User-centered tool design for data-flow analysis
Elektronische Ressource, Paderborn, 2019Using transaction import statements for integrity control optimization
In: Computer applications and design abstraction, 1992 / Energy Sources Technology Conference and Exhibition <1992, Houston, Tex.>, Jg. 1992, S. 91-98