8 Ergebnisse.

Walther von der Vogelweide: Leich, Lieder, Sangsprüche
10 Jahre nach der völlig neu ausgerichteten 15. Auflage der Lachmann-Cormeau-Ausgabe erscheint eine 16. Auflage. Der Herausgeber Thomas Bein hat eine gründliche Revision durchgeführt: Erneut wurde der kritische Text mit den handschriftlichen Quellen abgeglichen. Einige Versehen (Drucksatz, Zahlendreher, Übersehenes etc.) wurden korrigiert. Die Einleitung ist um ein Kapitel , Diskussion der Rezensionen zur 15. Auflage' erweitert worden, wo sich Bein ...

42,50 CHF

MedienWende
Jede und Jeder braucht guten Journalismus für eine gesunde Nachrichtenernährung. Unsere Demokratie braucht guten Journalismus, damit wir beizeiten gemeinsam richtige Entscheide treffen können. Im 21. Jahrhundert muss Journalismus als Demokratie-verstärker funktionieren und danach streben, für Leserinnen und Zuschauer nützlich zu sein und sie einzubeziehen. Das Publikum muss einen neuen Journalismus fordern und dazu beitragen. Denn mit dem Internet ist guter ...

41,50 CHF

Heimat- und Hauskalender aus dem Erzgebirge
Fichtelberg, das Schwarzwassertal, Geisingberg und Bad Elsters Kurpark im Wechsel der Jahreszeiten, Seiffen, Burg Schönfels und andere architektonische Pretiosen, weihnachtliche Stimmung in Oberwiesenthal, Volkskunst aus dem Erzgebirge sowie markante Wahrzeichen der Region wie der Frohnauer Hammer: Die Fotografen Christoph Georgi und Klaus Eichler präsentieren gemeinsam im 14-täglichen Wechsel eindrucksvolle Motive aus dem Erzgebirge und dem Vogtland. Die Texte - Bauernregeln, ...

24,90 CHF

Heimat- und Hauskalender 2020 aus dem Erzgebirge und dem Vogtland
Fichtelberg, Bärenstein und Auersberg im Wechsel der Jahreszeiten, Schloss Schwarzenberg und andere architektonische Pretiosen, weihnachtliche Stimmung in Plauen oder Annaberg-Buchholz und markante Wahrzeichen der Region wie die Göltzschtalbrücke: Fotograf Christoph Georgi präsentiert wieder im 14-täglichen Wechsel in eindrucksvollen Motiven das Erzgebirge und das Vogtland. Die Texte - Bauernregeln, Mundartgeschichten, Landestypisches und lokale Geschichte - hat Klaus Walther beigesteuert.

24,90 CHF

Semantik und Programmverifikation
Dieses Buch behandelt Grundkonzepte der Programmiersprachensemantik anhand einer einfachen funktionalen Programmiersprache. Darauf aufbauend werden die Aufgaben und Probleme bei Nachweis von totaler und partieller Korrektheit einfacher funktionaler Programme behandelt. Insbesondere wird der Bezug zwischen Programmiersprachensematik und formaler Logik illustriert. Prinzipielle Grenzen der "automatischen" Verifikation werden untersucht und die praktische Relevanz dieser Grenzen wird diskutiert.

68,00 CHF

Automatisierung von Terminierungsbeweisen
Das Fuhren von Terminierungsbeweisen flir rekursiv definierte Algorithmen erfordert eine gewisse Kreativitiit des (menschlichen oder automatischen) Bewei­ sers, die sich im Erfinden einer Hypothese manifestiert, deren Giiltigkeit hinrei­ chend flir die Terminierung eines Algorithmus ist. In dieser Arbeit wird ein Ver­ fahren vorgestellt, mit dem diese KreativiUit durch ein Computerprogramm nachgebildet werden soIl. Mit diesem Verfahren konnen Terminierungsbeweise in vielen ...

73,00 CHF

Modellierung des Wärmeübergangs bei nicht ausgebildeter, oszillierender Strömung am Beispiel der Wärmetauscher regenerativer Gaskreisprozesse
Ziel der vorliegenden Arbeit war es, den Wärmeübergang in den Wärmetausehern regenerativer Gaskreisprozesse unter deren speziellen Randbedingungen, der oszillierenden Durchströmung und der periodischen Kompression und Expansion, zu untersuchen. Dabei sollte die Praxis üblicher Simulationsmodelle regenerativer Gaskreisprozesse, auf für stationäre Strömungen inkompressibler Fluide entwickelte und in der Literatur zahlreich beschriebene Wärmeübergangskorrelationen zurückzugreifen, überprüft und gegebenenfalls ersetzt werden durch die Entwicklung neuer, ...

62,00 CHF