| SciPort RLP

Pham, Thai-Lai; Schneider, Georg; Goose, Stuart

Exploiting Location-Based Composite Devices to Support and Facilitate Situated Ubiquitous Computing.

HUC. 2000 S. 143 - 156

Hutter, Dieter; Langenstein, Bruno; Rock, Georg et al.

Formal software development in the Verification Support Environment (VSE).

J. Exp. Theor. Artif. Intell. Bd. 12. H. 4. 2000 S. 383 - 406

Hutter, Dieter; Rock, Georg; H. Siekmann, Jörg et al.

Formal Software Development in the Verification Support Environment (VSE).

FLAIRS. 2000 S. 367 - 376

Stüber, M.; Gemmar, Peter

Fuzzy System for Operational Flood Forecast

European Geophysical Society (EGS) Meeting, Nizza. 2000

Grawe, Gabriele D.; Threuter, Christina

Gute Stube, gute Form - neues Heim, neue Heimat: Vom Bauhaus zur Produkt- und Objektkultur in den 50ern

Trier: Dörrbecker 2000 115 S. (Kunsthalle der Europäischen Kunstakademie Trier)

Kümmerer, Klaus; Helmers, Eckard

Hospital effluents as a source of gadolinium in the aquatic environment

Helmers, Eckard. Bd. 34. H. 4. ACS Publications 2000 S. 573 - 577

Löhr, Dirk

Implementation prüfungsfähiger Risikomanagementsysteme - Anforderungen nach KonTraG

Der Steuerberater. Bd. August 2000. 2000 S. 312 - 318

Löhr, Dirk

Konsequente Neutralisierung der Liquiditätsprämie des Geldes - eine portfoliotheoretische Sichtweise

Zeitschrift für Sozialökonomie. Bd. 37. H. 124. 2000 S. 16 - 24

Struwe, J.

Kreditsicherheiten

Steuern - Bilanzen - Finanzen. Bd. Ergänzungslieferung I. Freiburg. 2000

Krieger, Rolf; Kuhn, Norbert

Lehreinheit Rechnernetze, Internet- und Intranet-Anwendungen II für das Fernstudium an Fachhochschulen

Ministerium für Bildung, Wissenschaft und Weiterbildung (Hrsg). Rheinland-Pfalz. 2000