Skip navigation
OSNADOCS
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
Help
Help
Basics
osnaDocs repository Guidelines
osnaDocs-FAQ
ORCID
Open Access Policy of the University Osnabrück
Guideline "Good scientific practice"
For Authors
Deposit License
Handout for University Publications
Step-by-Step Directions: University Publications
Handout for E-dissertations
Step-by-Step Directions: E-Dissertations
Instructions for creating PDF/A-files
Quality Control
Publishers' Open-Access and self-archiving policies
Email us...
Language
Deutsch
English
Sign on to
My osnaDocs
Receive email
updates
Edit Profile
suchen
osnaDocs
Search
Search:
All content
Fachbereich 06 - Mathematik / Informatik / Physik
FB06 - E-Dissertationen
FB06 - Hochschulschriften
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
|
Sort items by
Relevance
Title
Issue Date
In order
Ascending
Descending
Authors/record
All
1
5
10
15
20
25
30
35
40
45
50
Results 1-3 of 3 (Search time: 0.015 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
29-Apr-2015
Verknüpfung von formaler Verifikation und modellgetriebener Entwicklung
Ammann, Christian
9-Oct-2015
Paralleles konturbasiertes Connected-Component-Labeling für 2D-Bilddaten mit OpenCL und Cuda
Wenke, Henning
28-Oct-2015
Scheduling of flow shops with synchronous movement
Waldherr, Stefan
Discover
Author
1
Ammann, Christian
1
Waldherr, Stefan
1
Wenke, Henning
Subject
1
2D-Bilddaten
1
510 - Mathematik
1
Combinatorial Optimization
1
Compilerbau
1
Connected-Component-Labeling
1
Cuda
1
Formale Verifikation
1
GPU
1
Konturerkennung
1
MDD
.
next >