|
4901 |
Werkzeug Objekt Runge, Wolfgang, 2001
|
|
|
4902 |
A uniform constraint-based framework for the verification of infinite state systems Mukhopadhyay, Supratik, 2000
|
|
|
4903 |
Adaptive Suchverfahren Schulz, Frank. - Aachen : Shaker, 2000, Als Ms. gedr.
|
|
|
4904 |
Analyzing demand in non-strict functional programming languages Schütz, Marko, 2000
|
|
|
4905 |
Beiträge zur statistischen Modellierung und effizienten Dekodierung in der automatischen Spracherkennung Willett, Daniel, 2000
|
|
|
4906 |
Case retrieval nets as a model for building flexible information systems Lenz, Mario. - Berlin : Akad. Verl.-Ges. Aka, 2000
|
|
|
4907 |
Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
|
|
|
4908 |
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice Kutzner, Arne, 2000
|
|
|
4909 |
Model generation for natural language interpretation and analysis Konrad, Karsten, 2000
|
|
|
4910 |
Optimierung rückgekoppelter Hyperpermutationsnetzwerke Schwarz, Tilo, 2000
|
|