Your search returned 2314 results.

Not what you expected? Check for suggestions
BOOKS
Theoretical Aspects of Computer Software, Proceedings of the 4th International Symposium, Japan, 2001

by Kobayashi, Naoki. Ed | Pierce, Benjamin C. Ed.

Series: Lecture notes in computer science ; 02215Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 27 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Foundations of software science and computation structures: Second International Conference, FOSSACS '99 ... Amsterdam, The Netherlands, March, 1999 proceedings

by Thomas, Wolfgang Ed.

Series: Lecture notes in computer science ; 01578Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 22 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Partial evaluation: practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark,June 29-July 10, 1998

by Hatcliff, John | Mogensen, Torben | Thiemann, Peter Eds.

Series: Lecture notes in computer science ; 01706Material type: Text Text;Language: ; Format: print Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Theoretical and practical aspects of SPIN model checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings

by Dams, Dennis | Gerth, Rob | Leue, Stefan Eds.

Series: Lecture notes in computer science ; 01680Material type: Text Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem

by Godefroid, Patrice.

Series: Lecture notes in computer science ; 01032Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 17 Call number: 681 LNCS.

Place hold Log in to add tags
E-BOOKS
Algebraic Logic and Universal Algebra in Computer Science [electronic resource] : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings / edited by Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi.

by Bergman, Clifford H [editor.] | Maddux, Roger D [editor.] | Pigozzi, Don L [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Mathematical Foundations of Programming Semantics [electronic resource] : 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings / edited by M. Main, A. Melton, M. Mislove, D. Schmidt.

by Main, M [editor.] | Melton, A [editor.] | Mislove, M [editor.] | Schmidt, D [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Fault-Tolerant Distributed Computing [electronic resource] / edited by Barbara Simons, Alfred Spector.

by Simons, Barbara [editor.] | Spector, Alfred [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computing in the 90's [electronic resource] : The First Great Lakes Computer Science Conference Kalamazoo, Michigan, USA, October 18–20, 1989 Proceedings / edited by Naveed A. Sherwani, Elise Doncker, John A. Kapenga.

by Sherwani, Naveed A [editor.] | Doncker, Elise [editor.] | Kapenga, John A [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
DNA Computing and Molecular Programming [electronic resource] : 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings / edited by David Soloveichik, Bernard Yurke.

by Soloveichik, David [editor.] | Yurke, Bernard [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Multimodal Brain Image Analysis [electronic resource] : Third International Workshop, MBIA 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings / edited by Li Shen, Tianming Liu, Pew-Thian Yap, Heng Huang, Dinggang Shen, Carl-Fredrik Westin.

by Shen, Li [editor.] | Liu, Tianming [editor.] | Yap, Pew-Thian [editor.] | Huang, Heng [editor.] | Shen, Dinggang [editor.] | Westin, Carl-Fredrik [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computer Algebra in Scientific Computing [electronic resource] : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov.

by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Mayr, Ernst W [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
String Processing and Information Retrieval [electronic resource] : 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings / edited by Oren Kurland, Moshe Lewenstein, Ely Porat.

by Kurland, Oren [editor.] | Lewenstein, Moshe [editor.] | Porat, Ely [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advances in Bioinformatics and Computational Biology [electronic resource] : 8th Brazilian Symposium on Bioinformatics, BSB 2013, Recife, Brazil, November 3-7, 2013, Proceedings / edited by João C. Setubal, Nalvo F. Almeida.

by Setubal, João C [editor.] | Almeida, Nalvo F [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Information and Communications Security [electronic resource] : 15th International Conference, ICICS 2013, Beijing, China, November 20-22, 2013. Proceedings / edited by Sihan Qing, Jianying Zhou, Dongmei Liu.

by Qing, Sihan [editor.] | Zhou, Jianying [editor.] | Liu, Dongmei [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Decision and Game Theory for Security [electronic resource] : 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings / edited by Sajal K. Das, Cristina Nita-Rotaru, Murat Kantarcioglu.

by Das, Sajal K [editor.] | Nita-Rotaru, Cristina [editor.] | Kantarcioglu, Murat [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advanced Concepts for Intelligent Vision Systems [electronic resource] : 15th International Conference, ACIVS 2013, Poznań, Poland, October 28-31, 2013. Proceedings / edited by Jacques Blanc-Talon, Andrzej Kasinski, Wilfried Philips, Dan Popescu, Paul Scheunders.

by Blanc-Talon, Jacques [editor.] | Kasinski, Andrzej [editor.] | Philips, Wilfried [editor.] | Popescu, Dan [editor.] | Scheunders, Paul [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advances in Visual Informatics [electronic resource] : Third International Visual Informatics Conference, IVIC 2013, Selangor, Malaysia, November 13-15, 2013. Proceedings / edited by Halimah Badioze Zaman, Peter Robinson, Patrick Olivier, Timothy K. Shih, Sergio Velastin.

by Zaman, Halimah Badioze [editor.] | Robinson, Peter [editor.] | Olivier, Patrick [editor.] | Shih, Timothy K [editor.] | Velastin, Sergio [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Biometric Recognition [electronic resource] : 8th Chinese Conference, CCBR 2013, Jinan, China, November 16-17, 2013. Proceedings / edited by Zhenan Sun, Shiguan Shan, Gongping Yang, Jie Zhou, Yunhong Wang, YiLong Yin.

by Sun, Zhenan [editor.] | Shan, Shiguan [editor.] | Yang, Gongping [editor.] | Zhou, Jie [editor.] | Wang, Yunhong [editor.] | Yin, YiLong [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings / edited by Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita.

by Higashino, Teruo [editor.] | Katayama, Yoshiaki [editor.] | Masuzawa, Toshimitsu [editor.] | Potop-Butucaru, Maria [editor.] | Yamashita, Masafumi [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha