Results of search for 'ccl=su:"Computer software."' › Sri S.G. Balekundri Central Library and Information Centre catalog

Results
	141.	Interactive Theorem Proving [electronic resource] : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / edited by Gerwin Klein, Ruben Gamboa. by Klein, Gerwin [editor.] Gamboa, Ruben [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8558 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	142.	Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 10th International Conference, MLDM 2014, St. Petersburg, Russia, July 21-24, 2014. Proceedings / edited by Petra Perner. by Perner, Petra [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8556 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	143.	Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 10th International Meeting, CIBB 2013, Nice, France, June 20-22, 2013, Revised Selected Papers / edited by Enrico Formenti, Roberto Tagliaferri, Ernst Wit. by Formenti, Enrico [editor.] Tagliaferri, Roberto [editor.] Wit, Ernst [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8452 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	144.	Graph Transformation [electronic resource] : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings / edited by Holger Giese, Barbara König. by Giese, Holger [editor.] König, Barbara [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8571 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	145.	Computational Science and Its Applications – ICCSA 2014 [electronic resource] : 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part II / edited by Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falcão, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Rocha, Ana Maria A. C [editor.] Torre, Carmelo [editor.] Rocha, Jorge Gustavo [editor.] Falcão, Maria Irene [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Gervasi, Osvaldo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8580 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	146.	Computational Science and Its Applications – ICCSA 2014 [electronic resource] : 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part I / edited by Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falcão, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Rocha, Ana Maria A. C [editor.] Torre, Carmelo [editor.] Rocha, Jorge Gustavo [editor.] Falcão, Maria Irene [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Gervasi, Osvaldo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8579 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	147.	Computational Science and Its Applications – ICCSA 2014 [electronic resource] : 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part IV / edited by Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falcão, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Rocha, Ana Maria A. C [editor.] Torre, Carmelo [editor.] Rocha, Jorge Gustavo [editor.] Falcão, Maria Irene [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Gervasi, Osvaldo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8582 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	148.	Computational Science and Its Applications – ICCSA 2014 [electronic resource] : 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part III / edited by Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falcão, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Rocha, Ana Maria A. C [editor.] Torre, Carmelo [editor.] Rocha, Jorge Gustavo [editor.] Falcão, Maria Irene [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Gervasi, Osvaldo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8581 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	149.	Computational Science and Its Applications – ICCSA 2014 [electronic resource] : 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part VI / edited by Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falcão, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Rocha, Ana Maria A. C [editor.] Torre, Carmelo [editor.] Rocha, Jorge Gustavo [editor.] Falcão, Maria Irene [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Gervasi, Osvaldo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8584 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	150.	Computational Science and Its Applications – ICCSA 2014 [electronic resource] : 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part V / edited by Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Torre, Jorge Gustavo Rocha, Maria Irene Falcão, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Rocha, Ana Maria A. C [editor.] Torre, Carmelo [editor.] Rocha, Jorge Gustavo [editor.] Falcão, Maria Irene [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Gervasi, Osvaldo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8583 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	151.	Computers and Games [electronic resource] : 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers / edited by H. Jaap van den Herik, Hiroyuki Iida, Aske Plaat. by van den Herik, H. Jaap [editor.] Iida, Hiroyuki [editor.] Plaat, Aske [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8427 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	152.	Combinatorial Optimization [electronic resource] : Third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014, Revised Selected Papers / edited by Pierre Fouilhoux, Luis Eduardo Neves Gouveia, A. Ridha Mahjoub, Vangelis T. Paschos. by Fouilhoux, Pierre [editor.] Gouveia, Luis Eduardo Neves [editor.] Mahjoub, A. Ridha [editor.] Paschos, Vangelis T [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8596 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	153.	Pattern Recognition in Bioinformatics [electronic resource] : 9th IAPR International Conference, PRIB 2014, Stockholm, Sweden, August 21-23, 2014. Proceedings / edited by Matteo Comin, Lukas Käll, Elena Marchiori, Alioune Ngom, Jagath Rajapakse. by Comin, Matteo [editor.] Käll, Lukas [editor.] Marchiori, Elena [editor.] Ngom, Alioune [editor.] Rajapakse, Jagath [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8626 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	154.	Pervasive Computing and the Networked World [electronic resource] : Joint International Conference, ICPCA/SWS 2013, Vina del Mar, Chile, December 5-7, 2013. Revised Selected Papers / edited by Qiaohong Zu, Maria Vargas-Vera, Bo Hu. by Zu, Qiaohong [editor.] Vargas-Vera, Maria [editor.] Hu, Bo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8351 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	155.	Artificial General Intelligence [electronic resource] : 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014. Proceedings / edited by Ben Goertzel, Laurent Orseau, Javier Snaider. by Goertzel, Ben [editor.] Orseau, Laurent [editor.] Snaider, Javier [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8598 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	156.	Intelligent Computing in Bioinformatics [electronic resource] : 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014. Proceedings / edited by De-Shuang Huang, Kyungsook Han, Michael Gromiha. by Huang, De-Shuang [editor.] Han, Kyungsook [editor.] Gromiha, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8590 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	157.	Intelligent Computing Methodologies [electronic resource] : 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014. Proceedings / edited by De-Shuang Huang, Kang-Hyun Jo, Ling Wang. by Huang, De-Shuang [editor.] Jo, Kang-Hyun [editor.] Wang, Ling [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8589 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	158.	Networked Systems [electronic resource] : Second International Conference, NETYS 2014, Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers / edited by Guevara Noubir, Michel Raynal. by Noubir, Guevara [editor.] Raynal, Michel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8593 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	159.	Learning and Intelligent Optimization [electronic resource] : 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers / edited by Panos M. Pardalos, Mauricio G.C. Resende, Chrysafis Vogiatzis, Jose L. Walteros. by Pardalos, Panos M [editor.] Resende, Mauricio G.C [editor.] Vogiatzis, Chrysafis [editor.] Walteros, Jose L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8426 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	160.	Structural Information and Communication Complexity [electronic resource] : 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014. Proceedings / edited by Magnús M. Halldórsson. by Halldórsson, Magnús M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8576 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold