| Select number of records to
display per page:
|
Sort by
|
|
1.
|
|
|
Selected Topics in Approximation and Computation(Hardback)
Oxford University Press Inc
Selected Topics in Approximation and Computation is a combination of expositions of basic classical methods of approximation leading to popular splines and new explicit tools of computation, includi...
|
In Stock:
None
| List Price:
|
£51.00 |
|
Our Price:
£44.63
|
|
|
|
|
|
|
|
2.
|
|
|
Computation and Reasoning(Hardback)
A Type Theory for Computer Science
Clarendon Press
Published:
31/03/1994
Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, type theory is shown to offer a powerful and uniform lang...
|
In Stock:
None
| List Price:
|
£83.00 |
|
Our Price:
£72.63
|
|
|
|
|
|
|
|
3.
|
|
|
Derivation and Validation of Software Metrics(Hardback)
Clarendon Press
Published:
16/09/1993
Software metrication is an attempt to use measurement ideas from other engineering disciplines in order to provide managers with better facilities for monitoring, estimating, and controlling softwar...
|
In Stock:
None
| List Price:
|
£27.49 |
|
Our Price:
£24.05
|
|
|
|
|
|
|
|
4.
|
|
|
Automated Deduction in Multiple-Valued Logics(Hardback)
Clarendon Press
Published:
01/01/1994
BL The first book on this subject - fully self-contained and unified approachThe author has developed here a unified approach to automated reasoning in multiple-valued logics (MVL). The book also ...
|
In Stock:
None
| List Price:
|
£137.50 |
|
Our Price:
£120.31
|
|
|
|
|
|
|
|
5.
|
|
|
Discrete Relaxation Techniques(Hardback)
Oxford University Press Inc
This book aims to provide the reader with a firm foundation in these techniques and to introduce areas of application in computer vision and artificial intelligence.
|
|
|
Select All |
|
|
|