|
47071 |
A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle
Kohlhase, Michael. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
|
|
|
|
47072 |
Abrechnung erbrachter Dienstleistungen in Mobile-Agenten-Systeme
Tränkle, Sven. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 1999
|
|
|
|
47073 |
Algebraische und konforme Quantenfeldtheorie
Schmidt, Andreas U.. - Frankfurt am Main : Univ.-Bibliothek Frankfurt am Main, 1999
|
|
|
|
47074 |
Alkylphosphocholine - eine neue Klasse von Antitumormitteln: Untersuchungen zum biochemischen Wirkungsmechanismus
Matzke, Astrid. - Karlsruhe : KIT-Bibliothek, 1999
|
|
|
|
47075 |
Analoge Auslese- und Triggerelektronik für Mikrostreifen-Gaszähler
Glass, Boris. - Heidelberg : Universitätsbibliothek Heidelberg, 1999
|
|
|
|
47076 |
Analyse der Eigenschaften von assoziativen Speichern für die Mustererkennung
Bässler, Martin. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 1999
|
|
|
|
47077 |
Analyse und Einstellung des Sauerstoffgehaltes an dem Hochtemperatursupraleiter YBa2Cu3O6+X
Kreß, Markus. - Frankfurt am Main : Univ.-Bibliothek Frankfurt am Main, 1999
|
|
|
|
47078 |
Analyse von Finanzdaten mit neuronalem Data-Mining
Langsdorf, Timm Sebastian. - Frankfurt am Main : Univ.-Bibliothek Frankfurt am Main, 1999
|
|
|
|
47079 |
Angriffe auf das GGH-Kryptosystem mittels Gitterreduktion in Blöcken
Koy, Henrik. - Frankfurt am Main : Univ.-Bibliothek Frankfurt am Main, 1999
|
|
|
|
47080 |
Anwendung der Hochleistungsimpuls- und Mikrowellentechnik zur Herstellung nanokristalliner Pulver und Festkörper
Weisenburger, Alfons. - Karlsruhe : KIT-Bibliothek, 1999
|
|
Administration
