Sökt på: Sökresultat
totalt 4 träffar
Formal Methods for Software Engineering
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some …
Komm her, nimm Platz und bleibe
Das Thema des Buches ist "e;Bewusstheit"e;. Bewusstheit ist mehr als pures Selbstbewusstsein, sondern vielmehr das totale und absolute Gewahrsein des allumfassenden …
Die Vergewohltätigung
Jedes Jahr verteilt die Bundesregierung Abermilliarden Euro deutsches Steuergeld in die Welt. Das geschieht im Namen des guten Gewissens gegenüber den Ärmsten der Armen. Doch in …
Das Gießener Evangeliar und die Malerische Gruppe der Kölner Buchmalerei
Das in der Universitatsbibliothek Giessen als Codex 660 aufbewahrte Evangeliar entstand im spaten 10. Jahrhundert in einem Kolner Skriptorium, aus dem auch andere …