|
|
|
|
|
|
|
|
|
|
|
Proceedings. [electronic resource] Edited by Leon Henkin and [others]. by Tarski Symposium University of California, Berkeley, 1971 | Tarski, Alfred | Henkin, L�eon [ed.] | University of California, Berkeley | Association for Symbolic Logic | International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science. Series: Proceedings of symposia in pure mathematics ; v. 25Material type: Text;Language: English; Format:
available online
festschrift
; Literary form:
Not fiction
Publication details: Providence, Published for the Association for Symbolic Logic by American Mathematical Society, 1974Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Fetal, Infant and Ophthalmic Medical Image Analysis [electronic resource] : International Workshop, FIFI 2017, and 4th International Workshop, OMIA 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings / edited by M. Jorge Cardoso, Tal Arbel, Andrew Melbourne, Hrvoje Bogunovic, Pim Moeskops, Xinjian Chen, Ernst Schwartz, Mona Garvin, Emma Robinson, Emanuele Trucco, Michael Ebner, Yanwu Xu, Antonios Makropoulos, Adrien Desjardin, Tom Vercauteren. by Cardoso, M. Jorge [editor.] | Arbel, Tal [editor.] | Melbourne, Andrew [editor.] | Bogunovic, Hrvoje [editor.] | Moeskops, Pim [editor.] | Chen, Xinjian [editor.] | Schwartz, Ernst [editor.] | Garvin, Mona [editor.] | Robinson, Emma [editor.] | Trucco, Emanuele [editor.] | Ebner, Michael [editor.] | Xu, Yanwu [editor.] | Makropoulos, Antonios [editor.] | Desjardin, Adrien [editor.] | Vercauteren, Tom [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10554 | Lecture Notes in Computer Science ; 10554Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Advances in Visual Informatics [electronic resource] : 5th International Visual Informatics Conference, IVIC 2017, Bangi, Malaysia, November 28–30, 2017, Proceedings / edited by Halimah Badioze Zaman, Peter Robinson, Alan F. Smeaton, Timothy K. Shih, Sergio Velastin, Tada Terutoshi, Azizah Jaafar, Nazlena Mohamad Ali. by Badioze Zaman, Halimah [editor.] | Robinson, Peter [editor.] | Smeaton, Alan F [editor.] | Shih, Timothy K [editor.] | Velastin, Sergio [editor.] | Terutoshi, Tada [editor.] | Jaafar, Azizah [editor.] | Mohamad Ali, Nazlena [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10645 | Lecture Notes in Computer Science ; 10645Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Advances in Visual Informatics [electronic resource] : 4th International Visual Informatics Conference, IVIC 2015, Bangi, Malaysia, November 17-19, 2015, Proceedings / edited by Halimah Badioze Zaman, Peter Robinson, Alan Smeaton, Timothy K. Shih, Sergio Velastin, Azizah Jaafar, Mohamad Ali Nazlena. by Badioze Zaman, Halimah [editor.] | Robinson, Peter [editor.] | Smeaton, Alan [editor.] | K. Shih, Timothy [editor.] | Velastin, Sergio [editor.] | Jaafar, Azizah [editor.] | Nazlena, Mohamad Ali [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9429 | Lecture Notes in Computer Science ; 9429Edition: 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): .
|
|
|
|
Automata, Graphs and Logic by Thomas, D. Gnanaraj, Ed | Thamburaj, Robinson, Ed. Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Chennai Narosa Publishing House 2019Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 21 Call number: 681.3 THO.
|
|
|
|
|
|
|
|
Companion Encyclopedia of Geography : The Environment and HumanKind by Douglas, Ian (Ed.) | Huggett, Richard (Ed.) | Robinson, Mike (Ed.). ;Language: English Language: English Publication details: New York Routlege 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 59, Shelf No: 2 Call number: 910 DOU.
|