|
|
|
|
|
|
|
Discrete Geometry for Computer Imagery [electronic resource] : 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings / edited by Rocio Gonzalez-Diaz, Maria-Jose Jimenez, Belen Medrano. by Gonzalez-Diaz, Rocio [editor.] | Jimenez, Maria-Jose [editor.] | Medrano, Belen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7749Source: 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): .
|
|
|
|
Algorithms in Bioinformatics [electronic resource] : 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings / edited by Aaron Darling, Jens Stoye. by Darling, Aaron [editor.] | Stoye, Jens [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8126Source: 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): .
|
|
|
|
Hodge theory, complex geometry, and representation theory : [electronic resource] NSF-CBMS Regional Conference in Mathematics, June 18, 2012, Texas Christian University, Fort Worth, Texas / Robert S. Doran, Greg Friedman, Scott Nollet, editors. by NSF/CBMS Regional Conference in the Mathematical Sciences: Hodge Theory, Complex Geometry, and Representation Theory (2012 : Fort Worth, Tex.) | Doran, Robert S, 1937- [editor of compilation.] | Friedman, Greg, 1973- [editor of compilation.] | Nollet, Scott, 1962- [editor of compilation.]. Series: Contemporary mathematics ; v. 608Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publisher: Providence, Rhode Island : American Mathematical Society, [2013]Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
|
|
Vector and Parallel Processing — VECPAR 2000 [electronic resource] : 4th International Conference Porto, Portugal, June 21–23, 2000 Selected Papers and Invited Talks / edited by José M. L. M. Palma, Jack Dongarra, Vicente Hernández. by Palma, José M. L. M [editor.] | Dongarra, Jack [editor.] | Hernández, Vicente [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1981Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
High Performance Computing [electronic resource] : 4th International Symposium, ISHPC 2002 Kansai Science City, Japan, May 15–17, 2002 Proceedings / edited by Hans P. Zima, Kazuki Joe, Mitsuhisa Sato, Yoshiki Seo, Masaaki Shimasaki. by Zima, Hans P [editor.] | Joe, Kazuki [editor.] | Sato, Mitsuhisa [editor.] | Seo, Yoshiki [editor.] | Shimasaki, Masaaki [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2327Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Euro-Par'96 Parallel Processing [electronic resource] : Second International Euro-Par Conference Lyon, France, August 26–29 1996 Proceedings, Volume I / edited by Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert. by Bougé, Luc [editor.] | Fraigniaud, Pierre [editor.] | Mignotte, Anne [editor.] | Robert, Yves [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1123Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Euro-Par'96 Parallel Processing [electronic resource] : Second International Euro-Par Conference Lyon, France, August 26–29, 1996 Proceedings, Volume II / edited by Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert. by Bougé, Luc [editor.] | Fraigniaud, Pierre [editor.] | Mignotte, Anne [editor.] | Robert, Yves [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1124Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings / edited by Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk. by Autexier, Serge [editor.] | Campbell, John [editor.] | Rubio, Julio [editor.] | Sorge, Volker [editor.] | Suzuki, Masakazu [editor.] | Wiedijk, Freek [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5144Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Automata, Languages, and Programming [electronic resource] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I / edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann. by Halldórsson, Magnús M [editor.] | Iwama, Kazuo [editor.] | Kobayashi, Naoki [editor.] | Speckmann, Bettina [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9134 | Lecture Notes in Computer Science ; 9134Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Explorations in mathematical Physics concepts behind an elegant language by Koks, Don. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Language: English Publication details: New York ; New York Springer 2006Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 45 Call number: 53:51 KOK.
|
|
|
|
|
|
|
|
|