Informatik

Titel: Algorithmen für synchrone Rechnernetze Organisation: UNI PADERBORN Seitenzahl: 90 Skript herunterladen (PDF) Inhalt Skript zur Vorlesung Algorithmen fur synchrone Rechnernetze Abbildung Prozessornetzwerk und seine Darstellung als Graph Parallelisierung von Algorithmen am Beispiel der Matrizenmultiplikation […]

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