Related Books | Bookwire

1.

Derivation and Validation of Software Metrics

Author:: Shepperd, Martin
Ince, Darrel

ISBN:: 978-0-19-853842-4

Book Format:: Hardback

List Price:: USD $33.99

Publisher:: Oxford University Press, Incorporated

Publication Date:: Nov 1993

2.

Selected Topics in Approximation and Computation

Author:: Kowalski, Marek
Sikorski, Christopher
Stenger, Frank

ISBN:: 978-0-19-508059-9

Book Format:: Hardback

List Price:: USD $70.00

Publisher:: Oxford University Press, Incorporated

Publication Date:: Aug 1995

3.

Art Gallery Theorems and Algorithms

Author:: O'Rourke, Joseph

ISBN:: 978-0-19-503965-8

Book Format:: Hardback

List Price:: USD $60.00

Publisher:: Oxford University Press, Incorporated

Publication Date:: Oct 1987

4.

Automated Deduction in Multiple-Valued Logics

Author:: Hähnle, Reiner

ISBN:: 978-0-19-853989-6

Book Format:: Hardback

List Price:: USD $175.00

Publisher:: Oxford University Press, Incorporated

Publication Date:: Feb 1994

5.

Initial Computability, Algebraic Specifications, a... - a book by Reichel, Horst

Initial Computability, Algebraic Specifications, and Partial Algebras

Author:: Reichel, Horst

ISBN:: 978-0-19-853806-6

Book Format:: Hardback

List Price:: USD $65.00

Publisher:: Oxford University Press, Incorporated

Publication Date:: Dec 1987

6.

Computation and Reasoning

A Type Theory for Computer Science

Author:: Zhaohui Luo, Zhaohui

ISBN:: 978-0-19-853835-6

Book Format:: Hardback

List Price:: USD $105.00

Publisher:: Oxford University Press, Incorporated

Publication Date:: May 1994

7.

Programming in Martin-Löf's Type Theory

An Introduction

Author:: Nordstrom, Bengt
Petersson, Kent
Smith, Jan M.

ISBN:: 978-0-19-853814-1

Book Format:: Hardback

List Price:: USD $55.00

Publisher:: Oxford University Press, Incorporated

Publication Date:: Jul 1990

8.

Computable Set Theory

Author:: Cantone, Domenico
Ferro, Alfredo
Omodeo, Eugenio

ISBN:: 978-0-19-853807-3

Book Format:: Hardback

List Price:: USD $70.00

Publisher:: Oxford University Press, Incorporated

Publication Date:: Apr 1990

9.

The Combinatorics of Network Reliability

Author:: Colbourn, Charles J.

ISBN:: 978-0-19-504920-6

Book Format:: Hardback

List Price:: USD $34.00

Publisher:: Oxford University Press, Incorporated

Publication Date:: May 1987

10.

Nonlinear Optimization

Complexity Issues

Author:: Vavasis, Stephen A.

ISBN:: 978-0-19-507208-2

Book Format:: Hardback

List Price:: USD $50.00

Publisher:: Oxford University Press, Incorporated

Publication Date:: Oct 1991

11.

Discrete Relaxation Techniques

Author:: Henderson, Thomas C.

ISBN:: 978-0-19-504894-0

Book Format:: Hardback

List Price:: USD $40.00

Publisher:: Oxford University Press, Incorporated

Publication Date:: Dec 1989

Books » Related Books

Related Keywords

Refine Options

Featured Books


1.		Derivation and Validation of Software Metrics Author: Shepperd, Martin Ince, Darrel ISBN: 978-0-19-853842-4 Book Format: Hardback List Price: USD $33.99 Publisher: Oxford University Press, Incorporated Publication Date: Nov 1993 Quantity Note

2.		Selected Topics in Approximation and Computation Author: Kowalski, Marek Sikorski, Christopher Stenger, Frank ISBN: 978-0-19-508059-9 Book Format: Hardback List Price: USD $70.00 Publisher: Oxford University Press, Incorporated Publication Date: Aug 1995 Quantity Note

3.		Art Gallery Theorems and Algorithms Author: O'Rourke, Joseph ISBN: 978-0-19-503965-8 Book Format: Hardback List Price: USD $60.00 Publisher: Oxford University Press, Incorporated Publication Date: Oct 1987 Quantity Note

4.		Automated Deduction in Multiple-Valued Logics Author: Hähnle, Reiner ISBN: 978-0-19-853989-6 Book Format: Hardback List Price: USD $175.00 Publisher: Oxford University Press, Incorporated Publication Date: Feb 1994 Quantity Note

5.		Initial Computability, Algebraic Specifications, and Partial Algebras Author: Reichel, Horst ISBN: 978-0-19-853806-6 Book Format: Hardback List Price: USD $65.00 Publisher: Oxford University Press, Incorporated Publication Date: Dec 1987 Quantity Note

6.		Computation and Reasoning A Type Theory for Computer Science Author: Zhaohui Luo, Zhaohui ISBN: 978-0-19-853835-6 Book Format: Hardback List Price: USD $105.00 Publisher: Oxford University Press, Incorporated Publication Date: May 1994 Quantity Note

7.		Programming in Martin-Löf's Type Theory An Introduction Author: Nordstrom, Bengt Petersson, Kent Smith, Jan M. ISBN: 978-0-19-853814-1 Book Format: Hardback List Price: USD $55.00 Publisher: Oxford University Press, Incorporated Publication Date: Jul 1990 Quantity Note

8.		Computable Set Theory Author: Cantone, Domenico Ferro, Alfredo Omodeo, Eugenio ISBN: 978-0-19-853807-3 Book Format: Hardback List Price: USD $70.00 Publisher: Oxford University Press, Incorporated Publication Date: Apr 1990 Quantity Note

9.		The Combinatorics of Network Reliability Author: Colbourn, Charles J. ISBN: 978-0-19-504920-6 Book Format: Hardback List Price: USD $34.00 Publisher: Oxford University Press, Incorporated Publication Date: May 1987 Quantity Note

10.		Nonlinear Optimization Complexity Issues Author: Vavasis, Stephen A. ISBN: 978-0-19-507208-2 Book Format: Hardback List Price: USD $50.00 Publisher: Oxford University Press, Incorporated Publication Date: Oct 1991 Quantity Note

11.		Discrete Relaxation Techniques Author: Henderson, Thomas C. ISBN: 978-0-19-504894-0 Book Format: Hardback List Price: USD $40.00 Publisher: Oxford University Press, Incorporated Publication Date: Dec 1989 Quantity Note