Deepak Kapur - Böcker

Visar alla böcker från författaren Deepak Kapur.
4 produkter
Stéphane Demri, Deepak Kapur, Christoph Weidenbach, Stephane Demri - Automated Reasoning, Häftad

Automated Reasoning

Av Stéphane Demri, Deepak Kapur, Christoph Weidenbach, Stephane Demri

Häftad, Engelska, 2014

709 kr

Skickas inom 10-15 vardagar
Martin Fränzle, Deepak Kapur, Naijun Zhan - Dependable Software Engineering: Theories, Tools, and Applications, Häftad

Dependable Software Engineering: Theories, Tools, and Applications

Av Martin Fränzle, Deepak Kapur, Naijun Zhan

Häftad, Engelska, 2016

709 kr

Skickas inom 10-15 vardagar
Dang Van Hung, Deepak Kapur - Theoretical Aspects of Computing – ICTAC 2017, Häftad

Theoretical Aspects of Computing – ICTAC 2017

Av Dang Van Hung, Deepak Kapur

Häftad, Engelska, 2017

739 kr

Skickas inom 10-15 vardagar
Deepak Kapur - Automated Deduction - CADE-11, Häftad

Automated Deduction - CADE-11

Av Deepak Kapur

Häftad, Engelska, 1992

1 409 kr

Skickas inom 10-15 vardagar