Deepak Kapur

Visar alla böcker från författaren Deepak Kapur. Handla med fri frakt och snabb leverans.

1. 

   Automated Reasoning

   2014

   • Häftad 571 kr
   • E-bok 710 kr
2. 

   Dependable Software Engineering: Theories, Tools, and Applications

   2016

   • Häftad 572 kr
   • E-bok 718 kr
3. 

   Theoretical Aspects of Computing – ICTAC 2017

   2017

   • Häftad 571 kr
   • E-bok 739 kr
4. 

   Automated Deduction - CADE-11

   1992

   • Häftad 1135 kr
5. 

   Computer Mathematics

   2008

   • E-bok 1108 kr