International Series of Monographs on Computer Science – serie
Visar alla böcker i serien International Series of Monographs on Computer Science. Handla med fri frakt och snabb leverans.
4 produkter
Selected Topics in Approximation and Computation
Av Marek A. Kowalski, Krzystof A. Sikorski m. fl.
Inbunden, 1995
1060 kr
Lägg i varukorg
This graduate text addresses the relationship between modern approximation theory and computational methods. It is a combination of expositions of basic classical methods of approximation leading to popular splines and new explicit tools of computation, including sinc methods, elliptic function …
Computation and Reasoning
A Type Theory for Computer Science
Av Zhaohui Luo
Inbunden, 1994
1683 kr
Lägg i varukorg
The book develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, it shows how the study of type theory may offer a powerful and uniform language for programming, program specification and development, and logical reasoning.The type …
Derivation and Validation of Software Metrics
Av Martin Shepperd, Darrel Ince
Inbunden, 1993
565 kr
Lägg i varukorg
This is the first book of its kind on software metrics - the measurement of software products and processes used for establishing quality assurance thresholds and in predicting quality levels. This authoritative review of the subject discusses a number of weaknesses which have been discovered over …
Automated Deduction in Multiple-Valued Logics
Inbunden, 1994
1801 kr
Lägg i varukorg
This book constitutes a self-contained and unified approach to automated reasoning in multiple-valued logics (MVL) developed by the author. Moreover, it contains a virtually complete account of other approaches to automated reasoning in MVL. This is the first overview of this subfield of automated …
