Berechnungstheorie für Informatiker

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

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

The Foundations of Program Verification (Series in Computer Science) (German Edition)

Vorlesungen über Informatik Berechenbarkeit, formale Sprachen, Spezifikationen

Aufbau und Arbeitsweise von Rechenanlagen Eine Einführung in Rechnerarchitektur und Rechnerorganisation für das Grundstudium der Informatik

Theoretische Informatik Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie

Formale Grundlagen der Programmierung

Einführung in die mathematische Logik ein Lehrbuch mit Berücksichtigung der Logikprogrammierung

Automaten Sprachen Berechenbarkeit Grundkurs Angewandte Informatik IV

A Basis for Theoretical Computer Science (Monographs in Computer Science)

Description