|
37321 |
Human Oriented Proof Presentation: A Reconstructive Approach
Huang, Xiaorong. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
|
|
|
|
37322 |
Hyaluronsäurerezeptor-kontrollierte Proliferation von malignen Melanomen
Ahrens, Thomas. - Karlsruhe : KIT-Bibliothek, 1999
|
|
|
|
37323 |
Hydrogeologische und geotechnische Voraussetzungen für die Anlage von Standorten zur Lagerung radioaktiver Reststoffe unter Berücksichtigung des CONSOLID-Systems
Giurgea, Vlad. - Karlsruhe : KIT-Bibliothek, 1999
|
|
|
|
37324 |
Hydrolyse von Sodalith zur in situ Konditionierung saurer Porenwässer mit technischen Basen durch Neutralisation und Sekundärphasenbildung
Beuchle, G.. - Karlsruhe : KIT-Bibliothek, 1999
|
|
|
|
37325 |
Implementierung einiger OAM-Funktionen zur Evaluation der Sprache SDL und des Frameworks ObjectGEODE
Maerz, Peter. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 1999
|
|
|
|
37326 |
In-Medium-Streuung in K-Matrix-Näherung
Mehlmann, Tino. - Gießen : Universitätsbibliothek, 1999
|
|
|
|
37327 |
In vivo Modulation des Transkriptionsfaktors AP-1 durch Glucocorticoide
Tuckermann, Jan P.G.. - Karlsruhe : KIT-Bibliothek, 1999
|
|
|
|
37328 |
Integration of Rewriting, Narrowing, Compilation, and Heuristics for Equality Reasoning in Resolution-Based Theorem Proving
Präcklein, Axel. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
|
|
|
|
37329 |
Kerne, superschwere Elemente und Hyperkerne in einem chiralen SU(3)-Modell
Beckmann, Wolf Christian. - Frankfurt am Main : Univ.-Bibliothek Frankfurt am Main, 1999
|
|
|
|
37330 |
Konsistenz und Integrität in Workflows als Kontrollmechanismen dynamischer Änderungen
Herzberger, Thomas. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 1999
|
|
Administration
