Your search returned 13 results.

Not what you expected? Check for suggestions
E-BOOKS
Unified Theories of Elementary Particles [electronic resource] : Critical Assessment and Prospects Proceedings of the Heisenberg Symposium Held in München, July 16–21,1981 / edited by P. Breitenlohner, H. P. Dürr.

by Breitenlohner, P [editor.] | Dürr, H. P [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Computing and Information — ICCI '90 [electronic resource] : International Conference on Computing and Information Niagara Falls, Canada, May 23–26, 1990 Proceedings / edited by S. G. Akl, F. Fiala, W. W. Koczkodaj.

by Akl, S. G [editor.] | Fiala, F [editor.] | Koczkodaj, W. W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 468Source: 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
Euro-Par'97 Parallel Processing [electronic resource] : Third International Euro-Par Conference Passau, Germany, August 26–29, 1997 Proceedings / edited by Christian Lengauer, Martin Griebl, Sergei Gorlatch.

by Lengauer, Christian [editor.] | Griebl, Martin [editor.] | Gorlatch, Sergei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1300Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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] : 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings / edited by Thambipillai Srikanthan, Jingling Xue, Chip-Hong Chang.

by Srikanthan, Thambipillai [editor.] | Xue, Jingling [editor.] | Chang, Chip-Hong [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3740Source: 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
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings / edited by Rachid Guerraoui, Franck Petit.

by Guerraoui, Rachid [editor.] | Petit, Franck [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5873Source: 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
Languages and Compilers for Parallel Computing [electronic resource] : 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers / edited by Eduard Ayguadé, Gerald Baumgartner, J. Ramanujam, P. Sadayappan.

by Ayguadé, Eduard [editor.] | Baumgartner, Gerald [editor.] | Ramanujam, J [editor.] | Sadayappan, P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4339Source: 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
Mechanizing Mathematical Reasoning [electronic resource] : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / edited by Dieter Hutter, Werner Stephan.

by Hutter, Dieter [editor.] | Stephan, Werner [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2605Source: 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
Agent-Oriented Programming [electronic resource] : From Prolog to Guarded Definite Clauses / by Matthew M. Huntbach, Graem A. Ringwood.

by Huntbach, Matthew M [author.] | Ringwood, Graem A [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1630Source: 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
Recent Advances in Intrusion Detection [electronic resource] : 12th International Symposium, RAID 2009, Saint-Malo, France, September 23-25, 2009. Proceedings / edited by Engin Kirda, Somesh Jha, Davide Balzarotti.

by Kirda, Engin [editor.] | Jha, Somesh [editor.] | Balzarotti, Davide [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5758Source: 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
Advanced Parallel Processing Technologies [electronic resource] : 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings / edited by Jiannong Cao, Wolfgang Nejdl, Ming Xu.

by Cao, Jiannong [editor.] | Nejdl, Wolfgang [editor.] | Xu, Ming [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3756Source: 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
High Performance Computing – HiPC 2005 [electronic resource] : 12th International Conference, Goa, India, December 18-21, 2005. Proceedings / edited by David A. Bader, Manish Parashar, Varadarajan Sridhar, Viktor K. Prasanna.

by Bader, David A [editor.] | Parashar, Manish [editor.] | Sridhar, Varadarajan [editor.] | Prasanna, Viktor K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3769Source: 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
Computer Aided Verification [electronic resource] : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings / edited by E. Allen Emerson, Aravinda Prasad Sistla.

by Emerson, E. Allen [editor.] | Sistla, Aravinda Prasad [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1855Source: 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
Languages and Compilers for Parallel Computing [electronic resource] : 10th International Workshop, LCPC'97 Minneapolis, Minnesota, USA, August 7–9, 1997 Proceedings / edited by Zhiyuan Li, Pen-Chung Yew, Siddharta Chatterjee, Chua-Huang Huang, P. Sadayappan, David Sehr.

by Li, Zhiyuan [editor.] | Yew, Pen-Chung [editor.] | Chatterjee, Siddharta [editor.] | Huang, Chua-Huang [editor.] | Sadayappan, P [editor.] | Sehr, David [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha