Deepak Kapur – författare

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

4 produkter

Kategorier

4 produkter

Del 8562
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
Del 9984
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
Del 10580
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
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 459 kr
Skickas inom 10-15 vardagar