Search

Filters

Use filters to refine the search results.

Current Filters:


New Filters:

Showing 10 out of a total of 298 results for community: TOBIAS-lib - Publikationen und Dissertationen. (1.562 seconds)

Now showing items 21-30 of 298

Previous Page
1
2
3
4
5
6
. . .
30
Next Page

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Verification of temporal properties in embedded softwareVerifikation von temporalen Eigenschaften in eingebetteter Software

Lettnin, Djones Vinicius (Universität Tübingen, 2009)
Orthogonal Graph Drawing with Constraints: Algorithms and ApplicationsOrthogonales Graphenzeichnen mit Nebenbedingungen: Algorithmen und Anwendungen

Siebenhaller, Martin (Universität Tübingen, 2009)
Logical Tomography - Exposing the Structural Constituents of LogicLogische Tomographie - Die Freilegung der Strukturellen Komponenten der Logik

Arndt, Michael (Universität Tübingen, 2008)
Algorithms and Tools for Genome Assembly and Metagenome AnalysisAlgorithmen und Werkzeuge für die Genomassemblierung und die Analyse von Metagenomen

Richter, Daniel (Universität Tübingen, 2009)
Compression of Static and Dynamic Three-Dimensional MeshesKompression statischer und dynamischer dreidimensionaler Netze

Amjoun, Rachida (Universität Tübingen, 2009)
Computational Methods for Personalized Cancer Therapy Based on Genomics DataComputergestützte Methoden für die Entwicklung von personalisierten Krebstherapien basierend auf genomischen Daten

Feldhahn, Magdalena (Universität Tübingen, 2012)
Advanced Methods for SAT SolvingAlternative Ansätze für das Lösen von SAT Instanzen

Kottler, Stephan (Universität Tübingen, 2012)
Erkennung von Fahrmanövern mit objektorientierten Bayes-Netzen in AutobahnszenarienObject-oriented Bayesian networks for driving maneuver recognition in highway scenarios

Kasper, Dietmar (Universität Tübingen, 2012)
Web-Based Science Gateways for Structural BioinformaticsWebbasierte Science Gateways für Strukturbioinformatik

Gesing, Sandra (Universität Tübingen, 2013)
Modelling and Learning Approaches to Image DenoisingModellierungs- und Lernverfahren für Bildentrauschung

Burger, Harold Christopher (Universität Tübingen, 2013)

Now showing items 21-30 of 298

Previous Page
1
2
3
4
5
6
. . .
30
Next Page

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Submit

Browse

All of DSpace
This Community

Search

DSpace Repository

Search

Showing 10 out of a total of 298 results for community: TOBIAS-lib - Publikationen und Dissertationen. (1.562 seconds)

Browse

All of DSpace

This Community

My Account

Filter

Department

Date Issued

Dokument type

Top 10 Authors