Your search returned 156 results.

Not what you expected? Check for suggestions
E-BOOKS
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 13th International Workshop, PATMOS 2003, Turin, Italy, September 10-12, 2003. Proceedings / edited by Jorge Juan Chico, Enrico Macii.

by Chico, Jorge Juan [editor.] | Macii, Enrico [editor.] | SpringerLink (Online service).

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

E-BOOKS
Life System Modeling and Intelligent Computing [electronic resource] : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part I / edited by Kang Li, Minrui Fei, Li Jia, George W. Irwin.

by Li, Kang [editor.] | Fei, Minrui [editor.] | Jia, Li [editor.] | Irwin, George W [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Multimedia Information Processing - PCM 2004 [electronic resource] : 5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30 - December 3, 2004. Proceedings, Part II / edited by Kiyoharu Aizawa, Yuichi Nakamura, Shin’ichi Satoh.

by Aizawa, Kiyoharu [editor.] | Nakamura, Yuichi [editor.] | Satoh, Shin’ichi [editor.] | SpringerLink (Online service).

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

BOOKS
Introduction to Computational Systems Biology : Systems-Level Modelling of Cellular Networks

by Raman, Karthik.

;Language: English Language: English Publication details: Boca Raton Chapman and Hall/CRC 2021Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 46, Shelf No: 48 Call number: 577.2:51-3 RAM.

E-BOOKS
Advances in Multimedia Information Processing - PCM 2004 [electronic resource] : 5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30 - December 3, 2004. Proceedings, Part I / edited by Kiyoharu Aizawa, Yuichi Nakamura, Shin’ichi Satoh.

by Aizawa, Kiyoharu [editor.] | Nakamura, Yuichi [editor.] | Satoh, Shin’ichi [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Multimedia Information Processing - PCM 2004 [electronic resource] : 5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30 - December 3, 2004. Proceedings, Part III / edited by Kiyoharu Aizawa, Yuichi Nakamura, Shin’ichi Satoh.

by Aizawa, Kiyoharu [editor.] | Nakamura, Yuichi [editor.] | Satoh, Shin’ichi [editor.] | SpringerLink (Online service).

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

E-BOOKS
Web Intelligence Meets Brain Informatics [electronic resource] : First WICI International Workshop, WImBI 2006, Beijing, China, December 15-16, 2006, Revised Selected and Invited Papers / edited by Ning Zhong, Jiming Liu, Yiyu Yao, Jinglong Wu, Shengfu Lu, Kuncheng Li.

by Zhong, Ning [editor.] | Liu, Jiming [editor.] | Yao, Yiyu [editor.] | Wu, Jinglong [editor.] | Lu, Shengfu [editor.] | Li, Kuncheng [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4845Source: 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
Financial Cryptography and Data Security [electronic resource] : FC 2013 Workshops, USEC and WAHC 2013, Okinawa, Japan, April 1, 2013, Revised Selected Papers / edited by Andrew A. Adams, Michael Brenner, Matthew Smith.

by Adams, Andrew A [editor.] | Brenner, Michael [editor.] | Smith, Matthew [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7862Source: 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
Advances in Computer Systems Architecture [electronic resource] : 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings / edited by Chris Jesshope, Colin Egan.

by Jesshope, Chris [editor.] | Egan, Colin [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 [electronic resource] : 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006. Proceedings / edited by Jaime Simão Sichman, Helder Coelho, Solange Oliveira Rezende.

by Sichman, Jaime Simão [editor.] | Coelho, Helder [editor.] | Rezende, Solange Oliveira [editor.] | SpringerLink (Online service).

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

E-BOOKS
Introducing Molecular Electronics [electronic resource] / edited by Gianaurelio Cuniberti, Klaus Richter, Giorgos Fagas.

by Cuniberti, Gianaurelio [editor.] | Richter, Klaus [editor.] | Fagas, Giorgos [editor.] | SpringerLink (Online service).

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

E-BOOKS
Hardware Specification, Verification and Synthesis: Mathematical Aspects [electronic resource] : Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings / edited by Miriam Leeser, Geoffrey Brown.

by Leeser, Miriam [editor.] | Brown, Geoffrey [editor.] | SpringerLink (Online service).

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

E-BOOKS
Theoretical Computer Science [electronic resource] : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings / edited by Mario Coppo, Elena Lodi, G. Michele Pinna.

by Coppo, Mario [editor.] | Lodi, Elena [editor.] | Pinna, G. Michele [editor.] | SpringerLink (Online service).

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

E-BOOKS
Concurrency and Hardware Design [electronic resource] : Advances in Petri Nets / edited by Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg.

by Cortadella, Jordi [editor.] | Yakovlev, Alex [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2549Source: 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
FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 20th Conference New Delhi, India, December 13–15, 2000 Proceedings / edited by Sanjiv Kapoor, Sanjiva Prasad.

by Kapoor, Sanjiv [editor.] | Prasad, Sanjiva [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1974Source: 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
Advances in Petri Nets 1990 [electronic resource] / edited by Grzegorz Rozenberg.

by Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

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

E-BOOKS
Automatic Verification Methods for Finite State Systems [electronic resource] : International Workshop, Grenoble, France June 12–14, 1989 Proceedings / edited by Joseph Sifakis.

by Sifakis, Joseph [editor.] | SpringerLink (Online service).

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

E-BOOKS
Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part III / edited by Ignac Lovrek, Robert J. Howlett, Lakhmi C. Jain.

by Lovrek, Ignac [editor.] | Howlett, Robert J [editor.] | Jain, Lakhmi C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5179Source: 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
Formal Modeling and Analysis of Timed Systems [electronic resource] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings / edited by Joël Ouaknine, Frits W. Vaandrager.

by Ouaknine, Joël [editor.] | Vaandrager, Frits W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5813Source: 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
Artificial Intelligence in Medicine [electronic resource] : 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001 Cascais, Portugal, July 1–4, 2001, Proceedings / edited by Silvana Quaglini, Pedro Barahona, Steen Andreassen.

by Quaglini, Silvana [editor.] | Barahona, Pedro [editor.] | Andreassen, Steen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2101Source: 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): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha