che-chandler.de

TYPO3-Extensions

TYPO3 gekonnt erweitern

Deductive Software Verification - The KeY Book

Static analysis of software with deductive methods is a highly dynamic field of research on the v...

Verhaltenstherapeutische Paartherapie

Verhaltenstherapeutische Paartherapie

Deductive Software Verification: Future Perspectives

This book presents reflections on the occasion of 20 years on the KeY project that focuses on ded...

Weltblick

hinter dem nebel der unwissenheitthront die realitätin stein gemeißelt.gehoben aus der erdigen sc...

Schulrecht Baden-Württemberg

Neuere Entwicklungen im Schulrecht BW In wenigen Rechtsgebieten ist der Landesgesetzgeber so a...

Deductive Software Verification ¿ The KeY Book

Static analysis of software with deductive methods is a highly dynamic field of research on th...

Deductive Software Verification: Future Perspectives

This book presents reflections on the occasion of 20 years on the KeY project that focuses on ded...

Unter den Brücken

Helmut Käutners neunter Spielfilm erzählt eine Dreiecksgeschichte um zwei Havelschiffer, die sich...

Schwarzer Kies

Das Hunsrücker Kaff Sohnen prosperiert, weil eine amerikanische Air Base dort ausgebaut wird: Die...

Der Traum des Vogelwärters auf Schleimünde

Banat hütet als Vogelwart das Einfallstor eines Naturschutzgebietes für Seevögel. Er hütet es vor...