|
2941 |
Ein Berechnungsmodell für situatives Agieren
Weiser, Thomas, 2000
|
|
|
2942 |
Ein Berechnungsmodell für situatives Agieren
Weiser, Thomas, 2000
|
|
|
|
2943 |
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice
Kutzner, Arne, 2000
|
|
|
|
2944 |
Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen
Heinlein, Christian, 2000, [Online-Ausg.]
|
|
|
|
2945 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme
Kauer, Stefan, 1999
|
|
|
|
2946 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme
Kauer, Stefan, 1999
|
|
|
|
2947 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory
Rothe, Jörg, 1999
|
|
|
|
2948 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory
Rothe, Jörg, 1999
|
|
|
|
2949 |
Design and implementation of the parallel functional language Eden
Breitinger, Silvia, 1998
|
|
|
|
2950 |
Polymorphic type interference for object oriented programming languages
Hense, Andreas V.. - Saarbrücken : Pirrot, 1994
|
|
Administration
