|
|
|
|
|
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part II / edited by Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, Xiaofang Zhou. by Liddle, Stephen W [editor.] | Schewe, Klaus-Dieter [editor.] | Tjoa, A Min [editor.] | Zhou, Xiaofang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7447Source: 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): .
|
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I / edited by Yang Xiang, Ivan Stojmenovic, Bernady O. Apduhan, Guojun Wang, Koji Nakano, Albert Zomaya. by Xiang, Yang [editor.] | Stojmenovic, Ivan [editor.] | Apduhan, Bernady O [editor.] | Wang, Guojun [editor.] | Nakano, Koji [editor.] | Zomaya, Albert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7439Source: 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): .
|
|
|
|
|
Serious Games Development and Applications [electronic resource] : Third International Conference, SGDA 2012, Bremen, Germany, September 26-29, 2012. Proceedings / edited by Minhua Ma, Manuel Fradinho Oliveira, Jannicke Baalsrud Hauge, Heiko Duin, Klaus-Dieter Thoben. by Ma, Minhua [editor.] | Oliveira, Manuel Fradinho [editor.] | Hauge, Jannicke Baalsrud [editor.] | Duin, Heiko [editor.] | Thoben, Klaus-Dieter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7528Source: 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): .
|
|
|
|
|
Software Language Engineering [electronic resource] : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / edited by Krzysztof Czarnecki, Görel Hedin. by Czarnecki, Krzysztof [editor.] | Hedin, Görel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7745Source: 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): .
|
|
|
|
|
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Vittorio Cortellessa, Dániel Varró. by Cortellessa, Vittorio [editor.] | Varró, Dániel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7793Source: 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): .
|
|
|
|
|
|
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti. by Hierons, Robert M [editor.] | Merayo, Mercedes G [editor.] | Bravetti, Mario [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8137Source: 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): .
|
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : FC 2013 Workshops, USEC and WAHC 2013, Okinawa, Japan, April 1, 2013, Revised Selected Papers / edited by Andrew A. Adams, Michael Brenner, Matthew Smith. by Adams, Andrew A [editor.] | Brenner, Michael [editor.] | Smith, Matthew [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7862Source: 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): .
|
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by McMillan, Ken [editor.] | Middeldorp, Aart [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8312Source: 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): .
|
|
|
|
|
The legacy of the inverse scattering transform in applied mathematics : [electronic resource] proceedings of an AMS-IMS-SIAM joint summer research conference on the legacy of inverse scattering transform in nonlinear wave propagation June 17-21, 2001 Mount Holyoke College, South Hadley, MA / Jerry Bona, Roy Choudhury, David Kaup, editors. by AMS-IMS-SIAM Joint Summer Research Conference on the Legacy of Inverse Scattering Transform in Nonlinear Wave Propagation (2001 : South Hadley, Mass.) | Bona, J. L | Choudhury, Roy, 1956- | Kaup, David, 1939-. Series: Contemporary mathematics (American Mathematical Society) ; v. 301.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2002Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Topics in algebraic geometry and geometric modeling : [electronic resource] Workshop on Algebraic Geometry and Geometric Modeling, July 29-August 2, 2002, Vilnius University, Vilnius, Lithuania / Ron Goldman, Rimvydas Krasauskas, editors. by Workshop on Algebraic Geometry and Geometric Modeling (2002 : Vilnius University) | Goldman, Ron, 1947- | Krasauskas, Rimvydas, 1958-. Series: Contemporary mathematics (American Mathematical Society) ; v. 334.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, 2003Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Differential geometry and control : [electronic resource] Summer Research Institute on Differential Geometry and Control, June 29-July 19, 1997, University of Colorado, Boulder / G. Ferreyra ... [et al.], editors. by Summer Research Institute on Differential Geometry and Control (1997 : University of Colorado, Boulder) | Ferreyra, Guillermo Segundo, 1953-. Series: Proceedings of symposia in pure mathematics ; v. 64Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1999Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Towards Integrative Machine Learning and Knowledge Extraction [electronic resource] : BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers / edited by Andreas Holzinger, Randy Goebel, Massimo Ferri, Vasile Palade. by Holzinger, Andreas [editor.] | Goebel, Randy [editor.] | Ferri, Massimo [editor.] | Palade, Vasile [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10344 | Lecture Notes in Computer Science ; 10344Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Intelligent Computing Theories and Methodologies [electronic resource] : 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part I / edited by De-Shuang Huang, Vitoantonio Bevilacqua, Prashan Premaratne. by Huang, De-Shuang [editor.] | Bevilacqua, Vitoantonio [editor.] | Premaratne, Prashan [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9225 | Lecture Notes in Computer Science ; 9225Edition: 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): .
|
|
|
|
|
Artificial Intelligence XXXIV [electronic resource] : 37th SGAI International Conference on Artificial Intelligence, AI 2017, Cambridge, UK, December 12-14, 2017, Proceedings / edited by Max Bramer, Miltos Petridis. by Bramer, Max [editor.] | Petridis, Miltos [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10630 | Lecture Notes in Computer Science ; 10630Edition: 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] : 10th International Conference on Interactive Digital Storytelling, ICIDS 2017 Funchal, Madeira, Portugal, November 14–17, 2017, Proceedings / edited by Nuno Nunes, Ian Oakley, Valentina Nisi. by Nunes, Nuno [editor.] | Oakley, Ian [editor.] | Nisi, Valentina [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10690 | Lecture Notes in Computer Science ; 10690Edition: 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): .
|
