de
en
Close
Detailsuche
Bibliotheken
Projekt
Imprint
Privacy Policy
Close
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
jump to main content
Search Details
Quicksearch:
OK
Close
Document types
22
Entries for
Dissertation (PhD)
3
Entries for
Article in a collected edition
2
Entries for
Journal Article
1
Entries for
Monograph
Periods
12
Entries for
2001-2010
11
Entries for
2011-2020
5
Entries for
2021-2030
Authors / Collaborators
5
Entries for
Rammig, Franz Josef
4
Entries for
Engels, Gregor
3
Entries for
Meyer auf der Heide, Friedhelm
3
Entries for
Monien, Burkhard
2
Entries for
Böttcher, Stefan
2
Entries for
Dressler, Falko
2
Entries for
Hüllermeier, Eyke
2
Entries for
Kleine Büning, Hans
2
Entries for
Klingler, Florian
2
Entries for
Trächtler, Ansgar
2
Entries for
Wehrheim, Heike
1
Entries for
Becker, Steffen
1
Entries for
Beringer, Steffen
1
Entries for
Bruns, Torsten
1
Entries for
Budnik, Christof J.
1
Entries for
Casetti, Claudio
1
Entries for
Clémençon, Stephan
1
Entries for
Coleri, Sinem
1
Entries for
Dorigo, Marco
1
Entries for
Gausemeier, Jürgen
1
Entries for
Georgala, Kleanthi
1
Entries for
Haake, Claus-Jochen
1
Entries for
Haddenhorst, Björn
1
Entries for
Jungmann, Alexander
1
Entries for
Karl, Holger
1
Entries for
Kebbe, Dania Adnan el-
1
Entries for
Kerstan, Timo
1
Entries for
Khaluf, Yara
1
Entries for
Klobedanz, Kay
1
Entries for
Kolb, Martin
1
Entries for
Krummel, Volker
1
Entries for
Kruse, Daniel
1
Entries for
Künsemöller, Jörn
1
Entries for
Lehmann, Thomas
1
Entries for
Mehner, Katharina
1
Entries for
Mohr, Felix
1
Entries for
Ngonga Ngomo, Axel-Cyrille
1
Entries for
Oberthür, Simon
1
Entries for
Platzner, Marco
1
Entries for
Rettberg, Achim
1
Entries for
Röglin, Heiko
1
Entries for
Scheytt, Christoph
1
Entries for
Schreiber, Hendrik
1
Entries for
Schönberg, Sven
1
Entries for
Steinzen, Ingmar
1
Entries for
Tebrügge, Claas
1
Entries for
Timm, Nils
1
Entries for
Tscheuschner, Tobias
1
Entries for
Yigitbas, Enes
Show 39 more
Show first 10
Languages
24
Entries for
English
8
Entries for
German
28
Titles
in
Klassifikation (DDC)
→
Informatik, Informationswissenschaft, allgemeine Werke
→
Informatik, Wissen, Systeme
Classification
Close
Filters
jump to filter-options
Title
Persons
Place
Publisher
Year
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
All Titles
Klassifikation (DDC)
Informatik, Informationswissenschaft, allgemeine Werke
Informatik, Wissen, Systeme
Informatik, Informationswissenschaft, allgemeine Werke
Wissen
Das Buch
Systeme
Datenverarbeitung; Informatik
Computerprogrammierung, Programme, Daten
Spezielle Computerverfahren
Klassifikation (DDC)
→
Informatik, Informationswissenschaft, allgemeine Werke
→
Informatik, Wissen, Systeme
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
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, Vol. 1974, page 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), Vol. 1981, page 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, Vol. 1990, page 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 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
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
First page
Previous page
Go to pages
1 - 20
21 - 28
Next page
Last page