Wyniki wyszukiwania:

This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007. Among the topics of this volume are formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.

Der Manichaismus hatte den Anspruch, eine Weltreligion zu sein. Die Frage der Ubersetzung der heiligen Schriften war deshalb hier von
groter Bedeutung. Die zwolf Studien dieses Bandes untersuchen die sprachliche und kulturelle Vielfalt und die sprachlichen Eigenarten
von Ubersetzungstexten des ostlichen Manichaismus. Der Band hat sowohl fur die Religionswissenschaften als auch fur die Kultur- und
Sprachkontaktforschung hohe Relevanz.

Die Phytomedizin spielt im Hinblick auf die Sicherung der Welternahrung eine immer wichtigere Rolle. Dieses Buch fuhrt in kompakter Weise in die Phytomedizin ein: Welche Schaden an Pflanzen gibt es? Was kann die Phytomedizin dagegen tun? Wie funktioniert die Interaktion zwischen Pflanzen und Schadorganismen? Die 8., neu bearbeitete Auflage dieses Klassikers berucksichtigt die neuesten Erkenntnisse auf dem Gebiet der Phytomedizin.

Kult-Krimi aus Ostfriesland: Das originale Escape-Krimi-Spiel in der praktischen Kartenbox 

Ein spannendes Escape-Krimi-Game an der Wirkungsstätte von Ann Kathrin Klaasen mit vielen bekanten Figuren und Schauplätzen aus der Erfolgsserie des Bestseller-Autoren Klaus-Peter Wolf. Eine interaktive Ergänzung zum Krimi-Kosmos der beliebten Ostfriesland-Krimis. Zum Um-die-Ecke-denken: Hier sind Kreativität und Kombinationsgeschick gefragt

• Ein interaktiver Krimi für 1-4 Spieler ab 12 Jahren: Spaß für einen allein oder die ganze...

Die Anfangerubungen in der Universitatsausbildung sind - als Voraussetzung fur die Zulassung zu den Ubungen fur Fortgeschrittene - nach wie vor an zahlreichen Universitaten wichtige Ausbildungsabschnitte. An den Universitaten, die die Anfangerubungen abgeschafft haben, verlagert sich das Schwergewicht automatisch auf die Ubungen fur Fortgeschrittene. Gleichwohl halt sich der "Examensdruck" in den Ubungen in einem ertraglichen Ma, da die Ubungen bis zum erfolgreichen Abschluss wiederholt werden konnten und konnen.

Mit Einfuhrung der Zwischenprufung hat sich die Ausbildungslage...