Informatik

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

Titel: Einfiuhrung in Algorithmen Organisation: UNI PADERBORN Seitenzahl: 86 Skript herunterladen (PDF) Inhalt E F B GE E D B EE x R e t x v p v E bu qh h k h […]

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