Um bleibenden Eindruck im All zu hinterlassen, legen Dr. Georg Friedle (Christoph Maria Herbst) u...

Christian Schwarz-Schilling war zehn Jahre lang Minister in der Regierung Helmut Kohl. 1992 trat ...

This book constitutes the refereed proceedings of the 29th International Symposium on Model Check...

This LNCS volume constitutes the proceedings of the First International Symposium on AI Verificat...

This book constitutes the refereed proceedings of the Third International Symposium on AI Verific...

Nach diesem Werk aus dem Jahr 1912 lernten Generationen von Seeleuten die Kunst der terrestrische...