Your search returned 46 results.

Not what you expected? Check for suggestions
E-BOOKS
Computational Methods in Systems Biology [electronic resource] : 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings / edited by Pierpaolo Degano, Roberto Gorrieri.

by Degano, Pierpaolo [editor.] | Gorrieri, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5688Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Transactions on Computational Systems Biology XI [electronic resource] / edited by Corrado Priami, Ralph-Johan Back, Ion Petre.

by Priami, Corrado [editor.] | Back, Ralph-Johan [editor.] | Petre, Ion [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5750Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
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 Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Visualization of Scientific Parallel Programs [electronic resource] / edited by Gerald Tomas, Christoph W. Ueberhuber.

by Tomas, Gerald [editor.] | Ueberhuber, Christoph W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 771Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
High-Performance Computing and Networking [electronic resource] : International Conference and Exhibition Milan, Italy, May 3–5, 1995 Proceedings / edited by Bob Hertzberger, Giuseppe Serazzi.

by Hertzberger, Bob [editor.] | Serazzi, Giuseppe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 919Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Operator Methods for Boundary Value Problems / Edited by Seppo Hassi, Hendrik S. V. de Snoo, Franciszek Hugon Szafraniec.

by Hassi, Seppo [editor of compilation.] | de Snoo, Hendrik S. V [editor of compilation.] | Szafraniec, Franciszek Hugon [editor of compilation.].

Series: London Mathematical Society Lecture Note Series ; no. 404Material type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha