144 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Heinz Nixdorf Institut (HNI) 1
zu den Filteroptionen144 Titel 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, Jg. 1986, S. 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, Jg. 1980, S. 279-294Supporting participative systems development by task-oriented requirements analysis
In: SYSTEM DESIGN for Human Development and Productivity: Participation and Beyond, Jg. 1987, S. 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, Jg. 1992, S. 303-334System level design
In: Fundamentals and standards in hardware description languages, Jg. 1993, S. 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