Das Arbeitsheft 8 enthält ergänzend zum Schülerband zusätzliche Übungsaufgaben zum Wiederholen, F...

Aufgeregt und erwartungsvoll, so blickten wir damals in die Zukunft! Erinnern Sie sich mit uns an...

»Eine literarische Sensation!«Denis Scheck »Ich halte dieses Buch für ein Wunder.« Thea Dorn, Lit...

In der Pandemie spitzen sich gesellschaftliche Schieflagen und strukturelle Ungerechtigkeiten zu,...

Der Grundsatz von 'Treu und Glauben' im Wirtschaftsrecht Die Berufung auf 'Treu und Glauben' zähl...

In der zweiten, vollständig überarbeiteten Auflage des von Damian K. Graf herausgegebenen Annotie...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

This book constitutes the refereed proceedings of the 6th International Conference on Tools and A...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

Studienarbeit aus dem Jahr 2007 im Fachbereich Romanistik - Französisch - Literatur, einseitig be...

Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an ann...

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was i...

Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to ...

This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal ...

This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical Uni...

The process of post-tsunami recovery and reconstruction in Aceh will take considerable time and i...

Der Band dokumentiert im wesentlichen den praktischen Teil des am 'Zentrum für psychosoziale Fors...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

In Organisationen arbeiten Menschen zusammen, die an biografisch unterschiedlichen Punkten im Leb...

This Festschrift reflects Professor Wang Yi's contributions to the fields of formal methods, real...

Ein Kaleidoskop gelebter Anthroposophie

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

Die Autorin stellt das polizeiliche Instrument der Schleierfahndung vor und analysiert die polize...

Aktuelle Kontroversen um die 'Singularität des Holocaust' übergehen oftmals, dass es nach 1945 ei...

Die Wiener Medizin, von schweren Belastungen aus der NS-Zeit geprägt, durchlief in der zweiten Hä...