|
1981 |
Datalog on infinite structures Schwandtner, Goetz, 2008
|
|
|
1982 |
Decidability for non-standard conversions in typed lambda-calculi Barral, Freiric, 2008
|
|
|
1983 |
Deep integration of the OWL ontology language into Ruby using metaprogramming Mainz, Dominic, 2008
|
|
|
1984 |
Definition und Realisierung einer Plattform zur modellbasierten Komposition von Simulationsmodellen Röhl, Mathias, 2008
|
|
|
1985 |
Der Aufbau öffentlicher Bibliotheken nach 1989 in den neuen Bundesländern Kasch, Petra. - Berlin : Humboldt-Universität zu Berlin, 2008
|
|
|
1986 |
Describing and simulating dynamic reconfiguration in systemC exemplified by a dedicated 3D collision detection hardware Raabe, Andreas, 2008
|
|
|
1987 |
Describing differences between overlapping databases Müller, Heiko, 2008, [Online-Ausg.]
|
|
|
1988 |
Design and implementation of a multi-class network architecture for hardware neural networks Philipp, Stefan, 2008
|
|
|
1989 |
Design and Verification of Video Quality Metrics Oelbaum, Tobias. - München : Universitätsbibliothek der TU München, 2008
|
|
|
1990 |
Designing and enacting cross organisational business processes Roser, Stephan, 2008
|
|