|
23491 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme
Kauer, Stefan, 1999
|
|
|
|
23492 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory
Rothe, Jörg, 1999
|
|
|
|
23493 |
Die Geschichte der Simulation
Reifenrath, Andre, 1999
|
|
|
|
23494 |
Entwicklung eines impulskodierenden neuronalen Netzes für die Segmentierung bewegter Szenen
Schott, Ulrich, 1999
|
|
|
|
23495 |
On the design of IEEE compliant floating point units and their quantitative analysis
Seidel, Peter-Michael, 1999
|
|
|
|
23496 |
Platten-Scheduling und stochastische Service-Garantien für multimediale Daten-Server
Nerjes, Guido, 1999
|
|
|
|
23497 |
Ressourcenadaptierende Raumbeschreibung
Blocher, Anselm, 1999
|
|
|
|
23498 |
Tagging and parsing with cascaded Markov models
Brants, Thorsten. - Saarbrücken : Univ., Department of Computational Lingustistics and Phonetics, 1999
|
|
|
|
23499 |
Design and implementation of the parallel functional language Eden
Breitinger, Silvia, 1998
|
|
|
|
23500 |
Ein Standard-File für 3D-Gebietsbeschreibungen
Lohse, Dag. - Chemnitz : SFB 393, 1998
|
|
Administration
