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