Berechnungstheorie für Informatiker

Berechenbarkeit, Komplexitat, Logik: Eine Einfuhrung in Algorithment, Sprachen und Kalkule unter besonderer Berucksichtigung ihrer Komplexitat

Komplexität und Berechenbarkeit über die Möglichkeiten und Grenzen des Computers

Elementare Berechenbarkeitstheorie

Berechenbarkeit Rekursive und Programmierbare Funktionen

Mathematik für Informatiker

Theoretische Informatik eine umfassende Einführung

Formale Grundlagen der Programmierung

Semantik Und Programmverifikation

Berechenbarkeit Komplexität Logik Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Automaten Sprachen Berechenbarkeit Grundkurs Angewandte Informatik IV

Description