Musiktipp x

Staind - Its Been Awhile

[ neuer Musiktipp ]

Kalender x
MoDiMiDoFrSaSoMoDiMiDoFrSaSo
     123456789
1011121314151617181920212223
2425262728293031      
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