| Select number of records to
display per page:
|
Sort by
|
|
1.
|
|
|
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:
|
£88.00 |
|
Our Price:
£85.36
|
|
|
|
|
|
|
|
2.
|
|
|
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:
|
£28.99 |
|
Our Price:
£28.12
|
|
|
|
|
|
|
|
3.
|
|
|
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:
|
£107.50 |
|
Our Price:
£94.06
|
|
|
|
|
|
|
|
4.
|
|
|
Domain Science and Engineering(Paperback / softback)
A Foundation for Software Development
Published:
10/11/2022
In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing systems from domain descriptions.
|
In Stock:
None
| List Price:
|
£149.99 |
|
Our Price:
£131.24
|
|
Availability:
Temporarily Out of Stock
|
|
|
|
|
|
5.
|
|
|
Coping with Selfishness in Congestion Games(Paperback / softback)
Analysis and Design via LP Duality
Published:
12/05/2024
?Congestion games are a fundamental class of games widely considered and studied in non-cooperative game theory, introduced to model several realistic scenarios in which people share a limited quant...
|
In Stock:
None
| List Price:
|
£149.99 |
|
Our Price:
£131.24
|
|
Availability:
Temporarily Out of Stock
|
|
|
|
|
|
6.
|
|
|
New Trends In Computer Networks(Hardback)
Imperial College Press
Published:
03/10/2005
|
In Stock:
None
| List Price:
|
£141.00 |
|
Our Price:
£126.90
|
|
Availability:
Temporarily Out of Stock
|
|
|
|
|
|
7.
|
|
|
Innovative Applications Of Information Technology For The De...(Hardback)
Imperial College Press
Published:
03/07/2007
Information and communication technology (ICT) has become a generic and indispensable tool for addressing and solving problems in such diverse areas as management, social and health services, transp...
|
In Stock:
None
| List Price:
|
£194.00 |
|
|
|
Availability:
Being Reprinted
|
|
|
|
|
|
8.
|
|
|
9.
|
|
|
10.
|
|
|