|
|
|
|
Advances in Information Retrieval [electronic resource] : 27th European Conference on IR Research, ECIR 2005, Santiago de Compostela, Spain, March 21-23, 2005. Proceedings / edited by David E. Losada, Juan M. Fernández-Luna. by Losada, David E [editor.] | Fernández-Luna, Juan M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3408Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Artificial Intelligence in Medicine [electronic resource] : 9th Conference on Artificial Intelligence, in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003. Proceedings / edited by Michel Dojat, Elpida T. Keravnou, Pedro Barahona. by Dojat, Michel [editor.] | Keravnou, Elpida T [editor.] | Barahona, Pedro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2780Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Artificial Intelligence [electronic resource] : 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11–13, 2003, Proceedings / edited by Yang Xiang, Brahim Chaib-draa. by Xiang, Yang [editor.] | Chaib-draa, Brahim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 2671Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Information Processing in Medical Imaging [electronic resource] : 24th International Conference, IPMI 2015, Sabhal Mor Ostaig, Isle of Skye, UK, June 28 - July 3, 2015, Proceedings / edited by Sebastien Ourselin, Daniel C. Alexander, Carl-Fredrik Westin, M. Jorge Cardoso. by Ourselin, Sebastien [editor.] | Alexander, Daniel C [editor.] | Westin, Carl-Fredrik [editor.] | Cardoso, M. Jorge [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9123 | Lecture Notes in Computer Science ; 9123Edition: 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): .
|
|
|
|
|
Séminaire de Probabilités XLI [electronic resource] / edited by Catherine Donati-Martin, Michel Émery, Alain Rouault, Christophe Stricker. by Donati-Martin, Catherine [editor.] | Émery, Michel [editor.] | Rouault, Alain [editor.] | Stricker, Christophe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics, Séminaire de Probabilités ; 1934Source: 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): .
|
|
|
|
|
NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / edited by Guillaume Brat, Neha Rungta, Arnaud Venet. by Brat, Guillaume [editor.] | Rungta, Neha [editor.] | Venet, Arnaud [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7871Source: 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] : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Martí-Oliet. by Braga, Christiano [editor.] | Martí-Oliet, Narciso [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 8941 | Lecture Notes in Computer Science ; 8941Edition: 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): .
|
|
|
|
|
Walk through combinatorics : An introduction to enumeration and graph theory by Bona, Miklos. Edition: 5th ed.Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: New Jersey World Scientific 2024Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 15 Call number: 511 BONA.
|
|
|
|
|
|
|
|
|
|
Uncertainty Reasoning for the Semantic Web II [electronic resource] : International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers / edited by Fernando Bobillo, Paulo C. G. Costa, Claudia d’Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool. by Bobillo, Fernando [editor.] | Costa, Paulo C. G [editor.] | d’Amato, Claudia [editor.] | Fanizzi, Nicola [editor.] | Laskey, Kathryn B [editor.] | Laskey, Kenneth J [editor.] | Lukasiewicz, Thomas [editor.] | Nickles, Matthias [editor.] | Pool, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7123Source: 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): .
|
|
|
|
|
Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 [electronic resource] : 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006. Proceedings / edited by Jaime Simão Sichman, Helder Coelho, Solange Oliveira Rezende. by Sichman, Jaime Simão [editor.] | Coelho, Helder [editor.] | Rezende, Solange Oliveira [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4140Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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): .
|
|
|
|
|
|
|
|
|
|
Computer Performance Evaluation: Modelling Techniques and Tools [electronic resource] : 12th International Conference, TOOLS 2002 London, UK, April 14–17, 2002 Proceedings / edited by Tony Field, Peter G. Harrison, Jeremy Bradley, Uli Harder. by Field, Tony [editor.] | Harrison, Peter G [editor.] | Bradley, Jeremy [editor.] | Harder, Uli [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2324Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Artificial Neural Networks in Pattern Recognition [electronic resource] : Third IAPR Workshop, ANNPR 2008 Paris, France, July 2-4, 2008 Proceedings / edited by Lionel Prevost, Simone Marinai, Friedhelm Schwenker. by Prevost, Lionel [editor.] | Marinai, Simone [editor.] | Schwenker, Friedhelm [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5064Source: 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): .
|
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings / edited by Rohit Gheyi, David Naumann. by Gheyi, Rohit [editor.] | Naumann, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7498Source: 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): .
|
|
|
|
|
An introduction to stochastic differential equations by Evans, Lawrence C. Edition: Indian EditionMaterial type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Providence, Rhode Island American Mathematical Society (AMS) 2023Availability: Items available for loan: IMSc Library (2). Location(s): Multiple Copies Section, Shelf No: 7 Call number: 519.216 EVA.
|
|
|
|
|
|
|
|
|
|
Engineering Knowledge in the Age of the Semantic Web [electronic resource] : 14th International Conference, EKAW 2004, Whittlebury Hall, UK, October 5-8, 2004. Proceedings / edited by Enrico Motta, Nigel R Shadbolt, Arthur Stutt, Nick Gibbins. by Motta, Enrico [editor.] | Shadbolt, Nigel R [editor.] | Stutt, Arthur [editor.] | Gibbins, Nick [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3257Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
