|
9841 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
|
|
|
9842 |
Case retrieval nets as a model for building flexible information systems Lenz, Mario, 1999
|
|
|
9843 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
|
|
|
9844 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
|
|
|
9845 |
Die Geschichte der Simulation Reifenrath, Andre, 1999
|
|
|
9846 |
Empirische Diskursanalyse nach Foucault Fricke, Matthias, 1999
|
|
|
9847 |
Empirische Diskursanalyse nach Foucault Fricke, Matthias, 1999
|
|
|
9848 |
Entwicklung eines impulskodierenden neuronalen Netzes für die Segmentierung bewegter Szenen Schott, Ulrich, 1999
|
|
|
9849 |
On the design of IEEE compliant floating point units and their quantitative analysis Seidel, Peter-Michael, 1999
|
|
|
9850 |
Platten-Scheduling und stochastische Service-Garantien für multimediale Daten-Server Nerjes, Guido, 1999
|
|