Sammlungen der UB Paderborn / Institut für Informatik [361-380]

Systematic development of model-based software engineering methods
Sauer, Stefan
2011
Systematik zur Datenanalyse in der betriebsdatengestützten Produktplanung
Panzner, Melina
Paderborn, 2025
Systematik zur Entwicklung von unternehmensspezifischen Rollenmodellen für das Advanced Systems Engineering
Grote, Eva-Maria
Paderborn, 2026
Systematik zur Leistungssteigerung von Fertigungsprozessen durch Process Mining
Brock, Jonathan Georg
Paderborn, 2025
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
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
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-efficient link discovery for data-driven applications
Georgala, Kleanthi ; Ngonga Ngomo, Axel-Cyrille ; Böttcher, Stefan
Elektronische Ressource, Paderborn, 2021
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
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 device driver synthesis
Lehmann, Thomas
2002
Towards feasible vehicular visible light communication
Tebrügge, Claas ; Dressler, Falko ; Coleri, Sinem ; Scheytt, Christoph ; Engels, Gregor ; Klingler, Florian
Elektronische Ressource, Paderborn, 2022
Gehe zu Seiten

Publizieren

Besondere Sammlungen

Digitalisierungsservice

Hilfe

Impressum

Datenschutz

Systematic development of model-based software engineering methods

Systematik zur Datenanalyse in der betriebsdatengestützten Produktplanung

Systematik zur Entwicklung von unternehmensspezifischen Rollenmodellen für das Advanced Systems Engineering

Systematik zur Leistungssteigerung von Fertigungsprozessen durch Process Mining

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

Systematische Analyse semantischer Abhängigkeiten

Szenariobasierte Synthese verteilter mechatronischer Systeme

Tamper resistance of AES

Task allocation in robot swarms for time-constrained tasks

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-efficient link discovery for data-driven applications

Timing Verifikation von AUTOSAR Softwarearchitekturen

A tool kit for knowledge based production planning systems

Towards an RTOS for self-optimizing mechatronic systems

Towards automated service composition under quality constraints

Towards device driver synthesis

Towards feasible vehicular visible light communication