|
5831 |
Challenges and applications of assembly level software model checking Mehler, Tilman, 2005
|
|
|
5832 |
Chronicon pictum Meier, Claudia Annette. - Mainz : Chorus-Verl. für Kunst und Wiss., 2005, Erstveröff.
|
|
|
5833 |
Compensating hyperarticulation for automatic speech recognition Soltau, Hagen, 2005
|
|
|
5834 |
Complexity penalized segmentations in 2D Friedrich, Felix, 2005
|
|
|
5835 |
Compositional scheduling analysis using standard event models Richter, Kai Robert, 2005
|
|
|
5836 |
COMRADE Kasprzyk, Nico, 2005
|
|
|
5837 |
Control software for reconfigurable coprocessors Hinkelbein, Christian, 2005
|
|
|
5838 |
Creating ontology-based metadata by annotation for the semantic web Handschuh, Siegfried, 2005
|
|
|
5839 |
Das "buch von der natür vnd ey͏̈genfchafft der dingk" des Zisterziensermönchs Michael Baumann Berzeviczy, Klára, 2005
|
|
|
5840 |
Das Museum als Ort der Politik Kamp, Michael, 2005
|
|