|
9871 |
Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
|
|
|
9872 |
Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
|
|
|
9873 |
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice Kutzner, Arne, 2000
|
|
|
9874 |
Model generation for natural language interpretation and analysis Konrad, Karsten, 2000
|
|
|
9875 |
Musik zwischen Komponist, Verlag und Publikum Beer, Axel. - Tutzing : Schneider, 2000
|
|
|
9876 |
Optimierung rückgekoppelter Hyperpermutationsnetzwerke Schwarz, Tilo, 2000
|
|
|
9877 |
Optimierung rückgekoppelter Hyperpermutationsnetzwerke Schwarz, Tilo, 2000
|
|
|
9878 |
Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen Heinlein, Christian, 2000, [Online-Ausg.]
|
|
|
9879 |
Analytische Maschinen Chadzelek, Thomas. - München : Utz, Wiss., 1999
|
|
|
9880 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
|
|