Lehrmaterial

Titel: Algorithmen für Verteilte Systeme Autor: reiser Organisation: UNI ULM Seitenzahl: 8 Skript herunterladen (PDF) Inhalt Montag Mittwoch vorrangig Vorlesung vorrangig Übung jeweils im Raum O Algorithmen für Verteilte Systeme Algorithmen für Verteilte Systeme AVS […]

Titel: Algorithmen auf Graphen – Informatik Organisation: UNI BREMEN Seitenzahl: 48 Skript herunterladen (PDF) Inhalt Algorithmen auf Graphen  NPvollstndige Graphprobleme a Kapitel Graphen in der Informatik WARNUNG Graph ist nicht gleich Graph Verbraucher Speicher […]

Titel: Der Umgang mit dem Hoare-Kalkül zur Programmverifikation Organisation: UNI ROSTOCK Seitenzahl: 29 Skript herunterladen (PDF) Inhalt Einführung in die Verifikation Der Umgang mit dem HoareKalkül zur Programmverifikation Was ist der Zweck des HoareKalküls Aussagenlogik […]

Titel: Methoden der algorithmischen Geometrie Organisation: UNI HANNOVER Seitenzahl: 16 Skript herunterladen (PDF) Inhalt Einleitung Sweep-Verfahren Methodenbeschreibung Nebenpfad Anwendung Voronoi-Diagramm Methodenbeschreibung Methodenbeschreibung Beispiel Anwendung Delaunay-Triangulation Methodenbeschreibung Methodenbeschreibung Nebenpfad Nebenpfad Nebenpfad Anwendung Literatur und Methoden Literatur […]

Titel: Filesharing Systeme Organisation: UNI LEIPZIG Seitenzahl: 21 Skript herunterladen (PDF) Inhalt Universität Leipzig Institut für Informatik peertopeer data management  Geschichte des Filesharing Geschichte des Filesharing ClientAnmeldung DateiAnmeldung DateiSuche LieferantenSuche Finden von Teilnehmern Gespeicherter […]

Titel: Parametrisierte Algorithmen Organisation: UNI JENA Skript herunterladen (PDF) Inhalt Vorschau