Informatik

Titel: Algorithmen für planare Graphen Autor: Steffen Mecke Organisation: UNI KARLSRUHE Seitenzahl: 100 Skript herunterladen (PDF) Inhalt Planare Graphen — eine anschauliche Einführung Grundlegende Eigenschaften planarer Graphen Grundlegende Eigenschaften Charakterisierung planarer Graphen Dualgraph Suchmethoden in […]

Titel: Kombinatorische Methoden in der Informatik Organisation: UNI TUEBINGEN Seitenzahl: 80 Skript herunterladen (PDF) Inhalt Kombinatorische Methoden in der Informatik Teilgebiete der Kombinatorik Anwendungen in der Informatik Hauptthemen der Vorlesung Elementare kombinatorische Techniken KAPITEL ELEMENTARE […]

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 […]