Search

Filters

Use filters to refine the search results.

Current Filters:



New Filters:

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

Now showing items 1-10 of 37

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

3rd Millennium BC Exchange Networks Between the Aegean and the Indus: Connecting the Dots on Archaeological Distribution Maps. In: Ünsal Yalcin (ed.), Anatololian Metal VIII. Bochum: Deutsches Bergbaumuseum 2018, 135-151. (Data Supplement)

Jablonka, Peter (Universität Tübingen, 2018)
The Relevance of Digital Humanities to the Analysis of late Medieval/Early Renaissance Music

Stoessel, Jason (Universität TübingenUniversität Tübingen, 2018-02-08)
Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches

Neubauer, Kai; Haubelt, Christian; Wanko, Philipp; Schaub, Torsten (Universität Tübingen, 2018-03-14)
On Search-Space Restriction for Design Space Exploration of Multi-/Many-Core Systems

Richthammer, Valentina; Glaß, Michael (Universität Tübingen, 2018-03-13)
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext

Winterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils; Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd (Universität TübingenUniversität Tübingen, 2018-03-13)
ScaLP: A Light-Weighted (MI)LP-Library

Sittel, Patrick; Schönwälder, Thomas; Kumm, Martin; Zipf, Peter (Universität Tübingen, 2018-03-13)
From DQBF to QBF by Dependency Elimination

Wimmer, Ralf; Karrenbauer, Andreas; Becker, Ruben; Scholl, Christoph; Becker, Bernd (Universität TübingenUniversität Tübingen, 2018-03-13)
Modellbasierte Analyse und Multikriterien-Optimierung komplexer Systemszenarien unter Anwendung von Methoden der Künstlichen Intelligenz

Mast, Johannes; Rädle, Stefan; Gerlach, Joachim (Universität Tübingen, 2018-03-13)
Routing Partial Permutations in General Interconnection Networks based on Radix Sorting

Jain, Tripti; Schneider, Klaus (Universität Tübingen, 2018-03-13)
Towards Automated Refinement of TLM Properties to RTL

Herdt, Vladimir; Le, Hoang M.; Grosse, Daniel; Drechsler, Rolf (Universität TübingenUniversität Tübingen, 2018-03-13)

Now showing items 1-10 of 37

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

Submit

Browse

All of DSpace
This Community

My Account

Filter

Department
Date Issued
- 2018 (37)
Dokument type
- InProceedings (Aufsatz / Paper einer Konferenz etc.) (37)
Top 10 Authors

Search

DSpace Repository

Search

Filters

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

Browse

All of DSpace

This Community

My Account

Filter

Department

Date Issued

Dokument type

Top 10 Authors