Musiktipp x

Rammstein - Nebel

[ neuer Musiktipp ]

Kalender x
MoDiMiDoFrSaSoMoDiMiDoFrSaSo
   1234567891011
1213141516171819202122232425
262728           
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