|
20261 |
Analytische Maschinen Chadzelek, Thomas. - München : Utz, Wiss., 1999
|
|
|
20262 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
|
|
|
20263 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
|
|
|
20264 |
Entwicklung eines impulskodierenden neuronalen Netzes für die Segmentierung bewegter Szenen Schott, Ulrich, 1999
|
|
|
20265 |
On the design of IEEE compliant floating point units and their quantitative analysis Seidel, Peter-Michael, 1999
|
|
|
20266 |
Platten-Scheduling und stochastische Service-Garantien für multimediale Daten-Server Nerjes, Guido, 1999
|
|
|
20267 |
Ressourcenadaptierende Raumbeschreibung Blocher, Anselm, 1999
|
|
|
20268 |
Tagging and parsing with cascaded Markov models Brants, Thorsten. - Saarbrücken : Univ., Department of Computational Lingustistics and Phonetics, 1999
|
|
|
20269 |
Design and implementation of the parallel functional language Eden Breitinger, Silvia, 1998
|
|
|
20270 |
Ein Standard-File für 3D-Gebietsbeschreibungen Lohse, Dag. - Chemnitz : SFB 393, 1998
|
|