Deepak Kapur – författare

Visar alla böcker från författaren Deepak Kapur.

4 produkter

1. 

   Automated Reasoning

   7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

   Av Stéphane Demri, Deepak Kapur m. fl.

   Häftad, 2014

   739 kr

   Lägg i varukorg

2. 

   Dependable Software Engineering: Theories, Tools, and Applications

   Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

   Av Martin Fränzle, Deepak Kapur m. fl.

   Häftad, 2016

   739 kr

   Lägg i varukorg

3. 

   Theoretical Aspects of Computing – ICTAC 2017

   14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

   Av Dang Van Hung, Deepak Kapur

   Häftad, 2017

   739 kr

   Lägg i varukorg

4. 

   Automated Deduction - CADE-11

   11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings

   Av Deepak Kapur

   Häftad, 1992

   1469 kr

   Lägg i varukorg