![](/fileadmin/_processed_/1/9/csm_Clemens_Disputation_59d2859a5d.jpeg)
Herzlichen Glückwunsch, Clemens!
MehrHerzlichen Glückwunsch, Clemens!
MehrHerzlichen Glückwunsch, Armin!
MehrProf. Dr. Christoph Scholl (Universität Freiburg) "Verifikation Hybrider Systeme mit Symbolischen Methoden"
MehrDas 9. GI/ITG KuVS Fachgespräch "Sensornetze" findet am 16. - 17. September 2010 hier am Institut für Informatik statt.
Mehr