Deepak Kapur - Böcker

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

4 produkter

Kategorier

4 produkter

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, Engelska, 2014

709 kr

Skickas inom 10-15 vardagar

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, Engelska, 2016

709 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing – ICTAC 2017

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

Av Dang Van Hung, Deepak Kapur

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Automated Deduction - CADE-11

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

Av Deepak Kapur

Häftad, Engelska, 1992

1 409 kr

Skickas inom 10-15 vardagar