Informatik
Bitte beachten Sie auch die Artikel zum Thema Datenschutz
- Space-Time-Memory
- Referatausarbeitung im Seminar "Leistungsbewertung von Multiprozessorsystemen", gehalten am 30.10.1995. Lehrende: Peikenkamp, Risau (FB Techn. Informatik)
- Beweis des Bakery-Algorithmus mit Mitteln der Programmverifikation
- Studienarbeit, 1.10.1997; Prof. Dr. Olderog, (FB Theor. Informatik)
muh, 7.2.1998