Berechnungstheorie für Informatiker
Berechenbarkeit, Komplexitat, Logik: Eine Einfuhrung in Algorithment, Sprachen und Kalkule unter besonderer Berucksichtigung ihrer Komplexitat
Taschenbuch der Informatik Band I: Grundlagen der technischen Informatik
Theoretische Informatik eine umfassende Einführung
Mathematik für Informatiker
Vorlesungen über Informatik Berechenbarkeit, formale Sprachen, Spezifikationen
Informatik Eine Grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung
Der Rechner als System Organisation, Daten, Programme
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.: Einführung in die Theorie der rekursiven Funktionen (Heidelberger Taschenbücher, Band 87) (German Edition)
Algebra Fur Informatiker (English and German Edition)