Sammlungen der UB Paderborn / Informatik, Informationswissenschaft, allgemeine Werke [461-480]

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
Systematische Analyse semantischer Abhängigkeiten
Kastens, Uwe
In: Programmiersprachen / Fachtagung über Programmiersprachen, Jg. 4, S. 19-32
Systemgestaltung mit Aufgabennetzen
Keil-Slawik, Reinhard
In: Aufgabenorientierte Systemgestaltung und Funktionalität (Software-Ergonomie ... : '89), Jg. 1989, S. 123-133
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
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Timm, Nils
2013
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
A tool kit for knowledge based production planning systems
Böttcher, Stefan
In: Database and expert systems applications, Jg. 1990, S. 84-89
Topics in integrated vehicle and crew scheduling in public transport
Steinzen, Ingmar
2007
Towards an RTOS for self-optimizing mechatronic systems
Oberthür, Simon
2010
Towards automated service composition under quality constraints
Mohr, Felix ; Kleine Büning, Hans
Elektronische Ressource, Paderborn, 2017
Towards feasible vehicular visible light communication
Tebrügge, Claas ; Dressler, Falko ; Coleri, Sinem ; Scheytt, Christoph ; Engels, Gregor ; Klingler, Florian
Elektronische Ressource, Paderborn, 2022
Towards full virtualization of embedded real-time systems
Kerstan, Timo
2011
Towards On-The-Fly Image Processing
Jungmann, Alexander ; Rammig, Franz Josef ; Hüllermeier, Eyke
Elektronische Ressource, Paderborn, 2016
Gehe zu Seiten

Publizieren

Besondere Sammlungen

Digitalisierungsservice

Hilfe

Impressum

Datenschutz

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

Systematische Analyse semantischer Abhängigkeiten

Systemgestaltung mit Aufgabennetzen

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

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

Time-processor trade-offs for universal parallel computers

Timing Verifikation von AUTOSAR Softwarearchitekturen

A tool kit for knowledge based production planning systems

Topics in integrated vehicle and crew scheduling in public transport

Towards an RTOS for self-optimizing mechatronic systems

Towards automated service composition under quality constraints

Towards feasible vehicular visible light communication

Towards full virtualization of embedded real-time systems

Towards On-The-Fly Image Processing