|
9921 |
Werkzeug Objekt Runge, Wolfgang. - Flensburg : Zentrale Hochschulbibliothek Flensburg, 2001
|
|
|
9922 |
A uniform constraint-based framework for the verification of infinite state systems Mukhopadhyay, Supratik, 2000
|
|
|
9923 |
Adaptive Suchverfahren Schulz, Frank. - Aachen : Shaker, 2000, Als Ms. gedr.
|
|
|
9924 |
Analyzing demand in non-strict functional programming languages Schütz, Marko, 2000
|
|
|
9925 |
Beiträge zur statistischen Modellierung und effizienten Dekodierung in der automatischen Spracherkennung Willett, Daniel, 2000
|
|
|
9926 |
Beiträge zur statistischen Modellierung und effizienten Dekodierung in der automatischen Spracherkennung Willett, Daniel, 2000
|
|
|
9927 |
Case retrieval nets as a model for building flexible information systems Lenz, Mario. - Berlin : Akad. Verl.-Ges. Aka, 2000
|
|
|
9928 |
Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
|
|
|
9929 |
Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
|
|
|
9930 |
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice Kutzner, Arne, 2000
|
|