Your search returned 4 results.

Not what you expected? Check for suggestions
E-BOOKS
Automated Deduction—CADE-11 [electronic resource] : 11th International Conference on Automated Deduction Saratoga Springs, NY, USA, June 15–18, 1992 Proceedings / edited by Deepak Kapur.

by Kapur, Deepak [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 607Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Computer Mathematics [electronic resource] : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers / edited by Deepak Kapur.

by Kapur, Deepak [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5081Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Theoretical Aspects of Computing – ICTAC 2017 [electronic resource] : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings / edited by Dang Van Hung, Deepak Kapur.

by Hung, Dang Van [editor.] | Kapur, Deepak [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10580 | Lecture Notes in Computer Science ; 10580Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Dependable Software Engineering: Theories, Tools, and Applications [electronic resource] : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / edited by Martin Fränzle, Deepak Kapur, Naijun Zhan.

by Fränzle, Martin [editor.] | Kapur, Deepak [editor.] | Zhan, Naijun [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9984 | Lecture Notes in Computer Science ; 9984Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha