|
|
|
|
Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger. by Carette, Jacques [editor.] | Aspinall, David [editor.] | Lange, Christoph [editor.] | Sojka, Petr [editor.] | Windsteiger, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7961Source: 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): .
|
|
|
|
|
|
|
|
|
|
Representation Theory – Current Trends and Perspectives [electronic resource] / Henning Krause, Peter Littelmann, Gunter Malle, Karl-Hermann Neeb, Christoph Schweigert by Krause, Henning [editor.] | Littelmann, Peter [editor.] | Malle, Gunter [editor.] | Neeb, Karl-Hermann [editor.] | Schweigert, Christoph [editor.]. Series: EMS Series of Congress Reports (ECR)Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2017Online access: Click here to access online | cover image Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Javier Esparza, Andrzej S. Murawski. by Esparza, Javier [editor.] | Murawski, Andrzej S [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10203 | Lecture Notes in Computer Science ; 10203Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Logic and information flow by Eijck, Jan van. Ed | Eijck, Jan van. Ed | Visser, Albert. Ed. Series: Foundations of computingMaterial type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Cambridge The MIT Press 1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 EIJ.
|
|
|
|
|
|
|
|
|
|
Group Theoretical Methods in Physics [electronic resource] : Seventh International Colloquium and Integrative Conference on Group Theory and Mathematical Physics, Held in Austin, Texas, September 11–16, 1978 / edited by Wolf Beiglböck, Arno Böhm, E. Takasugi. by Beiglböck, Wolf [editor.] | Böhm, Arno [editor.] | Takasugi, E [editor.] | SpringerLink (Online service). Series: Lecture Notes in Physics ; 94Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1979Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Computational Science — ICCS 2003 [electronic resource] : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2–4, 2003 Proceedings, Part I / edited by Peter M. A. Sloot, David Abramson, Alexander V. Bogdanov, Jack J. Dongarra, Albert Y. Zomaya, Yuriy E. Gorbachev. by Sloot, Peter M. A [editor.] | Abramson, David [editor.] | Bogdanov, Alexander V [editor.] | Dongarra, Jack J [editor.] | Zomaya, Albert Y [editor.] | Gorbachev, Yuriy E [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2657Source: 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): .
|
|
|
|
|
Computers for Handicapped Persons [electronic resource] : 4th International Conference, ICCHP '94 Vienna, Austria, September 14–16, 1994 Proceedings / edited by Wolfgang L. Zagler, Geoffrey Busby, Roland R. Wagner. by Zagler, Wolfgang L [editor.] | Busby, Geoffrey [editor.] | Wagner, Roland R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 860Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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): .
|
|
|
|
|
|
|
|
|
|
Functional Analysis, Holomorphy, and Approximation Theory [electronic resource] : Proceedings of the Seminário de Análise Funcional, Holomorfia e Teoria da Aproximação, Universidade Federal do Rio de Janeiro, Brazil, August 7 – 11, 1978 / edited by Silvio Machado. by Machado, Silvio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 843Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Quantum Cohomology [electronic resource] : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 30-July 8, 1997 / by Kai Behrend, César Gómez, Vitaly Tarasov, Gang Tian. by Behrend, Kai [author.] | Gómez, César [author.] | Tarasov, Vitaly [author.] | Tian, Gang [author.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics, Fondazione C.I.M.E., Firenze ; 1776Source: 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): .
|
|
|
|
|
|
