Sprachsituation einzelner Gebiete Mathematik Wissenschaft Sozialwissenschaft Unternehmen Ingenieurwissenschaft Geisteswissenschaft Geschichte
  1. Ingenieurwissenschaft
  2. Informatik
  3. Funktionale Programmierung
Tutoraufgabe 1 (Auswertungsstrategie):
Tutoraufgabe 1 (Auswertungsstrategie):
Therapeutische Intervention durch den Zahnarzt - zm
Therapeutische Intervention durch den Zahnarzt - zm
Testing und Tracing - Programmiersprachen
Testing und Tracing - Programmiersprachen
Striktheit und unendliche Datenstrukturen - informatik.uni
Striktheit und unendliche Datenstrukturen - informatik.uni
Software Architekt / Software Engineer
Software Architekt / Software Engineer
Zur Benutzung von Haskell-Interpretern
Zur Benutzung von Haskell-Interpretern
Zufallsbasiertes Testen (QuickCheck)
Zufallsbasiertes Testen (QuickCheck)
WS12/13
WS12/13
Wahlmodul Angewandte Informatik (STG Jahr 2) (T2INF4901)
Wahlmodul Angewandte Informatik (STG Jahr 2) (T2INF4901)
Vorsemesterkurs Informatik Aufgabenblatt Nr. 5A Aufgabe 1 (Fehler
Vorsemesterkurs Informatik Aufgabenblatt Nr. 5A Aufgabe 1 (Fehler
Vorlesungsverlauf
Vorlesungsverlauf
Vorlesungsverlauf
Vorlesungsverlauf
Vorlesung 2: Lebensbaum Stammesgeschichte alle Organismen
Vorlesung 2: Lebensbaum Stammesgeschichte alle Organismen
Verifikations- und Spezifikationsmethoden
Verifikations- und Spezifikationsmethoden
Unendliche Listen - Otto-von-Guericke
Unendliche Listen - Otto-von-Guericke
Unendliche Listen ()
Unendliche Listen ()
Übungsblatt 10
Übungsblatt 10
Über Programmierung
Über Programmierung
Typklassen in Haskell - Universität Magdeburg
Typklassen in Haskell - Universität Magdeburg
Typen, Typberechnung und Typcheck
Typen, Typberechnung und Typcheck
TU Kaiserslautern - AG Softwaretechnik
TU Kaiserslautern - AG Softwaretechnik