Audrey Erskine-Lindop verbrachte ihre Kindheit in Indien und wurde in einem englischen Internat erzogen. Weltweiten Ruhm errang sie mit dem historischen Abenteuer-Roman ›An die Laterne‹ sowie mit den Kriminalromanen ›Strich durch die Rechnung‹, ›Von Mäusen und Mördern‹ und ›Der Teufel spielt mit‹. Audrey Erskine-Lindop starb 1986.
17 Ebooks tarafından Susanne Graf
Audrey Erskine-Lindop: Der Teufel spielt mit
Bryan, ein verlotterter Maler, der ständig zuviel trinkt, malt im Suff seine besten Bilder. Ein Galerist heckt einen teuflischen Plan aus: Ein totes Genie verkauft sich besser als ein lebendes. Er br …
EPUB
Almanca
€3.99
Susanne Graf & Mahesh Viswanathan: Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in J …
PDF
İngilizce
€65.44
Ramona Dannhauer & Susanne Graf: Robin vs. Camus – Ein Vergleich der Mordszenen der Romane ‘Accusé lève toi’ und ‘L’étranger’
Studienarbeit aus dem Jahr 2007 im Fachbereich Französische Philologie – Literatur, Note: 1, 3, Martin-Luther-Universität Halle-Wittenberg, Veranstaltung: Roman der Revolte, Sprache: Deutsch, Abstrac …
PDF
Almanca
€15.99
Susanne Graf: Pressefreiheit und Zensur in Deutschland nach 1945: Freie Marktwirtschaft – Freie Presse? Abhängigkeiten, reflektiert nach Marion Gräfin Dönhoff (1909 – 2002)
Studienarbeit aus dem Jahr 2002 im Fachbereich Medien / Kommunikation – Mediengeschichte, Note: 2, 0, Universität Karlsruhe (TH) (Literaturwissenschaft), Veranstaltung: Sprach-, Kommunikations- und M …
EPUB
Almanca
€13.99
Susanne Graf: Die Entwicklung und Perfektionierung der Alben ‘Theodor Pussel’ von Franc Le Gall – Dramaturgische, zeichnerische und filmische Gesichtspunkte
Studienarbeit aus dem Jahr 2003 im Fachbereich Germanistik – Sonstiges, Note: 1, 0, Universität Karlsruhe (TH) (Literaturwissenschaft), Veranstaltung: Comicanalyse, Sprache: Deutsch, Abstract: 1984 e …
EPUB
Almanca
€13.99
Susanne Graf: Analyse und Interpretation der Erzählung ‘Kotuku’ von Rainer Würth
Studienarbeit aus dem Jahr 2004 im Fachbereich Germanistik – Neuere Deutsche Literatur, Note: sehr gut, Universität Karlsruhe (TH) (Literaturwissenschaft), Veranstaltung: Literarische Neuerscheinunge …
PDF
Almanca
€15.99
Susanne Graf & Laurent Mounier: Model Checking Software
Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr’ eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), To …
PDF
İngilizce
DRM
€57.77
Frank S. de Boer & Marcello M. Bonsangue: Formal Methods for Components and Objects
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the obje …
PDF
İngilizce
DRM
€57.42
Frank S. de Boer & Marcello M. Bonsangue: Formal Methods for Components and Objects
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires mor …
PDF
İngilizce
DRM
€57.82
Frank S. de Boer & Marcello M. Bonsangue: Formal Methods for Components and Objects
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires mor …
PDF
İngilizce
DRM
€57.99
Frank S.de Boer & Marcello Bonsangue: Formal Methods for Components and Objects
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has sw …
PDF
İngilizce
DRM
€58.04
Susanne Graf & Michael Schwartzbach: Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berl …
PDF
İngilizce
DRM
€114.79
Susanne Graf & Wenhui Zhang: Automated Technology for Verification and Analysis
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT ind …
PDF
İngilizce
DRM
€57.71
Frank S. de Boer & Marcello M. Bonsangue: Formal Methods for Components and Objects
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires mor …
PDF
İngilizce
DRM
€57.76
Marcello M. Bonsangue & Susanne Graf: Formal Methods for Components and Objects
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires mor …
PDF
İngilizce
DRM
€57.65
Susanne Graf & Kim G. Larsen: Models, Mindsets, Meta: The What, the How, and the Why Not?
This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical University of Dortmund, on the occasion of his 60th birthday. His vision as well as his theoretical and p …
EPUB
İngilizce
DRM
€57.99
Susanne Graf & Paul Pettersson: Real Time and Such
This Festschrift reflects Professor Wang Yi’s contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems.Wang Yi received a Ph D in Computer Science from C …
EPUB
İngilizce
DRM
€57.64
