|
|
|
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie. by Blazy, Sandrine [editor.] | Paulin-Mohring, Christine [editor.] | Pichardie, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7998Source: 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): .
|
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling. by Galmiche, Didier [editor.] | Larchey-Wendling, Dominique [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8123Source: 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, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang. by Grossi, Davide [editor.] | Roy, Olivier [editor.] | Huang, Huaxin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8196Source: 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): .
|
|
|
|
Natural and Artificial Computation for Biomedicine and Neuroscience [electronic resource] : International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part I / edited by José Manuel Ferrández Vicente, José Ramón Álvarez-Sánchez, Félix de la Paz López, Javier Toledo Moreo, Hojjat Adeli. by Ferrández Vicente, José Manuel [editor.] | Álvarez-Sánchez, José Ramón [editor.] | de la Paz López, Félix [editor.] | Toledo Moreo, Javier [editor.] | Adeli, Hojjat [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10337 | Lecture Notes in Computer Science ; 10337Edition: 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): .
|
|
|
|
|
|
|
|
High Performance Computing [electronic resource] : 5th International Symposium, ISHPC 2003, Tokyo-Odaiba, Japan, October 20-22, 2003. Proceedings 13 / edited by Alex Veidenbaum, Kazuki Joe, Hideharu Amano, Hideo Aiso. by Veidenbaum, Alex [editor.] | Joe, Kazuki [editor.] | Amano, Hideharu [editor.] | Aiso, Hideo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2858Source: 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): .
|
|
|
|
High Performance Computing [electronic resource] : Third International Symposium, ISHPC 2000 Tokyo, Japan, October 16–18, 2000 Proceedings / edited by Mateo Valero, Kazuki Joe, Masaru Kitsuregawa, Hidehiko Tanaka. by Valero, Mateo [editor.] | Joe, Kazuki [editor.] | Kitsuregawa, Masaru [editor.] | Tanaka, Hidehiko [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1940Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
High Performance Computing and Communications [electronic resource] : Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings / edited by Ronald Perrott, Barbara M. Chapman, Jaspal Subhlok, Rodrigo Fernandes Mello, Laurence T. Yang. by Perrott, Ronald [editor.] | Chapman, Barbara M [editor.] | Subhlok, Jaspal [editor.] | Mello, Rodrigo Fernandes [editor.] | Yang, Laurence T [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4782Source: 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): .
|
|
|
|
Artificial Neural Networks – ICANN 2010 [electronic resource] : 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part III / edited by Konstantinos Diamantaras, Wlodek Duch, Lazaros S. Iliadis. by Diamantaras, Konstantinos [editor.] | Duch, Wlodek [editor.] | Iliadis, Lazaros S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6354Source: 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): .
|
|
|
|
Pattern Recognition [electronic resource] : 32nd DAGM Symposium, Darmstadt, Germany, September 22-24, 2010. Proceedings / edited by Michael Goesele, Stefan Roth, Arjan Kuijper, Bernt Schiele, Konrad Schindler. by Goesele, Michael [editor.] | Roth, Stefan [editor.] | Kuijper, Arjan [editor.] | Schiele, Bernt [editor.] | Schindler, Konrad [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6376Source: 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): .
|
|
|
|
Advances in Visual Computing [electronic resource] : 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29 - December 1, 2010, Proceedings, Part III / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Ronald Chung, Riad Hammound, Muhammad Hussain, Tan Kar-Han, Roger Crawfis, Daniel Thalmann, David Kao, Lisa Avila. by Bebis, George [editor.] | Boyle, Richard [editor.] | Parvin, Bahram [editor.] | Koracin, Darko [editor.] | Chung, Ronald [editor.] | Hammound, Riad [editor.] | Hussain, Muhammad [editor.] | Kar-Han, Tan [editor.] | Crawfis, Roger [editor.] | Thalmann, Daniel [editor.] | Kao, David [editor.] | Avila, Lisa [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6455Source: 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): .
|
|
|
|
Artificial Intelligence and Soft Computing [electronic resource] : 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I / edited by Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada. by Rutkowski, Leszek [editor.] | Korytkowski, Marcin [editor.] | Scherer, Rafal [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lotfi A [editor.] | Zurada, Jacek M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9119 | Lecture Notes in Computer Science ; 9119Edition: 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): .
|
|
|
|
Dynamical Systems, Plasmas and Gravitation [electronic resource] : Selected Papers from a Conference Held in Orléans la Source, France, 22–24 June 1997 / edited by P. G. L. Leach, S. E. Bouquet, J.-L. Rouet, E. Fijalkow. by Leach, P. G. L [editor.] | Bouquet, S. E [editor.] | Rouet, J.-L [editor.] | Fijalkow, E [editor.] | SpringerLink (Online service). Series: Lecture Notes in Physics ; 518Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Asymptotic Modelling in Fluid Mechanics [electronic resource] : Proceedings of a Symposiym in Honour of Professor Jean-Pierre Guiraud Held at the Université Pierre et Marie Curie, Paris, France, 20–22 April 1994 / edited by Pierre-Antoine Bois, Emmanuel Dériat, Renée Gatignol, Alain Rigolot. by Bois, Pierre-Antoine [editor.] | Dériat, Emmanuel [editor.] | Gatignol, Renée [editor.] | Rigolot, Alain [editor.] | SpringerLink (Online service). Series: Lecture Notes in Physics ; 442Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Methods and Applications of Artificial Intelligence [electronic resource] : Third Hellenic Conference on AI, SETN 2004, Samos, Greece, May 5-8, 2004. Proceedings / edited by George A. Vouros, Themistoklis Panayiotopoulos. by Vouros, George A [editor.] | Panayiotopoulos, Themistoklis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3025Source: 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): .
|
|
|
|
Applications and Theory of Petri Nets 2004 [electronic resource] : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings / edited by Jordi Cortadella, Wolfgang Reisig. by Cortadella, Jordi [editor.] | Reisig, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3099Source: 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): .
|
|
|
|
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] : 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I / edited by Dominik Ślęzak, Guoyin Wang, Marcin Szczuka, Ivo Düntsch, Yiyu Yao. by Ślęzak, Dominik [editor.] | Wang, Guoyin [editor.] | Szczuka, Marcin [editor.] | Düntsch, Ivo [editor.] | Yao, Yiyu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3641Source: 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): .
|
|
|
|
Computer Aided Systems Theory – EUROCAST 2005 [electronic resource] : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers / edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia. by Moreno Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada Arencibia, Alexis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3643Source: 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): .
|