|
47391 |
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
|
|
|
|
47392 |
Kerne, superschwere Elemente und Hyperkerne in einem chiralen SU(3)-Modell
Beckmann, Wolf Christian. - Frankfurt am Main : Univ.-Bibliothek Frankfurt am Main, 1999
|
|
|
|
47393 |
Konsistenz und Integrität in Workflows als Kontrollmechanismen dynamischer Änderungen
Herzberger, Thomas. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 1999
|
|
|
|
47394 |
Konstante und variable Volatilitäten auf Finanzmärkten: Modellierung von Renditeverteilungen in finanzwirtschaftlichen Modellen und Implikationen für Risiken im Portfoliokontext mit unterschiedlichem Zeithorizont
Wilkens, Marco. - Augsburg : Universität Augsburg, 1999
|
|
|
|
47395 |
Konstruktion eines Dolmetschers
Spiegel, André. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 1999
|
|
|
|
47396 |
Konzeption und Implementierung einer Datenbank für Sprachsignal-Korpora
Quang, Phan. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 1999
|
|
|
|
47397 |
Konzeption und Implementierung einer Transformation semantischer Einheiten nach VHDL
Kalb, Hans-Peter. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 1999
|
|
|
|
47398 |
Konzeption und Realisierung einer webbasierten Applikation für die kundenspezifische Anbindung an ein Seminarverwaltungssystem
Schau, Martin. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 1999
|
|
|
|
47399 |
Kritik und Utopie - zur Figur des Kindes im Frühwerk Heinrich Bölls
Kloß, Mirjam. - Gießen : Universitätsbibliothek, 1999
|
|
|
|
47400 |
Ladungsausgleich langsamer, hochgeladener Ionen in dünnen Folien
Hattaß, Mirko. - Frankfurt am Main : Universitätsbibliothek Johann Christian Senckenberg, 1999
|
|
Administration
