"PHP Sucks?!"

Kontextmodellierung

14 - Graphen

13 - Stacks, Queues, Sortieren

12 - Binäre Suchbäume, Hashing

11 - Von Sammlungen zu dynamischen Datenstrukturen

10 - Arrays

9 - Objektsammlungen

8 - Interfaces, systematisches Testen

7 - Rekursion, Strings und Reguläre Ausdrücke

6 - Strukturierte Programmierung

5 - Referenztypen

4- Zuweisungen, elementare Typen

3 - Prozedur, Syntax

2 - Grundlagen objektorientierter Programmierung

1 - Organisatorisches

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