|
37881 |
A uniform constraint-based framework for the verification of infinite state systems Mukhopadhyay, Supratik, 2000
|
|
|
37882 |
Access 2000 - Easy Schels, Ignatz. - München : Pearson Deutschland, 2000, 5. Aufl.
|
|
|
37883 |
Access 2000 Schels, Ignatz. - München : Markt-und-Technik-Verl., 2000, Neuaufl.
|
|
|
37884 |
Adaptive Suchverfahren Schulz, Frank. - Aachen : Shaker, 2000, Als Ms. gedr.
|
|
|
37885 |
Adaptive Suchverfahren Schulz, Frank O.. - Aachen : Shaker, 2000
|
|
|
37886 |
Als Arzt ins Internet Lindner, Hans-Otto. - Nürnberg : Novartis Pharma Verlag, Novartis Pharma GmbH, 2000, 2. Auflage
|
|
|
37887 |
Analyzing demand in non-strict functional programming languages Schütz, Marko, 2000
|
|
|
37888 |
Asembler Müller, Oliver. - Sofija : Izdat. Technika, 2000
|
|
|
37889 |
Automated Reasoning with Analytic Tableaux and Related Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 2000
|
|
|
37890 |
Beiträge zur statistischen Modellierung und effizienten Dekodierung in der automatischen Spracherkennung Willett, Daniel, 2000
|
|