At least four research fields detennine the theoretical background of specification and deduction in computer science: recursion theory, automated theorem proving, abstract data types and tenn rewriting systems. As these areas approach...

"Asiengeschäfte mit Erfolg: Leitfaden und Checklisten für Südostasien" von Sung-Hee Lee ist ein praxisorientierter Ratgeber, der sich an Geschäftsleute und Unternehmer richtet, die in den südostasiatischen Markt eintreten möchten. Das...

Das "Lexikon der Syndrome und Fehlbildungen: Ursachen, Genetik und Risiken" von Eva Ullrich ist ein umfassendes Nachschlagewerk, das sich mit verschiedenen genetischen Syndromen und Fehlbildungen befasst. Es bietet detaillierte...

Sie wollen mit Konflikten (noch) besser umgehen können? Sie möchten wissen, wie Sie Ihre Interessen umsetzen, ohne dabei Scherbenhaufen in Ihren Beziehungen zu Kollegen, Vorgesetzten, Mitarbeitern oder auch im Bekannten- und...

"Mesoscopic Quantum Hall Effect" von Ivan Levkivskyi ist eine wissenschaftliche Arbeit, die sich mit den Eigenschaften des Quanten-Hall-Effekts in mesoskopischen Systemen beschäftigt. Das Buch gehört zur Reihe "Springer Theses", die...

Das Buch "Optimieren von Requirements Management & Engineering: Mit dem HOOD Capability Model" von Rupert Wiebel bietet eine umfassende Anleitung zur Verbesserung des Anforderungsmanagements und -engineerings in Projekten. Es stellt das...

Aufgrund klinischer Nachuntersuchungen und genauer Lebens- laufanalysen wurden bei 205 Depressiven der verschiedensten diagnostischen Untergruppen und 94 Schizophrenen eine Reihe psychodynamischer Zusammenh{nge gepr}ft.

In diesem praktischen Ratgeber vermitteln Ihnen Radiologen, Intensivmediziner und Medizinphysiker das Know-how für die sichere Interpretation von Thorax-Aufnahmen auf der Intensivstation. - Grundlagen der Röntgen- und Aufnahmetechnik,...

Das "Übungsbuch Produktion und Logistik" von Horst Tempelmeier ist ein begleitendes Werk zum Studium der Produktionswirtschaft und Logistik. Es bietet eine umfangreiche Sammlung von Übungsaufgaben, die Studierenden helfen sollen,...

Das Buch "Umweltschutztechnik" von Ulrich Förstner, das Teil der renommierten VDI-Buchreihe ist, bietet eine umfassende Einführung in die Techniken und Strategien des Umweltschutzes. Es behandelt die grundlegenden Prinzipien der...

Dieses eingeführte Lehrbuch basiert auf Vorlesungen, die der Autor mehr als 25 Jahre lang an der Westfälischen Wilhelms-Universität Münster gehalten hat. Der Schwerpunkt des Buches liegt bei der geometrischen Kristallographie. Vom...

"Standards and Audits for Ethics Management Systems: The European Perspective" von Josef Wieland ist ein Buch, das sich mit der Entwicklung und Implementierung von Ethikmanagementsystemen in europäischen Organisationen beschäftigt. Es...