Deepak D'Souza – författare

Visar alla böcker från författaren Deepak D'Souza.

3 produkter

Kategorier

3 produkter

Del 10482
Del 10482 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings
AvDeepak D'Souza,K. Narayan Kumar
Häftad, Engelska, 2017
739 kr
Skickas inom 10-15 vardagar
Verification, Model Checking, and Abstract Interpretation
16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
AvDeepak D'Souza,Akash Lalm. fl.
Häftad, Engelska, 2015
739 kr
Skickas inom 10-15 vardagar
Del 2
Del 2 - IISC RESEARCH MONOGRAPHS SERIES
MODERN APPLICATIONS OF AUTOMATA THEORY
AvD'SOUZA DEEPAK,Deepak D'Souzam. fl.
Inbunden, Engelska, 2012
5 129 kr
Tillfälligt slut