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
  • R1,000 - R2,500 (2)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

Types for Proofs and Programs - International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised... Types for Proofs and Programs - International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Paperback, 2006 ed.)
Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
R1,559 Discovery Miles 15 590
Add to cart
Ships in 10 - 15 working days

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

Transnationale Unternehmen als Akteure in der Konfliktpravention. Corporate Social Responsibility-Strategien in den... Transnationale Unternehmen als Akteure in der Konfliktpravention. Corporate Social Responsibility-Strategien in den Konfliktzonen Nigeria und Sudan (German, Paperback)
Benjamin Werner
R2,426 R2,284 Discovery Miles 22 840 Save R142 (6%)
Add to cart
Ships in 10 - 15 working days
Free Delivery
Pinterest Twitter Facebook Google+
You may like...
The Folk Of The Air: Trilogy - The Cruel Prince / The Wicked King / The Queen Of Nothing (Paperback, Boxed set): Holly Black
The Folk Of The Air: Trilogy - The Cruel…
Holly Black Paperback  (3)
 R648 Discovery Miles 6 480
Huntlea Koletto - Matlow Pet Bed (Silhouette) - Medium (750x550mm):
Huntlea Koletto - Matlow Pet Bed…
R969 R562 Discovery Miles 5 620
White Glo Floss Charcoal Mint:
White Glo Floss Charcoal Mint
R50 Discovery Miles 500
Fleshlight Quickshot - Vantage:
Fleshlight Quickshot - Vantage
R1,049 R870 Discovery Miles 8 700
Ultimate Cookies & Cupcakes For Kids (Kit): Hinkler Pty Ltd
Ultimate Cookies & Cupcakes For Kids
Hinkler Pty Ltd Kit R299 R234 Discovery Miles 2 340
1 Litre Unicorn Waterbottle:
1 Litre Unicorn Waterbottle
R70 Discovery Miles 700
Sunbeam Steam and Spray Iron:
Sunbeam Steam and Spray Iron
R270 Discovery Miles 2 700
Hermione Granger Wizard Wand - In Ollivanders Box:
Hermione Granger Wizard Wand - In…
 (1)
 R803 Discovery Miles 8 030
Koh-i-Noor Polycolor Artist Colour Pencils - Portrait (Set of 24):
Koh-i-Noor Polycolor Artist Colour…
 (1)
 R1,274 Discovery Miles 12 740
Bunty 380GSM Golf Towel (30x50cm)(3 Piece)(Cream Birch):
Bunty 380GSM Golf Towel (30x50cm)(3…
R500 R255 Discovery Miles 2 550

 
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