|
9811 |
Optimierung rückgekoppelter Hyperpermutationsnetzwerke Schwarz, Tilo, 2000
|
|
|
9812 |
Optimierung rückgekoppelter Hyperpermutationsnetzwerke Schwarz, Tilo, 2000
|
|
|
9813 |
Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen Heinlein, Christian, 2000, [Online-Ausg.]
|
|
|
9814 |
Analytische Maschinen Chadzelek, Thomas. - München : Utz, Wiss., 1999
|
|
|
9815 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
|
|
|
9816 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
|
|
|
9817 |
Case retrieval nets as a model for building flexible information systems Lenz, Mario, 1999
|
|
|
9818 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
|
|
|
9819 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
|
|
|
9820 |
Die Geschichte der Simulation Reifenrath, Andre, 1999
|
|