Your search returned 1094 results.

Not what you expected? Check for suggestions
E-BOOKS
Implementation of Functional Languages [electronic resource] : 9th International Workshop, IFL'97 St. Andrews, Scotland, UK September 10–12, 1997 Selected Papers / edited by Chris Clack, Kevin Hammond, Tony Davie.

by Clack, Chris [editor.] | Hammond, Kevin [editor.] | Davie, Tony [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Vector and Parallel Processing — VECPAR'96 [electronic resource] : Second International Conference on Vector and Parallel Processing — Systems and Application Porto, Portugal, September 25–27, 1996 Selected Papers / edited by José M. L. M. Palma, Jack Dongarra.

by Palma, José M. L. M [editor.] | Dongarra, Jack [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
High Performance Computing for Computational Science - VECPAR 2006 [electronic resource] : 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers / edited by Michel Daydé, José M. L. M. Palma, Álvaro L. G. A. Coutinho, Esther Pacitti, João Correia Lopes.

by Daydé, Michel [editor.] | Palma, José M. L. M [editor.] | Coutinho, Álvaro L. G. A [editor.] | Pacitti, Esther [editor.] | Lopes, João Correia [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Rough Sets and Knowledge Technology [electronic resource] : Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007. Proceedings / edited by JingTao Yao, Pawan Lingras, Wei-Zhi Wu, Marcin Szczuka, Nick J. Cercone, Dominik Ślȩzak.

by Yao, JingTao [editor.] | Lingras, Pawan [editor.] | Wu, Wei-Zhi [editor.] | Szczuka, Marcin [editor.] | Cercone, Nick J [editor.] | Ślȩzak, Dominik [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings / edited by Sergei N. Artemov, Anil Nerode.

by Artemov, Sergei N [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computation and Logic in the Real World [electronic resource] : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings / edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi.

by Cooper, S. Barry [editor.] | Löwe, Benedikt [editor.] | Sorbi, Andrea [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Spatial Cognition V Reasoning, Action, Interaction [electronic resource] : International Conference Spatial Cognition 2006, Bremen, Germany, September 24-28, 2006, Revised Selected Papers / edited by Thomas Barkowsky, Markus Knauff, Gérard Ligozat, Daniel R. Montello.

by Barkowsky, Thomas [editor.] | Knauff, Markus [editor.] | Ligozat, Gérard [editor.] | Montello, Daniel R [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Formal Methods and Testing [electronic resource] : An Outcome of the FORTEST Network, Revised Selected Papers / edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman.

by Hierons, Robert M [editor.] | Bowen, Jonathan P [editor.] | Harman, Mark [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks [electronic resource] : Second IFIP WG 11.2 International Workshop, WISTP 2008, Seville, Spain, May 13-16, 2008. Proceedings / edited by Jose A. Onieva, Damien Sauveron, Serge Chaumette, Dieter Gollmann, Konstantinos Markantonakis.

by Onieva, Jose A [editor.] | Sauveron, Damien [editor.] | Chaumette, Serge [editor.] | Gollmann, Dieter [editor.] | Markantonakis, Konstantinos [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Service-Oriented Computing – ICSOC 2008 [electronic resource] : 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings / edited by Athman Bouguettaya, Ingolf Krueger, Tiziana Margaria.

by Bouguettaya, Athman [editor.] | Krueger, Ingolf [editor.] | Margaria, Tiziana [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Progress in Cryptology - INDOCRYPT 2008 [electronic resource] : 9th International Conference on Cryptology in India, Kharagpur, India, December 14-17, 2008. Proceedings / edited by Dipanwita Roy Chowdhury, Vincent Rijmen, Abhijit Das.

by Chowdhury, Dipanwita Roy [editor.] | Rijmen, Vincent [editor.] | Das, Abhijit [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Hybrid Systems: Computation and Control [electronic resource] : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings / edited by Rupak Majumdar, Paulo Tabuada.

by Majumdar, Rupak [editor.] | Tabuada, Paulo [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Information Security Applications [electronic resource] : 10th International Workshop, WISA 2009, Busan, Korea, August 25-27, 2009, Revised Selected Papers / edited by Heung Youl Youm, Moti Yung.

by Youm, Heung Youl [editor.] | Yung, Moti [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advances in Cryptology – ASIACRYPT 2012 [electronic resource] : 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings / edited by Xiaoyun Wang, Kazue Sako.

by Wang, Xiaoyun [editor.] | Sako, Kazue [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7658Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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 Security Applications [electronic resource] : 13th International Workshop, WISA 2012, Jeju Island, Korea, August 16-18, 2012, Revised Selected Papers / edited by Dong Hoon Lee, Moti Yung.

by Lee, Dong Hoon [editor.] | Yung, Moti [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7690Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
Differential geometry : [electronic resource] the interface between pure and applied mathematics : proceedings of a conference held April 23-25, 1986 with support from the National Science Foundation / Mladen Luksic, Clyde Martin, and William Shadwick, editors.

by Luksic, Mladen | Martin, Clyde | Shadwick, W. F, 1951- | Conference on Differential Geometry (1986 : San Antonio, Tex.).

Series: Contemporary mathematics (American Mathematical Society) ; v. 68.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, RI : American Mathematical Society, c1987Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Measure and measurable dynamics : [electronic resource] proceedings of a conference in honor of Dorothy Maharam Stone, held September 17-19, 1987 / R. Daniel Mauldin, R.M. Shortt, and Cesar E. Silva, editors.

by Conference on Measure and Measurable Dynamics (1987 : University of Rochester) | Maharam-Stone, D. (Dorothy) | Mauldin, R. Daniel, 1943- | Shortt, Rae Michael | Silva, C�esar Ernesto, 1955-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 94.Material type: Text Text;Language: English; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1989Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Finite geometries and combinatorial designs : [electronic resource] proceedings of the AMS Special Session in Finite Geometries and Combinatorial Designs, held October 29-November 1, 1987 / Earl S. Kramer and Spyros S. Magliveras, editors.

by AMS Special Session in Finite Geometries and Combinatorial Designs (1987 : Lincoln, Neb.) | Kramer, Earl S. (Earl Sidney), 1940- | Magliveras, Spyros S. (Spyros Simos), 1938-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 111.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1990Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
The Madison Symposium on Complex Analysis : [electronic resource] proceedings of the Symposium on Complex Analysis held June 2-7, 1991 at the University of Wisconsin-Madison, with support from the National Science Foundation and the William F. Villas Trust Estate / Alexander Nagel, Edgar Lee Stout, editors.

by Symposium on Complex Analysis (1991 : University of Wisconsin-Madison) | Nagel, Alexander, 1945- | Stout, Edgar Lee, 1938-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 137.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1992Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
P-adic monodromy and the Birch and Swinnerton-Dyer conjecture : [electronic resource] a Workshop on p-adic Monodromy and the Birch and Swinnerton-Dyer Conjecture, August 12-16, 1991, Boston University / Barry Mazur, Glenn Stevens, editors.

by Workshop on p-adic Monodromy and the Birch and Swinnerton-Dyer Conjecture (1991 : Boston University) | Mazur, Barry | Stevens, Glenn, 1953-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 165.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1994Online access: Contents | Contents 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