Search

Filters

Use filters to refine the search results.

Now showing items 1-10 of 130

Formal Language Characterizations of P, NP, and PSPACE

Borchert, Bernd (Universität Tübingen, 2003)
Decentralized algorithms for evaluating centrality in complex networks

Lehmann, Katharina A.; Kaufmann, Michael (Universität Tübingen, 2003)
Improved Collision Detection and Response Techniques for Cloth Animation

Mezger, Johannes; Kimmerle, Stefan; Etzmuß, Olaf (Universität Tübingen, 2002)
RAVEN: real-time analyzing and verification environment

Ruf, Jürgen (Universität Tübingen, 2000)
The Tecton Concept Library

Musser, David R.; Schupp, Sibylle; Schwarzweller, Christoph; Loos, Rüdiger (Universität Tübingen, 1999)
On parameterized enumeration

Fernau, Henning (Universität Tübingen, 2001)
Parameterized maximization

Fernau, Henning (Universität Tübingen, 2001)
Effiziente Generierung von Zustandsautomaten mit integriertem Datenpfad aus taktgebundenen VHDL-Verhaltensbeschreibungen

Lange, Walter (Universität Tübingen, 2000)
Synthesis of ATM switch controller modules with the protocol compiler from Synopsis

Lange, Walter; Rosenstiel, Wolfgang (Universität Tübingen, 2000)
The dot-depth and the polynomial hierarchy correspond on the delta levels

Borchert, Bernd; Lange, Klaus-Joern; Stephan, Frank; Tesson, Pascal; Therien, Denis (Universität Tübingen, 2004)

Now showing items 1-10 of 130