Musiktipp x

Monster Magnet - Look To Your Orb For The Warning

[ neuer Musiktipp ]

Kalender x
MoDiMiDoFrSaSoMoDiMiDoFrSaSo
    12345678910
1112131415161718192021222324
25262728293031       
Designauswahl
Farbschema:
Hintergrundbild:
home logout
Sitemap
home2.gif Home
about.gif Über mich
doc.gif Dokumente
doc.gif Uni
doc.gif Schule
doc.gif Wandern
doc.gif Sonstige
picture.gif Bilder
link.gif Links
doc.gif Impressum
Uni

Uni

Alles, was mit meinem Informatik-Studium an der TU München zu tun hat...

Skripten

Präsentationen

Seminare

  • Ferienakademie 2006, Kurs 6 Numerical Simulation: From the Model to the Software: Solving Systems of Linear Equations Using Conjugate Gradients (Vortrag und Maple-Worksheet)
  • Hauptseminar Perlen der Informatik (SS 2006): Symbolic model checking of security protocols (Ausarbeitung und Vortrag)
  • JASS 2006 Course 1 Proofs and Computers: Randomness and non-uniformity (Ausarbeitung und Vortrag)
  • Proseminar Mathematische und logische Perlen der Informatik (SS 2005): Ausarbeitung und Vortrag zum Thema Der ungetypte Lambda-Kalkül als Programmiersprache

Stundenpläne

Sonstiges