Search

Filters

Use filters to refine the search results.

Now showing items 1-10 of 1084

Synthesis of ATM switch controller modules with the protocol compiler from Synopsis

Lange, Walter; Rosenstiel, Wolfgang (Universität Tübingen, 2000)
RAVEN: real-time analyzing and verification environment

Ruf, Jürgen (Universität Tübingen, 2000)
Festschrift zum 60. Geburtstag von Wolfgang Strasser

Tübingen / Wilhelm-Schickard-Institut für Informatik (Universität Tübingen, 2001)
CIS: A Web-Based Course Information System

Gast, Holger; Haug, Albrecht; Loos, Rüdiger; Simonis, Volker; Weiss, Roland (Universität Tübingen, 2004)
Graph separators - a parameterized view

Alber, Jochen; Fernau, Henning; Niedermeier, Rolf (Universität Tübingen, 2001)
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)
Fast distance field interpolation for reconstruction of surfaces from contoursure

Schilling, Andreas G.; Klein, Reinhard (Universität Tübingen, 1999)
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)