HOME

Wirsing, Martin

Wissenschaft: Erfahrung und Aufbruch (sose23)

17.05.2023 Video aufrufbar protected Systematische Entwicklung adaptiver Systeme – Physiologisches Computing und sichere lernende Maschinen

30 Jahre Seniorenstudium an der LMU München

16.10.2017 Video aufrufbar Grußworte

16. Jahrestagung der DeGEval: "Komplexität und Evaluation"

12.09.2013 Video aufrufbar Begrüßung und Einführung

Programmierung und Modellierung (sose10)

21.07.2010 Video aufrufbar Zusammenfassung
14.07.2010 Video aufrufbar Operationelle und Denotationelle Semantik
07.07.2010 Video aufrufbar Syntaktische Analyse
30.06.2010 Video aufrufbar Ausnahmebehandlung und lexikalische Analyse
23.06.2010 Video aufrufbar Methodisches Programmieren
16.06.2010 Video aufrufbar Benutzerdefinierte Datentypen II
09.06.2010 Video aufrufbar Benutzerdefinierte Datentypen, Teil 2
02.06.2010 Video aufrufbar Benutzerdefinierte Datentypen, Teil 1
26.05.2010 Video aufrufbar Typüberprüfung
19.05.2010 Video aufrufbar Funktionen höherer Ordnung
12.05.2010 Video aufrufbar Datentypen und Polymorphie
05.05.2010 Video aufrufbar Beweismethodik für Eigenschaften rekursiver Funktionen
28.04.2010 Video aufrufbar Rekursive Funktionen
21.04.2010 Video aufrufbar Einführung in die Programmierung mit SML