::links

tuwis tuwel homepage informatik forum vowi rss

INSO tool(web)

MTB-project(web)

studienkommison informatik(web)

dekanat informatik(web)

studienplan informatik per 1.10.06(pdf)

studienplan informatik per 1.10.07(pdf)

studienplan informatik per 1.10.09(pdf)

uebergangsbestimmungen(pdf)

studienbeitrag neu(web)

Fachschaft Informatik(web)

praus uni stuff(web)

mtintel's uni stuff(web)

baron video(zip) - baron mp3s(zip)

JSUG(web) - JSUG @ infforum(web)

::advanced distributed systems

2010S - 3.0VL tuwis homepage rss

::distributed systems technologies

2010S - 3.0VL tuwis homepage rss

::edv-vertragsrecht

2010S - 1.5VO tuwis homepage rss

::entwurfsmethoden für verteilte systeme

2010S - 1.5VL tuwis homepage rss

::formale methoden der informatik

2010S - 3.0VO tuwis homepage vowi rss

folien

  1. Introduction and Overview(pdf)
  2. Propositional logic (reminder)(pdf) - Syntax and semantics of first-order logic(pdf) - Exercises I (Propositional logic)(pdf) - Specifying with first-order logic(pdf) - Natural deduction(pdf)

folien aus dem SS09(web)

::management von software projekten

2009W - 3.0VU tuwis rss

::software testen

2009W - 3.0VL tuwis tuwel homepage vowi rss

::verteilte systeme

2008W - 3.0VO tuwis homepage vowi rss

folien

  1. Overview and introduction(pdf)
  2. Communication (1)(pdf)
  3. Communication (2)(pdf)
  4. Operating System Support(pdf)
  5. Naming and Discovery(pdf)
  6. Clocks and Agreement(pdf)
  7. Consistency and Replication(pdf)
  8. Dependability and Fault Tolerance(pdf)
  9. Security(pdf)
  10. Technology Overview(pdf)

fragen(pdf)

zusammenfassung(pdf) - ausarbeitung(pdf)

LU beispiele(zip)