Deepak Kapur - Böcker
Visar alla böcker från författaren Deepak Kapur.
4 produkter
4 produkter
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
Häftad, Engelska, 2014
719 kr
Skickas inom 10-15 vardagar
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
Häftad, Engelska, 2016
719 kr
Skickas inom 10-15 vardagar
Del 10580 - Lecture Notes in Computer Science
Theoretical Aspects of Computing – ICTAC 2017
14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Häftad, Engelska, 2017
719 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
Häftad, Engelska, 1992
1 429 kr
Skickas inom 10-15 vardagar