|
6001 |
Optimierung rückgekoppelter Hyperpermutationsnetzwerke Schwarz, Tilo, 2000
|
|
|
6002 |
Analytische Maschinen Chadzelek, Thomas. - München : Utz, Wiss., 1999
|
|
|
6003 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
|
|
|
6004 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
|
|
|
6005 |
Die Geschichte der Simulation Reifenrath, Andre, 1999
|
|
|
6006 |
Empirische Diskursanalyse nach Foucault Fricke, Matthias, 1999
|
|
|
6007 |
Entwicklung eines impulskodierenden neuronalen Netzes für die Segmentierung bewegter Szenen Schott, Ulrich, 1999
|
|
|
6008 |
On the design of IEEE compliant floating point units and their quantitative analysis Seidel, Peter-Michael, 1999
|
|
|
6009 |
Platten-Scheduling und stochastische Service-Garantien für multimediale Daten-Server Nerjes, Guido, 1999
|
|
|
6010 |
Ressourcenadaptierende Raumbeschreibung Blocher, Anselm, 1999
|
|