Michael Barth Books

Deine Fantasien werden heute Realitat. Komm ins Schlafzimmer, und mache den ganzen Tag mit mir, was immer du auch willst. Ich werde alles zulassen und dir alles geben, was du verlangst oder dir wunschst. Lass uns spielen! Keine Grenzen, keine Regeln! Ein pikantes Geschenk wird zu einem nicht enden wollenden Albtraum. Was ware, wenn alles, was Sie uber ihren Partner zu wissen geglaubt haben, nur eine Fassade war? Ein BDSM-Psychothriller uber Vertrauen und Hingabe. Verrat und Verzweiflung. Lesestimme: Eine heftige Gefuhlsachterbahn mit uberraschenden Wendungen!"

»Wir kennen die Wahrheit über Ihr Buch Hochzeitstag! Alles was man tut, kommt früher oder später auf einen zurück. Sie hören bald wieder von uns!« Zwei Jahre nach der Veröffentlichung ihres Romans »Hochzeitstag«, holt die Vergangenheit Daniela gnadenlos ein und setzt Ereignisse in Gang, die nicht nur ihre Karriere, sondern ihr ganzes Leben zu zerstören drohen. Niemand kannte die Wahrheit über ihr Buch. Niemand wusste, dass ihre Geschichte auf wahren Begebenheiten beruhte. Bis heute … Ein Thriller, der uns einen Blick in den Spiegel einer dekadenten Gesellschaft gewährt und uns mit deren Bösartigkeit und Perversion konfrontiert.

Die Arbeit untersucht die klassische Theorie der effizienten Märkte, insbesondere die Informationseffizienz nach Fama. Sie beschreibt, wie Kurse und Renditen auf effizienten Märkten einer zufälligen Bewegung folgen und keine Trends aufweisen. Gleichzeitig werden empirische und statistische Kritikpunkte an der Effizienzmarkthypothese beleuchtet. Dabei werden Zeitreihen-Prozesse analysiert, die auf Trends im Kursverlauf hinweisen und sich in linearen Marktanomalien manifestieren. Die Arbeit bietet somit einen kritischen Blick auf die gängige Theorie und deren Anwendbarkeit in der Praxis.

Der erste Teil des Buches präsentiert einen pragmatischen, formal fundierten Ansatz zur Bewertung zeitkritischer Software bereits in der Modellierungsphase, um Entwicklungskosten zu minimieren. Es werden Beschreibungstechniken für Modelle und Umgebungen eingeführt, die eine zeitbehaftete Semantik nutzen. Im zweiten Teil wird erläutert, wie diese formalen Spezifikationstechniken in ein benutzerfreundliches Werkzeug integriert werden können, das nicht nur die Komplexität reduziert, sondern auch in gängige Notationen wie UML-Aktivitätsdiagramme übersetzbar ist. Das Buch dient somit als Musterbeispiel für den Software-Entwurf mit formalen Methoden.