|
4861 |
Parallelism constraints in underspecified semantics Erk, Katrin. - Saarbrücken : German Research Center for Artificial Intelligence, 2002
|
|
|
4862 |
Average-case complexity of shortest-paths problems Priebe, Volker, 2001
|
|
|
4863 |
Efficient combination of ranked result sets in multi-feature applications Balke, Wolf-Tilo, 2001
|
|
|
4864 |
Werkzeug Objekt Runge, Wolfgang, 2001
|
|
|
4865 |
A uniform constraint-based framework for the verification of infinite state systems Mukhopadhyay, Supratik, 2000
|
|
|
4866 |
Adaptive Suchverfahren Schulz, Frank. - Aachen : Shaker, 2000, Als Ms. gedr.
|
|
|
4867 |
Analyzing demand in non-strict functional programming languages Schütz, Marko, 2000
|
|
|
4868 |
Beiträge zur statistischen Modellierung und effizienten Dekodierung in der automatischen Spracherkennung Willett, Daniel, 2000
|
|
|
4869 |
Case retrieval nets as a model for building flexible information systems Lenz, Mario. - Berlin : Akad. Verl.-Ges. Aka, 2000
|
|
|
4870 |
Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
|
|