The temporal semantics of concurrent programs.- Modal logic of concurrent nondeterministic programs.- Non-deterministic system specification.- On properties preserved by contractions of concurrent systems.- Static analysis of concurrent...

Introduction to Holomorphlc Functions of SeveralVariables, Volumes 1-111 provide an extensiveintroduction to the Oka-Cartan theory of holomorphicfunctions of several variables and holomorphicvarieties

Das "Handbuch der klinisch-psychologischen Behandlung" von Elisabeth Honemann bietet eine umfassende Übersicht über die verschiedenen Ansätze und Methoden in der klinischen Psychologie. Das Buch deckt theoretische Grundlagen sowie...

Das Buch "Aufgaben zu Technische Mechanik 1-3: Statik, Elastostatik, Kinetik" von Ewald Werner ist ein umfassendes Übungsbuch, das sich an Studierende der Ingenieurwissenschaften richtet. Es ergänzt die theoretischen Grundlagen der...

Das Buch "Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 2000 Proceedings" ist eine Sammlung von wissenschaftlichen Arbeiten und Beiträgen, die im Rahmen der dritten...

"Selenoproteins and Mimics" von Junqiu Liu ist ein wissenschaftliches Werk, das sich mit der Erforschung von Selenoproteinen und deren Nachahmungen beschäftigt. Diese Proteine enthalten Selenocystein, eine seltene Aminosäure, die für...

Battle is a practical and sometimes lasting way of solving man's problems. It relies on the strength of the combatants and ignores the truth of the dispute. Discussion face to face can dissolve attitudes which have incorrectly determined...

Bezeichnet man die Sonderpreisaktion als Droge, die kurzfristig high, doch langfristig krank macht, so werden Ursache und Wirkung beim Einsatz dieser Instrumentalvaria bien gleichermaBen beschrieben. Ferner ist diese These geeignet, die...

"Anästhesie in Frage und Antwort: Band 2: Clinical Sciences" von Alexander Petroianu ist ein Fachbuch, das sich intensiv mit den klinischen Wissenschaften im Bereich der Anästhesie beschäftigt. Es dient als wertvolle Ressource für...

Das Buch "Molecular Phylogeny and Evolution of Carabid Ground Beetles" von Su, Z.-H. bietet eine umfassende Untersuchung der phylogenetischen Beziehungen und evolutionären Entwicklungen der Laufkäfer (Carabidae) anhand molekularer Daten....

"Schmerzmanagement in der Pflege" von Monika Thomm ist ein Fachbuch, das sich mit der ganzheitlichen Betreuung von Schmerzpatienten in der pflegerischen Praxis beschäftigt. Es bietet Pflegekräften fundiertes Wissen und praxisnahe...

"Praxis der Insulintherapie" von Michael Berger ist ein umfassendes Handbuch zur Behandlung von Diabetes mellitus durch Insulintherapie. Das Buch richtet sich vor allem an Ärzte, Diabetologen und medizinisches Fachpersonal, die in ihrer...