Narrow search
Showing 1 - 10 of 94
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
Mathematical theory of program correctness
Bakker, Jacobus Willem de - 1980 - 1. [Dr.]
Persistent link: https://www.econbiz.de/10004153109
Cover Image
Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23 - 26, 1978
Blum, Edward K. (contributor) - 1979
Persistent link: https://www.econbiz.de/10004681311
Cover Image
Studies in automatic programming logic
Manna, Zohar (contributor); Waldinger, Richard (contributor) - 1977
Persistent link: https://www.econbiz.de/10004613949
Cover Image
The foundations of program verification
Loeckx, Jacques; Sieber, Kurt - 1984
Persistent link: https://www.econbiz.de/10004618824
Cover Image
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Damm, Werner - 1987
Persistent link: https://www.econbiz.de/10004056271
Cover Image
Proving programs correct
Anderson, Robert B. - 1979
Persistent link: https://www.econbiz.de/10003998415
Cover Image
Programs and machines : an introd. to the theory of computation
Bird, Richard - 1976
Persistent link: https://www.econbiz.de/10003999332
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
Representation-Constrained Canonical Correlation Analysis: A Hybridization of Canonical Correlation and Principal Component Analyses
Mishra, SK - Volkswirtschaftliche Fakultät, … - 2009
The classical canonical correlation analysis is extremely greedy to maximize the squared correlation between two sets of variables. As a result, if one of the variables in the dataset-1 is very highly correlated with another variable in the dataset-2, the canonical correlation will be very high...
Persistent link: https://www.econbiz.de/10005836091