27 - KKN, CPN, Datenbankmanager, Renew

26 - Parallele Algorithmen, Paralleles Suchen und Mischen

25 - Parallele Maschinen

24 - Workflow, Bankiersproblem

23 - Workflow, KKN

22 - Die Vorlesung konnte aufgrund technischer Problemen nicht aufgezeichnet werden.

21 - Petrinetzprozesse, Zeitstempel in verteilten Systemen Teil 2

21 - Petrinetzprozesse, Zeitstempel in verteilten Systemen Teil 1

20 - Fairness, partial order semantics

19 - Verzweigungs-Bisimulation

18 - Rekursion

17 - Parallele Komposition

16 - "Verträglichkeit" der Bisimulation mit BPA

15 - Prozessalgebra

14 - S-Inv-Vektor vs. S-Inv-Gleichung, Fairness

13 - Zustandsraumexplosion

12 - Algorithmus: Lebendigkeits-Invarianz

11 - Unabhängigkeit von Beschränkheit, Lebendigkeit und Reversibilität

10 - P/T Netze

9 - Petrinetze

8 - Komplexität: CTL-Model-Checking, Petrinetze, Entwicklung

7 - Model Checking

6 - CTL- Formeln, Fairness

5 - Temporale Logik, LTL - Formeln

4 - Kodierung von Kripkestrukturen, Mutual Exclusion, Temporale Logik

3 - Äquivalenz von Systemen

2 - Büchi Automaten

1 - Organisatorisches

Schnupperstudium Computing in Science

Proteine, RNS, Hasen und Füchse

B.Sc. Computing in Science - Informatik in den modernen Naturwissenschaften

Workshop Tamiflu und Co. - 2. Teil

Workshop Tamiflu und Co.

DNA-Sequenzanalyse - Eine Entdeckungsreise in die Welt der Gene

14 - Abschluss

13 - Testen von objektorientierten

12 - Refactoring

11 - Klassenentwurf

09 - Entwurfsmuster

08 - Programmierung von Graphical User Interfaces

07 - Strukturierung interaktiver Anwendungssysteme

06 - Objektorientierte Modellierung

05 - Fehlerbehandlung / Modularisierung

04 - Implementationsvererbung

03 - Polymorphie und Vererbung

02 - Formale Korrektheit

01- Softwareentwicklung II - Einleitung

27 - µ-rekursive Funktionen

26 - Berechenbarkeitsdefinitionen

24 - Komplexitätklassen

23 - Turingmaschinen und kontextsensitive Grammatiken III

22 - Turingmaschinen und kontextsensitive Grammatiken II

21 - Turingmaschinen und kontextsensitive Grammatiken

20 - Typ-0 Grammatik nach Chomsky

19 - Deterministischer Kellerautomat, andere Chomsky Grammatiken

18 - Prädikatenlogik V

17 - Prädikatenlogik IV

16 - Prädikatenlogik III

15 - Prädikatenlogik II

14 - Prädikatenlogik

13 - Aussagenlogik - Resolution

12 - Aussagenlogik - Hornformeln

11 - Aussagenlogik: Beweisbarkeit

10 - Aussagenlogik: Normalformen, Folgerung

09 - Aussagenlogik, Äquivalenz, Normalformen

08 - Ausagenlogik, Semantik

07 - Aussagenlogik, Syntax

06 - Pumping, Abschlusseigenschaften, Entscheidbarkeit und Kellerautomaten

05 Normalformen kontextfreier Grammatiken

04 - Automaten IV

03 - Automaten III

02 - Automaten II

01 - Einführung, Automaten

Computergestützte Kooperation

Auf dem Weg zu offenen, modularen Dienstleistungssystemen: Lösungsansätze und Herausforderungen für das Service Engineering

The Future of the Web: Opportunities & Challenges

Forschungsdemonstration "Robotik"

Projektdokumentation "Greenfoot"

Projektdokumentation "fussballspielende Roboter"

Projektdokumentation "POV-Ray"

Projektdokumentation "Robotik"

Projektdokumentation "Computersehen"

Abschlusspräsentation Projekt "Fussballspielende Roboter"

Abschlusspräsentation Projekt "Robotik"

Abschlusspräsentation Projekt "3D-Grafik und -Animation mit POV-Ray"

Abschlusspräsentation Projekt "Computersehen"

Abschlusspräsentation Projekt "Greenfoor - Greeps"

Vorstellung des Deutschen Klimarechenzentrums

Das Informatikstudium aus Sicht der Studierenden

Gespräche mit Berufstätigen

Informatik und Gesellschaft (Teil II)

Informatik und Gesellschaft (Teil I)

Vorstellung Projekt "3D-Grafik und Animation mit POV-Ray"

Vorstellung Projekt "fußballspielende Roboter"

Vorstellung Projekt "Bau und Programmierung von Robotern"

Vorstellung Projekt "Greenfoot - Greeps"

Vorstellung Projekt "Computersehen"

Begrüßung zum Schnupperstudium 2010

SE1, Vorlesung 13- Mehr zu Sammlungen: Stacks, Queues, Sortieren (26.01.2011)

SE1, Vorlesung 12- Sammlungen implementieren: Mengen(19.01.2011)

SE1, Vorlesung 11- Von Sammlungen zu dynamischen Datenstrukturen (12.01.2011)

SE1, Vorlesung 9- Objektsammlungen (15.12.2010)

SE1, Vorlesung 8- Klassen, Typen und Interfaces / Einführung in systematisches Testen (08.12.2010)

SE1, Vorlesung 7- Statische und dynamische Eigenschaften / Strings und Reguläre Ausdrücke (01.12.2010)

SE1, Vorlesung 6- Strukturierte Programmierung und Rekursion (24.11.2010)

SE1, Vorlesung 5- Das Typkonzept imperativer und objektorientierter Programmiersprachen (17.11.2010)

SE1, Vorlesung 4- Imperative Grundkonzepte(10.11.2010)

SE1, Vorlesung 3- Die Struktur von Klassendefinitionen (03.11.2010)

SE1, Vorlesung 2- Einfache Klassen, einfache Objekte (27.10.2010)

SE1, Vorlesung 10- Arrays (05.01.2010)

OOPM, Vorlesung 13- Testen von objektorientierten Programmen (07.07.2010)

OOPM, Vorlesung 12- Refactoring (30.06.2010)

OOPM, Vorlesung 11- Entwurfsmuster (23.06.2010)

OOPM, Vorlesung 9- Werte und Objekte in Programmiersprachen (09.06.2010)

OOPM, Vorlesung 8- Objektorientierte Modellierung - fachlich und technisch (02.06.2010)

STE, Vorlesung 7 - Software im Kontext: Aufgabenbezogene Anforderungsermittlung(21.05.2010)

OOPM, Vorlesung 7- Agile Softwareentwicklung (19.05.2010)

OOPM, Vorlesung 6 - Programmierung von Graphical User Interfaces (12.05.2010)

OOPM, Vorlesung 5 - Übersicht Implementationsvererbung (05.05.2010)

OOPM, Vorlesung 4 - Fehlerbehandlung mit Exceptions / Namensräume und Modularisierung (28.04.2010)

OOPM, Vorlesung 3 - Abstraktion: Polymorphie und Vererbung / Übersicht Subtyping (21.04.2010)

OOPM, Vorlesung 1 - Einführung: Abstraktion und Modelle (07.04.2010) - Teil 2

OOPM, Vorlesung 1 - Einführung: Abstraktion und Modelle (07.04.2010) - Teil 1

STE, Vorlesung 12 - Gastvortrag: SAP (02.07.2010)

STE, Vorlesung 11 - Integration von Softwaresystemen (25.06.2010)

STE, Vorlesung 10 - Gastvortrag (18.06.2010)

STE, Vorlesung 9 - Qualitätssicherung - Architekturanalyse und Messung (11.06.2010)

STE, Vorlesung 8 - Software-Projekte und Prozesse (04.06.2010)

STE, Vorlesung 6 - Vorgehensmodelle der Software-Entwicklung(14.05.2010)

STE, Vorlesung 5 - Vorgehensmodelle der Software-Entwicklung(07.05.2010)

STE, Vorlesung 4 - Der Software-Architekt(30.04.2010)

STE, Vorlesung 3 - Entwurfs- und Architekturprinzipien(23.04.2010)

STE, Vorlesung 2 - Software-Architektur (16.04.2010)