|
3831 |
Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
|
|
|
3832 |
Optimierung rückgekoppelter Hyperpermutationsnetzwerke Schwarz, Tilo, 2000
|
|
|
3833 |
Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen Heinlein, Christian, 2000, [Online-Ausg.]
|
|
|
3834 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
|
|
|
3835 |
Case retrieval nets as a model for building flexible information systems Lenz, Mario, 1999
|
|
|
3836 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
|
|
|
3837 |
Empirische Diskursanalyse nach Foucault Fricke, Matthias, 1999
|
|
|
3838 |
On some promise classes in structural complexity theory Rothe, Jörg, 1995
|
|