Filter By
Books (6)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Constitutional Law by Ian D. Loveland 9781138738768
RRP: $45.14Booksplease Price: $43.90This title was first published in 2000: This volume of essays explores a number of fundamental constitutional law questions in a variety of historical and jurisdictional contexts. The contributions... -
Automated Theorem Proving in Software Engineering by D. Loveland 9783540679899
Booksplease Price: $59.70Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the... -
Automated Theorem Proving in Software Engineering by D. Loveland 9783642087592
Booksplease Price: $60.29Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the... -
7th International Conference on Automated Deduction: Proceedings by R.E. Shostak 9780387960227
Booksplease Price: $118.27The Seventh International Conference on Automated Deduction was held May 14-16, 19S4, in Napa, California. The conference is the primary forum for reporting research in all aspects of automated... -
An Introduction to Nuclear Fission by Walid Younes 9783030845919
RRP: $96.74Booksplease Price: $91.44This hands-on textbook introduces physics and nuclear engineering students to the experimental and theoretical aspects of fission physics for research and applications through worked examples and... -
An Introduction to Nuclear Fission by Walid Younes 9783030845940
RRP: $70.94Booksplease Price: $34.31This hands-on textbook introduces physics and nuclear engineering students to the experimental and theoretical aspects of fission physics for research and applications through worked examples and...