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