|
|
|
|
|
|
|
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings / edited by Nachum Dershowitz, Andrei Voronkov. by Dershowitz, Nachum [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4790Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Progress in Cryptology – INDOCRYPT 2007 [electronic resource] : 8th International Conference on Cryptology in India, Chennai, India, December 9-13, 2007. Proceedings / edited by K. Srinathan, C. Pandu Rangan, Moti Yung. by Srinathan, K [editor.] | Rangan, C. Pandu [editor.] | Yung, Moti [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4859Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Developments in Language Theory [electronic resource] : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings / edited by Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu. by Gao, Yuan [editor.] | Lu, Hanlin [editor.] | Seki, Shinnosuke [editor.] | Yu, Sheng [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6224Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Computer Analysis of Images and Patterns [electronic resource] : 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II / edited by George Azzopardi, Nicolai Petkov. by Azzopardi, George [editor.] | Petkov, Nicolai [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9257 | Lecture Notes in Computer Science ; 9257Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Complex analysis and dynamical systems II : [electronic resource] a conference in honor of Professor Lawrence Zalcman's sixtieth birthday, June 9-12, 2003, Nahariya, Israel / Mark Agranovsky, Lavi Karp, David Shoikhet, editors. by International Conference on Complex Analysis and Dynamical Systems (2nd : 2003 : Nahariyah, Israel) | Zalcman, Lawrence Allen | Agranovski�i, M. L. (Mark L�vovich) | Karp, Lavi, 1955- | Shoiykhet, David, 1953-. Series: Contemporary mathematics (American Mathematical Society) ; v. 382.Material type: Text;Language: English; Format:
available online
festschrift
; Literary form:
Not fiction
Publication details: Providence, R.I. : Ramat Gan, Israel : American Mathematical Society ; Bar-Ilan University, c2005Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|