Die Kommunikationsprozesse der Technik werden sehr deutlich gepragt durch eine pragnante Symbolsprache, beginnend mit den Symbolen naturwissenschaftlich/tech- nischer GraBen und Einheiten und deren mathematischer Verkniipfung, iibergehend zu einem umfangreichen Vorrat…

Die Grunde der empirisch belegten begrenzten Wirksamkeit der Aufsichtsratsmitbestimmung werden analysiert. Die gefundenen Ursachen werden in einer Replikationsstudie am Beispiel eines uberparitatisch mit Arbeitnehmern besetzten Uberwachungsorgans untersucht. Trotz betrachtlicher Verbesserungen…

This edited book examines the East German foreign intelligence service (Hauptverwaltung Aufklarung, or HVA) as a historical problem, covering politics, scientific-technical and military intelligence and counterintelligence.

This book discusses in detail the special theory of relativity without including all the instruments of theoretical physics, enabling readers who are not budding theoretical physicists to develop competence in…

The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.

Die Zisterzienserabtei Bredelar wurde 1196 von Moenchen des Klosters Hardehausen, dem ersten Zisterzienserkloster auf westfalischem Boden, ins Leben gerufen. Es existierte bis zu seiner Aufhebung im Jahre 1804. Das neugegrundete…

Galois theory is a central part of algebra, dealing with summitries between solutions of algebraic equations in one variable. This is a collection of papers from the participation of a…

Das Lehrbuch bietet eine detaillierte UEbersicht der aktuellen Hochbaukonstruktionen. Es zeigt alle Kriterien auf, die wichtig sind, um die Beurteilung und Entscheidung fur ein erfolgreiches Ausfuhren der gestellten Aufgabe zu…