Informatik

Titel: Integration von CSP-OZ in die OO-Softwareentwicklung Autor: Andreea Stamer Organisation: UNI OLDENBURG Seitenzahl: 137 Skript herunterladen (PDF) Inhalt Einleitung ForMooS Ziele dieser Arbeit Überblick Grundlagen Objektorientierte Softwareentwicklung Formale Methoden Verifikation und Testen von Software […]

Titel: Einführung in die Informatik: Systeme und Anwendungen Organisation: UNI MUENCHEN Seitenzahl: 38 Skript herunterladen (PDF) Inhalt LUDWIGMA IMILIANSUNIVERSITÄT MÜNCHEN Einführung in die Informatik Systeme und Anwendungen Kurzskriptum zur Vorlesung Sommersemester F Kröger Einleitung Betriebssysteme […]

Titel: Berechenbarkeit und Komplexität Organisation: UNI HAMBURG Seitenzahl: 45 Skript herunterladen (PDF) Inhalt Zielgruppe "Ubungsgruppen Scheinkriterien Skript "Agyptische Multiplikation "Agyptische Multiplikation (2) "Agyptische Multiplikation (3) Korrektheit des Verfahrens Problemtypen Entscheidungsprobleme Suchprobleme Optimierungsprobleme Abz"ahlungsprobleme Anzahlprobleme Der […]

Titel: Information Retrieval Organisation: UNI MAINZ Skript herunterladen (PDF) Inhalt Vorschau

Titel: Theoretische Informatik Organisation: UNI MAGDEBURG Seitenzahl: 97 Skript herunterladen (PDF) Inhalt Bernd Reichel und Ralf Stiebe Magdeburg im April Relationen und Funktionen R R R R R R R R Abbildung Graphische Darstellung einer […]

Titel: Mathematik für Informatiker I und II Organisation: UNI DORTMUND Seitenzahl: 308 Skript herunterladen (PDF) Inhalt Aussagen, Mengen, Abbildungen, Relationen Aussagen Informelle Definition von Aussagen Logische Verknüpfungen Mengen Mengen und deren Beschreibungen Allquantor und Existenzquantor […]