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
1
Entries for
Bachelor Thesis
1
Entries for
Dissertation (PhD)
1
Entries for
Master Thesis
Authors / Collaborators
1
Entries for
Dressler, Falko
1
Entries for
Franke, Mario
1
Entries for
Isenberg, Tobias
1
Entries for
Karl, Holger
1
Entries for
Magenheim, Johannes
1
Entries for
Niggemann, Oliver
1
Entries for
Plessl, Christian
1
Entries for
Reinhardt, Wolfgang
1
Entries for
Wehrheim, Heike
1
Entries for
Wilke, Adrian
Languages
2
Entries for
English
1
Entries for
German
3
Titles
in
Klassifikation (DDC)
→
Informatik, Informationswissenschaft, allgemeine Werke
→
Informatik, Wissen, Systeme
→
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
Systeme
Induction-based Verification of Timed Systems
Isenberg, Tobias
;
Wehrheim, Heike
;
Niggemann, Oliver
Elektronische Ressource, Paderborn, 2016
INSPIRE: Insight to scientific publications and references
Verteilte Berechnung von Bibliometriken auf großen Datenmengen
Wilke, Adrian
;
Reinhardt, Wolfgang
;
Magenheim, Johannes
;
Plessl, Christian
Elektronische Ressource, Paderborn, 2013
Interactive driving simulator for Car2X scenarios
Franke, Mario
;
Dressler, Falko
;
Karl, Holger
Elektronische Ressource, Paderborn, 2018