Selected Topics in Approximation and Computation Stenger, Frank Kowalski, Marek A. Sikorski, Krzystof A. 9780195080599 International Series of Monographs on Computer Science Innbundet 19.10.1995 Engelsk Midlertidig utsolgt
Computation and Reasoning : A Type Theory for Computer Science Luo, Zhaohui 9780198538356 International Series of Monographs on Computer Science Innbundet 31.03.1994 Engelsk Midlertidig utsolgt
Automated Deduction in Multiple-Valued Logics Hahnle, Reiner 9780198539896 International Series of Monographs on Computer Science Innbundet 06.01.1994 Engelsk Produseres på bestilling
Derivation and Validation of Software Metrics Ince, Darrel Shepperd, Martin 9780198538424 International Series of Monographs on Computer Science Innbundet 16.09.1993 Engelsk Midlertidig utsolgt