144 Titles in Besondere Sammlungen → Veröffentlichungen der Universität → Heinz Nixdorf Institut (HNI) 1
jump to filter-options144 Titles in Besondere Sammlungen → Veröffentlichungen der Universität → Heinz Nixdorf Institut (HNI)
1
Specification and verification for real-time coordination protocols of cyber-physical systems
Elektronische Ressource, Paderborn, 2017
Specification 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-152Stereoskopische 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-294Supporting 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-334System level design
In: Fundamentals and standards in hardware description languages, Vol. 1993, page 109-151A systematic analysis and hardening of the Java security architecture
Elektronische Ressource, Paderborn, 2019Systematik zum Einstieg in die Plattformökonomie
Elektronische Ressource, Paderborn, 2021Systematik zur Digitalisierung von Produktprogrammen
Elektronische Ressource, Paderborn, 2021Systematik zur Entwicklung Leistungsstufen-basierter Industrie 4.0-Strategien
Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, [2024]Systematik zur Entwicklung von Smart Service-Strategien im produzierenden Gewerbe
Elektronische Ressource, Paderborn, 2021Systematik zur Erarbeitung modellbasierter Entwicklungsaufträge
Elektronische Ressource, Paderborn, 2016Systematik zur geschäftsmodellorientierten Technologiefrühaufklärung
Elektronische Ressource, Paderborn, 2017