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…

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…

Investigates the proliferation of cylindrical objects in the nineteenth century, such as steam engines, phonographs, panoramas, rotary printing presses, silos, safety locks, and many more. Examining this phenomenon through the…

Die Parameter der Wellenbewegung.- Die klassische Theorie des Doppler-Effektes - Schallwellen.- Der Doppler-Effekt fur das Licht.- Die Rotverschiebung im Gravitationsfeld

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.

Contributions in English, French, and German.

Verhalten und Dialog. - Identitatskonflikte und Konfliktloesung durch Dialoge. - Krisen und dialogische Vermeidungs- und Bewaltigungsstrategien. - Veranderungsprozesse und Dialog. - Dialog im interkulturellen und mehrsprachigen Kontext. - Entscheidungsprozesse durch…

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…