Hoppa till sidans huvudinnehåll

Deepak Kapur – författare

Visar alla böcker från författaren Deepak Kapur.
4 produkter
Stéphane Demri, Deepak Kapur, Christoph Weidenbach - Automated Reasoning, Häftad
Del 8562 - Lecture Notes in Computer Science

Automated Reasoning

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

AvStéphane Demri,Deepak Kapurm. fl.

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Martin Fränzle, Deepak Kapur, Naijun Zhan - Dependable Software Engineering: Theories, Tools, and Applications, Häftad
Del 9984 - Lecture Notes in Computer Science

Dependable Software Engineering: Theories, Tools, and Applications

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

AvMartin Fränzle,Deepak Kapurm. fl.

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Dang Van Hung, Deepak Kapur - Theoretical Aspects of Computing – ICTAC 2017, Häftad
Del 10580 - Lecture Notes in Computer Science

Theoretical Aspects of Computing – ICTAC 2017

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

AvDang Van Hung,Deepak Kapur

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Deepak Kapur - Automated Deduction - CADE-11, Häftad

Automated Deduction - CADE-11

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

AvDeepak Kapur

Häftad, Engelska, 1992

1 449 kr

Skickas inom 10-15 vardagar