Narrow search
Showing 1 - 10 of 45
Cover Image
Analyse und Verifikation von Programmen : systematische Verfahren und Untersuchungen zur Erstellung fehlerfreier Software
Endres, Albert - 1977 - 1. Aufl.
Persistent link: https://www.econbiz.de/10000115314
Cover Image
Theoretische Analyse und praktische Anwendung von Modellen der optimalen Ausschußvorgabe unter Berücksichtigung des EDV-Einsatzes
Gollers, Rolf; Kleibohm, Klaus - 1980
Persistent link: https://www.econbiz.de/10004210552
Cover Image
Der berechenbare Mensch
Swoboda, Helmut - 1974
Persistent link: https://www.econbiz.de/10004700345
Cover Image
Einführung in Algorithmen und Berechenbarkeit
1981
Persistent link: https://www.econbiz.de/10004822503
Cover Image
Die Prüfung von ADV-Programmen : eine entscheidungsorientierte Analyse der Methoden zur Revision von Softwaresystemen
Duck, Klaus - 1985 - 1. Aufl.
Persistent link: https://www.econbiz.de/10013430915
Cover Image
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen
Hermes, Hans - 1971 - 2. Aufl.
Persistent link: https://www.econbiz.de/10009584226
Cover Image
Eine Methode zur Aktualisierung aussagenlogischer Wissensbasen
Weber, Andreas A. - 1987
Persistent link: https://www.econbiz.de/10000729901
Cover Image
Erfüllbarkeitsalgorithmen und die Problematik ihrer Realisierung in einem System zur Logikverarbeitung
Lettmann, Theodor - 1987
Persistent link: https://www.econbiz.de/10000759126
Cover Image
Moderne Logik : Abriss der formalen Logik
Klaus, Georg - 1964
Persistent link: https://www.econbiz.de/10000519016
Cover Image
Einführung in die mathematische Logik und in die Methodologie der Mathematik
Tarski, Alfred - 1937
Persistent link: https://www.econbiz.de/10000376420