Your search returned 50 results.

Not what you expected? Check for suggestions
E-BOOKS
Computational Science – ICCS 2007 [electronic resource] : 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II / edited by Yong Shi, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot.

by Shi, Yong [editor.] | Albada, Geert Dick [editor.] | Dongarra, Jack [editor.] | Sloot, Peter M. A [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Neural Networks – ISNN 2013 [electronic resource] : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II / edited by Chengan Guo, Zeng-Guang Hou, Zhigang Zeng.

by Guo, Chengan [editor.] | Hou, Zeng-Guang [editor.] | Zeng, Zhigang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7952Source: 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
Numerical Software with Result Verification [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003. Revised Papers / edited by René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther.

by Alt, René [editor.] | Frommer, Andreas [editor.] | Kearfott, R. Baker [editor.] | Luther, Wolfram [editor.] | SpringerLink (Online service).

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

E-BOOKS
Large-Scale Scientific Computing [electronic resource] : Third International Conference, LSSC 2001 Sozopol, Bulgaria, June 6–10, 2001 Revised Papers / edited by Svetozar Margenov, Jerzy Waśniewski, Plamen Yalamov.

by Margenov, Svetozar [editor.] | Waśniewski, Jerzy [editor.] | Yalamov, Plamen [editor.] | SpringerLink (Online service).

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

E-BOOKS
Graphics Recognition Algorithms and Applications [electronic resource] : 4th International Workshop, GREC 2001 Kingston, Ontario, Canada, September 7–8, 2001 Selected Papers / edited by Dorothea Blostein, Young-Bin Kwon.

by Blostein, Dorothea [editor.] | Kwon, Young-Bin [editor.] | SpringerLink (Online service).

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

E-BOOKS
Hybrid Systems III [electronic resource] : Verification and Control / edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag.

by Alur, Rajeev [editor.] | Henzinger, Thomas A [editor.] | Sontag, Eduardo D [editor.] | SpringerLink (Online service).

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

E-BOOKS
Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings / edited by Uwe Brinkschulte, Tony Givargis, Stefano Russo.

by Brinkschulte, Uwe [editor.] | Givargis, Tony [editor.] | Russo, Stefano [editor.] | SpringerLink (Online service).

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

E-BOOKS
Transactions on Petri Nets and Other Models of Concurrency V [electronic resource] / edited by Kurt Jensen, Susanna Donatelli, Jetty Kleijn.

by Jensen, Kurt [editor.] | Donatelli, Susanna [editor.] | Kleijn, Jetty [editor.] | SpringerLink (Online service).

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

E-BOOKS
Unconventional Computation and Natural Computation [electronic resource] : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings / edited by Matthew J. Patitz, Mike Stannett.

by Patitz, Matthew J [editor.] | Stannett, Mike [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10240 | Lecture Notes in Computer Science ; 10240Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Computational Science — ICCS 2002 [electronic resource] : International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings, Part III / edited by Peter M. A. Sloot, Alfons G. Hoekstra, C. J. Kenneth Tan, Jack J. Dongarra.

by Sloot, Peter M. A [editor.] | Hoekstra, Alfons G [editor.] | Tan, C. J. Kenneth [editor.] | Dongarra, Jack J [editor.] | SpringerLink (Online service).

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

E-BOOKS
Simulated Evolution and Learning [electronic resource] : Second Asia-Pacific Conference on Simulated Evolution and Learning, SEAL’98 Canberra, Australia, November 24–27, 1998 Selected Papers / edited by Bob McKay, Xin Yao, Charles S. Newton, Jong-Hwan Kim, Takeshi Furuhashi.

by McKay, Bob [editor.] | Yao, Xin [editor.] | Newton, Charles S [editor.] | Kim, Jong-Hwan [editor.] | Furuhashi, Takeshi [editor.] | SpringerLink (Online service).

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

E-BOOKS
Graph-Theoretic Concepts in Computer Science [electronic resource] : International Workshop WG '87 Kloster Banz/Staffelstein, FRG, June 29 – July 1, 1987 Proceedings / edited by Herbert Göttler, Hana-Jürgen Schneider.

by Göttler, Herbert [editor.] | Schneider, Hana-Jürgen [editor.] | SpringerLink (Online service).

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

E-BOOKS
Hybrid Systems: Computation and Control [electronic resource] : Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23–25, 2000 Proceedings / edited by Nancy Lynch, Bruce H. Krogh.

by Lynch, Nancy [editor.] | Krogh, Bruce H [editor.] | SpringerLink (Online service).

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

E-BOOKS
Discovey Science [electronic resource] : First International Conference, DS’98 Fukuoka, Japan, December 14–16, 1998 Proceedings / edited by Setsuo Arikawa, Hiroshi Motoda.

by Arikawa, Setsuo [editor.] | Motoda, Hiroshi [editor.] | SpringerLink (Online service).

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

E-BOOKS
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computational Methods in Systems Biology [electronic resource] : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings / edited by Ashutosh Gupta, Thomas A. Henzinger.

by Gupta, Ashutosh [editor.] | Henzinger, Thomas A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8130Source: 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
Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / edited by Daniel Kroening, Corina S. Păsăreanu.

by Kroening, Daniel [editor.] | Păsăreanu, Corina S [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9206 | Lecture Notes in Computer Science ; 9206Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Models, Algorithms, Logics and Tools [electronic resource] : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday / edited by Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare.

by Aceto, Luca [editor.] | Bacci, Giorgio [editor.] | Bacci, Giovanni [editor.] | Ingólfsdóttir, Anna [editor.] | Legay, Axel [editor.] | Mardare, Radu [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10460 | Lecture Notes in Computer Science ; 10460Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

BOOKS
The molecular switch : signaling and allostery

by Phillips, Rob | Orme, Nigel.

Series: Studies in physical biologyMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Princeton University Press Princeton 2020Availability: No items available : Checked out (1).

E-BOOKS
Computer Analysis of Images and Patterns [electronic resource] : 5th International Conference, CAIP'93 Budapest, Hungary, September 13–15, 1993 Proceedings / edited by Dmitry Chetverikov, Walter G. Kropatsch.

by Chetverikov, Dmitry [editor.] | Kropatsch, Walter G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 719Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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