|
45291 |
Automated Reasoning with Analytic Tableaux and Related Methods
Berlin, Heidelberg : Springer Berlin Heidelberg, 2000
|
|
|
45292 |
Beiträge zur statistischen Modellierung und effizienten Dekodierung in der automatischen Spracherkennung
Willett, Daniel, 2000
|
|
|
|
45293 |
Beiträge zur statistischen Modellierung und effizienten Dekodierung in der automatischen Spracherkennung
Willett, Daniel, 2000
|
|
|
|
45294 |
Bilddatenkompression
Strutz, Tilo. - Wiesbaden : Vieweg+Teubner Verlag, 2000
|
|
|
|
45295 |
Case retrieval nets as a model for building flexible information systems
Lenz, Mario. - Berlin : Akad. Verl.-Ges. Aka, 2000
|
|
|
|
45296 |
Coupling distributed Fortran applications using C++ wrappers and the corba sequence type
Slawig, Thomas. - [Potsdam] : [PIK], 2000, [Online-Ausg.]
|
|
|
|
45297 |
Coupling distributed Fortran applications using C++ wrappers and the corba sequence type
Slawig, Thomas. - Potsdam : PIK, 2000
|
|
|
|
45298 |
Datenbanken — leicht Gemacht
Wiesbaden : Vieweg+Teubner Verlag, 2000
|
|
|
|
45299 |
Ein Berechnungsmodell für situatives Agieren
Weiser, Thomas, 2000
|
|
|
|
45300 |
Ein Berechnungsmodell für situatives Agieren
Weiser, Thomas, 2000
|
|
Administration
