Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R250 - R500 (1)
  • R500 - R1,000 (1)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

An Introduction to the PL/CV2 Programming Logic (Paperback, 1982 ed.): R.L. Constable, SD Johnson, C. D Eichenlaub An Introduction to the PL/CV2 Programming Logic (Paperback, 1982 ed.)
R.L. Constable, SD Johnson, C. D Eichenlaub
R1,924 R603 Discovery Miles 6 030 Save R1,321 (69%)
Add to cart
Ships in 12 - 17 working days
Implementing Mathematics with The Nuprl Proof Development System (Paperback): R.L. Constable Implementing Mathematics with The Nuprl Proof Development System (Paperback)
R.L. Constable
R402 Discovery Miles 4 020 Out of stock

Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as a manual for users of the Nuprl system Give an overview of the project for those interested in applications of the results and for those inclined to basic research in the area Present research which has arisen as we have worked on the Nuprl system

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Strategic Human Resource Management (Paperback, 2nd Revised edition): Catherine Bailey, David Mankin, Clare Kelliher, Thomas...
Strategic Human Resource Management
Catherine Bailey, David Mankin, … Paperback  (1)
 R760 R699 Discovery Miles 6 990
SUNDIALS of EUROPE (Hardcover): Marianne Raab, Keith Allan Noble
SUNDIALS of EUROPE
Marianne Raab, Keith Allan Noble Hardcover R952 Discovery Miles 9 520
Paddington 2 - Paddington die kunstenaar; Paddington in die hospitaal; Paddington by die dieretuin (Afrikaans, Hardcover):...
Paddington 2 - Paddington die…
Michael Bond Hardcover R191 Discovery Miles 1 910
A Treatise on the Adaptation of Atmospheric Pressure to the Purposes of Locomotion on Railways - With Two Plates (Paperback):...
A Treatise on the Adaptation of…
Joseph D'Aguilar Samuda Paperback R365 Discovery Miles 3 650
Katastrofe (Afrikaans, Paperback): De Wet Hugo
Katastrofe
De Wet Hugo Paperback R160 R138 Discovery Miles 1 380
South African clinical nurse practitioner's manual (Paperback):
South African clinical nurse…
Paperback R780 R716 Discovery Miles 7 160
United States Circuit Court of Appeals for the Ninth Circuit: Northern Pacific Railway Company, Plaintiff in Error, Vs. James...
United States Circuit Court of Appeals…
United States Court of Appeals Paperback R613 Discovery Miles 6 130
Maine Nursing - Interviews and History on Caring and Competence (Paperback): Valerie Hart, Susan Henderson, Juliana...
Maine Nursing - Interviews and History…
Valerie Hart, Susan Henderson, … Paperback R587 Discovery Miles 5 870
Journal of Natural Philosophy, Chemistry, and the Arts - Illustrated With Engravings. by William Nicholson (Paperback): William...
Journal of Natural Philosophy…
William Nicholson Paperback R576 Discovery Miles 5 760
Grace Comes at Christmas - Gracia Viene En La Navidad (Hardcover): M J McCluskey
Grace Comes at Christmas - Gracia Viene…
M J McCluskey Hardcover R424 Discovery Miles 4 240

 
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners