Sammlungen der UB Paderborn / Informatik, Wissen, Systeme [661-680]

Systematik zur Steigerung der Intelligenz mechatronischer Systeme im Maschinen- und Anlagenbau
Iwanek, Peter Lukas ; Gausemeier, Jürgen ; Trächtler, Ansgar ; Dumitrescu, Roman
Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2017
Systematik zur strategischen Führung digitaler Plattformen in B2B-Märkten
Özcan, Leon
Paderborn, 2025
Systematische Analyse semantischer Abhängigkeiten
Kastens, Uwe
In: Programmiersprachen / Fachtagung über Programmiersprachen, Jg. 4, S. 19-32
Systematischer Entwurf digitaler Systeme
von der System- bis zur Gatter-Ebene
Rammig, Franz Josef
Stuttgart, 1989
Systematischer Entwurf eines 32-Bit Mikroprozessors als Ausbildungsaufgabe
Rammig, Franz Josef
In: Architektur und Betrieb von Rechensystemen, Jg. 9.1986, S. 44-55
Systemgestaltung mit Aufgabennetzen
Keil-Slawik, Reinhard
In: Aufgabenorientierte Systemgestaltung und Funktionalität (Software-Ergonomie ... : '89), Jg. 1989, S. 123-133
Szenariobasierte Synthese verteilter mechatronischer Systeme
Brenner, Christian ; Schäfer, Wilhelm ; Greenyer, Joel
Elektronische Ressource, Paderborn, 2016
Tamper resistance of AES
Models, attacks and countermeasures
Krummel, Volker
2007
Task allocation in robot swarms for time-constrained tasks
Khaluf, Yara
2014
Teilautomatisierte Parameteridentifikation für die Validierung von Dynamikmodellen im modellbasierten Entwurf mechatronischer Systeme
Kruse, Daniel ; Trächtler, Ansgar ; Gausemeier, Jürgen
Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2019
Test generation using event sequence graphs
Budnik, Christof J.
2007
Testaufwandsschätzung in der analytischen Qualitätssicherung
Schreiber, Hendrik
2015
Testing coherence and identifying winners in dueling bandits: theory and algorithms
Haddenhorst, Björn ; Hüllermeier, Eyke ; Clémençon, Stephan ; Kolb, Martin
Elektronische Ressource, Paderborn, 2023
The complexity of local max-cut
Tscheuschner, Tobias
2012
Theoretical foundation to model design decisions for hybrid (Human/AI) decision support systems
Kempkens, Eric ; Upadhyay, Anvit ; Wang, Zhongtian ; Stark, Rainer
In: 1st International Symposium : March 24 – 26, 2026, Heinz Nixdorf Institute, Paderborn University / is organized by the Chair for Product Creation at Heinz Nixdorf Institute ; Editors: Prof. Dr.-Ing. Iris Graessler (Paderborn University), Seite 61-70
Ein theoretisches Modell des Zeitverhaltens digitaler Schaltungen und seiner Anwendung in Simulationshard- und -software
Rammig, Franz Josef
In: Software Tagungsband NTG-Fachtagung Entwurfsautomatisierung für Datenverarbeitungsanlagen und deren Komponenten, Karlsruhe, 25, Jg. 1974, S. 65-68
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Timm, Nils
2013
Time-efficient link discovery for data-driven applications
Georgala, Kleanthi ; Ngonga Ngomo, Axel-Cyrille ; Böttcher, Stefan
Elektronische Ressource, Paderborn, 2021
Time-processor trade-offs for universal parallel computers
Meyer auf der Heide, Friedhelm
In: Mathematical foundations of computer science. 1975 : trbské Pleso, Czechoslovakia, August 31 - September 4, 1981 (Lecture notes in computer science : 118), Jg. 1981, S. 433-441
Timing Verifikation von AUTOSAR Softwarearchitekturen
Beringer, Steffen ; Wehrheim, Heike ; Engels, Gregor
Elektronische Ressource, Paderborn, 2022
Gehe zu Seiten

Publizieren

Besondere Sammlungen

Digitalisierungsservice

Hilfe

Impressum

Datenschutz

Systematik zur Steigerung der Intelligenz mechatronischer Systeme im Maschinen- und Anlagenbau

Systematik zur strategischen Führung digitaler Plattformen in B2B-Märkten

Systematische Analyse semantischer Abhängigkeiten

Systematischer Entwurf digitaler Systeme

Systematischer Entwurf eines 32-Bit Mikroprozessors als Ausbildungsaufgabe

Systemgestaltung mit Aufgabennetzen

Szenariobasierte Synthese verteilter mechatronischer Systeme

Tamper resistance of AES

Task allocation in robot swarms for time-constrained tasks

Teilautomatisierte Parameteridentifikation für die Validierung von Dynamikmodellen im modellbasierten Entwurf mechatronischer Systeme

Test generation using event sequence graphs

Testaufwandsschätzung in der analytischen Qualitätssicherung

Testing coherence and identifying winners in dueling bandits: theory and algorithms

The complexity of local max-cut

Theoretical foundation to model design decisions for hybrid (Human/AI) decision support systems

Ein theoretisches Modell des Zeitverhaltens digitaler Schaltungen und seiner Anwendung in Simulationshard- und -software

Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems

Time-efficient link discovery for data-driven applications

Time-processor trade-offs for universal parallel computers

Timing Verifikation von AUTOSAR Softwarearchitekturen