|
1691 |
Parallelism constraints in underspecified semantics Erk, Katrin. - Saarbrücken : German Research Center for Artificial Intelligence, 2002
|
|
|
1692 |
Adaptive Suchverfahren Schulz, Frank. - Aachen : Shaker, 2000, Als Ms. gedr.
|
|
|
1693 |
Analyzing demand in non-strict functional programming languages Schütz, Marko, 2000
|
|
|
1694 |
Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
|
|
|
1695 |
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice Kutzner, Arne, 2000
|
|
|
1696 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
|
|
|
1697 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
|
|
|
1698 |
Design and implementation of the parallel functional language Eden Breitinger, Silvia, 1998
|
|
|
1699 |
Polymorphic type interference for object oriented programming languages Hense, Andreas V.. - Saarbrücken : Pirrot, 1994
|
|
|
1700 |
POCO, ein portables System zur Generierung portabler Compiler Eulenstein, Michael, 1983
|
|