|
6081 |
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice Kutzner, Arne, 2000
|
|
|
6082 |
Model generation for natural language interpretation and analysis Konrad, Karsten, 2000
|
|
|
6083 |
Musik zwischen Komponist, Verlag und Publikum Beer, Axel. - Tutzing : Schneider, 2000
|
|
|
6084 |
Optimierung rückgekoppelter Hyperpermutationsnetzwerke Schwarz, Tilo, 2000
|
|
|
6085 |
Analytische Maschinen Chadzelek, Thomas. - München : Utz, Wiss., 1999
|
|
|
6086 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
|
|
|
6087 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
|
|
|
6088 |
Die Geschichte der Simulation Reifenrath, Andre, 1999
|
|
|
6089 |
Empirische Diskursanalyse nach Foucault Fricke, Matthias, 1999
|
|
|
6090 |
Entwicklung eines impulskodierenden neuronalen Netzes für die Segmentierung bewegter Szenen Schott, Ulrich, 1999
|
|