|
|
|
|
Distributed Computing [electronic resource] : 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings / edited by Nancy A. Lynch, Alexander A. Shvartsman. by Lynch, Nancy A [editor.] | Shvartsman, Alexander A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6343Source: 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): .
|
|
|
|
|
Mathematical Foundations of Computer Science 2012 [electronic resource] : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings / edited by Branislav Rovan, Vladimiro Sassone, Peter Widmayer. by Rovan, Branislav [editor.] | Sassone, Vladimiro [editor.] | Widmayer, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7464Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advanced classical electromagnetism Wald ,M Robert by Wald, Robert M. Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Princeton Princeton University Press 2022Availability: No items available : Checked out (1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / edited by Jim Davies, Leila Silva, Adenilso Simao. by Davies, Jim [editor.] | Silva, Leila [editor.] | Simao, Adenilso [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6527Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Methods, Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers / edited by Adenilso Simao, Carroll Morgan. by Simao, Adenilso [editor.] | Morgan, Carroll [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7021Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Modelling Foundations and Applications [electronic resource] : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings / edited by Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitris Kolovos. by Vallecillo, Antonio [editor.] | Tolvanen, Juha-Pekka [editor.] | Kindler, Ekkart [editor.] | Störrle, Harald [editor.] | Kolovos, Dimitris [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7349Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings / edited by Juliano Iyoda, Leonardo Moura. by Iyoda, Juliano [editor.] | Moura, Leonardo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8195Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / edited by Leila Ribeiro, Thierry Lecomte. by Ribeiro, Leila [editor.] | Lecomte, Thierry [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10090 | Lecture Notes in Computer Science ; 10090Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Inductive Logic Programming [electronic resource] : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers / edited by James Cussens, Alessandra Russo. by Cussens, James [editor.] | Russo, Alessandra [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10326 | Lecture Notes in Computer Science ; 10326Edition: 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): .
|
|
|
|
|
Interactive Storytelling [electronic resource] : 9th International Conference on Interactive Digital Storytelling, ICIDS 2016, Los Angeles, CA, USA, November 15–18, 2016, Proceedings / edited by Frank Nack, Andrew S. Gordon. by Nack, Frank [editor.] | Gordon, Andrew S [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10045 | Lecture Notes in Computer Science ; 10045Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Home in the World : A Memoir by Sen, Amartya. ;Language: English Language: English Publication details: London Penguin 2022Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 3, Shelf No: 3 Call number: 330 SEN.
|
|
|
|
|
Foundations of Infectious Disease : A Public Health Perspective by Adams, David P. ;Language: English Language: English Publication details: Burlington, MA Jones & Bartlett Learning 2021Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 46; Shelf No: 30 Call number: 574 ADA.
|
|
|
|
|
Foundations of Intelligent Systems [electronic resource] : 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings / edited by Aijun An, Stan Matwin, Zbigniew W. Raś, Dominik Ślęzak. by An, Aijun [editor.] | Matwin, Stan [editor.] | Raś, Zbigniew W [editor.] | Ślęzak, Dominik [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4994Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Mathematical Foundations of Computer Science 1998 [electronic resource] : 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24–28, 1998 Proceedings / edited by Luboš Brim, Jozef Gruska, Jiří Zlatuška. by Brim, Luboš [editor.] | Gruska, Jozef [editor.] | Zlatuška, Jiří [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1450Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Scale Space and Variational Methods in Computer Vision [electronic resource] : Second International Conference, SSVM 2009, Voss, Norway, June 1-5, 2009. Proceedings / edited by Xue-Cheng Tai, Knut Mørken, Marius Lysaker, Knut-Andreas Lie. by Tai, Xue-Cheng [editor.] | Mørken, Knut [editor.] | Lysaker, Marius [editor.] | Lie, Knut-Andreas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5567Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Language and Automata Theory and Applications [electronic resource] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe. by Dediu, Adrian-Horia [editor.] | Martín-Vide, Carlos [editor.] | Truthe, Bianca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7810Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Foundations of Augmented Cognition: Neuroergonomics and Operational Neuroscience [electronic resource] : 10th International Conference, AC 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part I / edited by Dylan D. Schmorrow, Cali M. Fidopiastis. by Schmorrow, Dylan D [editor.] | Fidopiastis, Cali M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9743 | Lecture Notes in Computer Science ; 9743Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
