|
9931 |
Analytische Maschinen Chadzelek, Thomas. - München : Utz, Wiss., 1999
|
|
|
9932 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
|
|
|
9933 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
|
|
|
9934 |
Case retrieval nets as a model for building flexible information systems Lenz, Mario, 1999
|
|
|
9935 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
|
|
|
9936 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
|
|
|
9937 |
Die Geschichte der Simulation Reifenrath, Andre, 1999
|
|
|
9938 |
Empirische Diskursanalyse nach Foucault Fricke, Matthias, 1999
|
|
|
9939 |
Empirische Diskursanalyse nach Foucault Fricke, Matthias, 1999
|
|
|
9940 |
Entwicklung eines impulskodierenden neuronalen Netzes für die Segmentierung bewegter Szenen Schott, Ulrich, 1999
|
|