News
SE 2014: Konferenz Software Engineering – Kiel »...
se2014.kosse-sh.de
Stefan Zeug (b+m Informatik AG): “Softwareentwicklung bei der b+m Informatik AG” ... Annalena Erdt, Linn Schwartkop, Marius Rasch, Michael Sack and Sönke ...
Bad Honnef 2018: Programm
www.complang.tuwien.ac.at
Beweise über Programme mit call-time-choice-Semantik in Coq; Marius Rasch (Universität Kiel) Combining Static and Dynamic Contract Checking for Curry ...
Den Kopf zu weit vorgestreckt – Ciceros Tod - Antike und ...
blogs.faz.net
Dec 05, · Viel Symbolpolitik: die Dictatur wurde abgeschafft, ein falscher Enkel des Marius rasch hingerichtet. Doch dann das Unerwartete, das alles veränderte: Mit dem achtzehn Jahre alten Gaius Octavius, dessen Adoption in Caesars Testament vorgesehen war und der sich daher bald Gaius Iulius Caesar nannte, trat jemand auf, der nicht zur Tagesordnung ...
sortiert nach Relevanz / Datum