Sökt på: Sökresultat
totalt 19 träffar
Model Checking Software
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with …
A Gauge Theory of Dislocations and Disclinations
CSR und Controlling
Dieses Buch gibt einen Überblick über Konzepte an der Nahtstelle von Controlling und CSR und stellt Praxisbeispiele zu einzelnen Aspekten der Steuerung einer Nachhaltigen …
Model Checking and Artificial Intelligence
The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are presented along with …
Berechnung elektrischer Verbundnetze
Wahrend in den letzten Jahren auf dem Gebiet der elektrischen Sachrichtentechnik zahlreiche Biicher iiber Netzwerktheorie (insbesondere auch liber Netzwerksynthese) erschienen …
Aufmerksamkeitsdefizit-/Aktivitätsstörung bei Erwachsenen
Immer unkonzentriert und leicht ablenkbar? Gereizt, überempfindlich und desorganisiert? Und das vielleicht schon das ganze Leben lang? Aufmerksamkeits- und Aktivitätsstörungen …
Betriebliches Eingliederungsmanagement bei Mitarbeitern mit psychischen Störungen
Dieses Buch unterstützt Personal- und Fallmanager, Interessen- und Schwerbehindertenvertretungen sowie Gesundheitsbeauftragte in Unternehmen dabei, die …
Spatio-Temporal Dynamics and Quantum Fluctuations in Semiconductor Lasers
Modern advanced semiconductor lasers show complex spatio-temporal dynamics of the emitted optical fields. This book presents fundamental theories and simulations of the …
Advisory Work in Crop Pest and Disease Management
Advisory work, by its very nature, is an intermediary between the re search worker and those who apply the results of his research. The challenge of advisory work is to devise …
Tutorium Quantenfeldtheorie
Dieses Buch richtet sich an alle, die sich schon immer gefragt haben, wie die kanonische Quantisierung, die LSZ-Reduktionsformel, Pfadintegrale, Feynman-Graphen und die …
Optimaler Verbundbetrieb in Der Elektrischen Energieversorgung
Die Steuerung der Kraftwerke in einem Verbundsystem der elektrischen Energieversorgung verlangt nicht nur die Beriicksichtigung der Wiinsche der Abnehmer, sondern gleicherm en die …
Biological Characterization of Bone Tumors
During the past few years, a considerable number of monographs on bone tumors have been published. They are mainly restricted to bone tumors as clinical-pathological entities, …