|
|
|
|
|
|
|
Machine Learning and Interpretation in Neuroimaging [electronic resource] : International Workshop, MLINI 2011, Held at NIPS 2011, Sierra Nevada, Spain, December 16-17, 2011, Revised Selected and Invited Contributions / edited by Georg Langs, Irina Rish, Moritz Grosse-Wentrup, Brian Murphy. by Langs, Georg [editor.] | Rish, Irina [editor.] | Grosse-Wentrup, Moritz [editor.] | Murphy, Brian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7263Source: 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): .
|
|
|
|
Applied Semantics [electronic resource] : International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures / edited by Gilles Barthe, Peter Dybjer, Luís Pinto, João Saraiva. by Barthe, Gilles [editor.] | Dybjer, Peter [editor.] | Pinto, Luís [editor.] | Saraiva, João [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2395Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Logical Approaches to Computational Barriers [electronic resource] : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings / edited by Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker. by Beckmann, Arnold [editor.] | Berger, Ulrich [editor.] | Löwe, Benedikt [editor.] | Tucker, John V [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3988Source: 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): .
|
|
|
|
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): .
|
|
|
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings / edited by Lars Arge, Christian Cachin, Tomasz Jurdziński, Andrzej Tarlecki. by Arge, Lars [editor.] | Cachin, Christian [editor.] | Jurdziński, Tomasz [editor.] | Tarlecki, Andrzej [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4596Source: 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): .
|
|
|
|
Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence [electronic resource] : 5th International Conference on Intelligent Computing, ICIC 2009 Ulsan, South Korea, September 16-19, 2009 Proceedings / edited by De-Shuang Huang, Kang-Hyun Jo, Hong-Hee Lee, Hee-Jun Kang, Vitoantonio Bevilacqua. by Huang, De-Shuang [editor.] | Jo, Kang-Hyun [editor.] | Lee, Hong-Hee [editor.] | Kang, Hee-Jun [editor.] | Bevilacqua, Vitoantonio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5755Source: 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): .
|
|
|
|
Medical Image Computing and Computer-Assisted Interventation — MICCAI’98 [electronic resource] : First International Conference Cambridge, MA, USA, October 11–13, 1998 Proceedings / edited by William M. Wells, Alan Colchester, Scott Delp. by Wells, William M [editor.] | Colchester, Alan [editor.] | Delp, Scott [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1496Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Quantum field theory and the standard model by Schwartz, Matthew D. Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: ENg Publication details: New york Cambridge University press 2014Availability: No items available : Checked out (1).
|
|
|
|
Interactive Theorem Proving [electronic resource] : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / edited by Christian Urban, Xingyuan Zhang. by Urban, Christian [editor.] | Zhang, Xingyuan [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9236 | Lecture Notes in Computer Science ; 9236Edition: 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): .
|
|
|
|
|
|
|
|
|