73 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Heinz Nixdorf Institut (HNI) KlassifikationSchliessenFilter
zu den Filteroptionen73 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Heinz Nixdorf Institut (HNI)
Klassifikation
Schliessen
Filter
Safety requirements engineering for early SIL tailoring
Fockel, Markus ; Bodden, Eric ; Greenyer, JoelElektronische Ressource, Paderborn, 2019Schwingungsanalyse von instationären Wälzlagern in Continuous Motion Maschinen
Bauer, Manuel ; Wagner, Fabian ; Kley, MarkusIn: Fachtagung Mechatronik 2019, S. 161-166Elektronische Ressource,SDI considered harmful
Ansätze zum Umdenken in der SoftwaretechnikKeil-Slawik, ReinhardIn: Die Zukunft der Informationssysteme, Jg. 1986, S. 634-643Secure use of open-source software
a systematic study and techniques for JavaDann, Andreas Peter ; Bodden, Eric ; Hermann, BenElektronische Ressource, Paderborn, 2024Selfish network creation
on variants of network creation gamesCord-Landwehr, Andreas ; Meyer auf der Heide, Friedhelm ; Skopalik, AlexanderElektronische Ressource, Paderborn, 2016Selfish network creation
on variants of network creation gamesCord-Landwehr, AndreasElektronische Ressource, Paderborn : Heinz Nixdorf Institut Paderborn, Universität Paderborn, 2016, ©2016Simulating probabilistic by deterministic algebraic computation trees
Meyer auf der Heide, FriedhelmIn: Theoretical Computer Science, Jg. 1985, S. 325-330Simulation digitaler Systeme auf verschiedenen Abstraktionsebenen
Rammig, Franz JosefIn: Fachgespräche auf der 14. GI-Jahrestagung, Jg. 1984, S. 28-36Simulation von Cyber-Physischen Produktionssystemen in einer Forschungsinfrastruktur
Gräßler, Iris ; Pöhler, AlexanderIn: Fachtagung Mechatronik 2019, S. 149-154Elektronische Ressource,Simulative performance evaluation of a provably collision free approach for managing autonomous cars on urban intersections
Artmann, Matthias ; Sommer, Christoph ; Meyer auf der Heide, FriedhelmElektronische Ressource, Paderborn, 2020Sind Computer lebendig?
Eine kritische LiteraturuntersuchungKeil-Slawik, ReinhardIn: Computer-Magazin, Jg. 3.1986, S. 63-64Software-Entwicklung als Lernprozeß
Keil-Slawik, ReinhardIn: Arbeitsrecht im Betrieb, Jg. 1993, S. 507-514Softwaretechnik
Defizite und Chancen aus BenutzersichtKeil-Slawik, ReinhardIn: Software : Schnittstelle zwischen Mensch und Maschine (Informations- und Kommunikationstechnik : 1), Jg. 1989, S. 89-104Specification and verification for real-time coordination protocols of cyber-physical systems
Dziwok, Stefan ; Schäfer, Wilhelm ; Tichy, MatthiasElektronische Ressource, Paderborn, 2017Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Koch, Thorsten ; Bodden, Eric ; Jager, TiborElektronische Ressource, Paderborn, 2024Speeding up random access machines by few processors
Meyer auf der Heide, FriedhelmIn: STACS 1986, Jg. 1986, S. 142-152Spezifikationstechnik zur Beschreibung und Analyse von Wertschöpfungssystemen
Schneider, Marcel ; Gausemeier, Jürgen ; Dumitrescu, RomanElektronische Ressource, Paderborn, 2018Spezifikationstechnik zur Beschreibung und Analyse von Wertschöpfungssystemen
Schneider, Marcel ; Gausemeier, Jürgen ; Dumitrescu, RomanElektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2018Stereoskopische Korrespondenzbestimmung mit impliziter Detektion von Okklusionen
Trapp, Ralph ; Hartmann, Georg ; Rückert, UlrichElektronische Ressource, Paderborn, 2016 ;