Your search returned 253 results.

Not what you expected? Check for suggestions
E-BOOKS
Computer Aided Verification [electronic resource] : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings / edited by Gregor Bochmann, David Karl Probst.

by Bochmann, Gregor [editor.] | Probst, David Karl [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Transactions on Rough Sets IX [electronic resource] / edited by James F. Peters, Andrzej Skowron, Henryk Rybiński.

by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Rybiński, Henryk [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5390Source: 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
Logic, Language, Information and Computation [electronic resource] : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings / edited by Hiroakira Ono, Makoto Kanazawa, Ruy Queiroz.

by Ono, Hiroakira [editor.] | Kanazawa, Makoto [editor.] | Queiroz, Ruy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5514Source: 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
Theory and Applications of Models of Computation [electronic resource] : 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings / edited by Jan Kratochvíl, Angsheng Li, Jiří Fiala, Petr Kolman.

by Kratochvíl, Jan [editor.] | Li, Angsheng [editor.] | Fiala, Jiří [editor.] | Kolman, Petr [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6108Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling.

by Galmiche, Didier [editor.] | Larchey-Wendling, Dominique [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Descriptional Complexity of Formal Systems [electronic resource] : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings / edited by Giovanni Pighizzini, Cezar Câmpeanu.

by Pighizzini, Giovanni [editor.] | Câmpeanu, Cezar [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10316 | Lecture Notes in Computer Science ; 10316Edition: 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): .

Place hold Log in to add tags
E-BOOKS
Exploiting Hidden Structure in Matrix Computations: Algorithms and Applications [electronic resource] : Cetraro, Italy 2015 / by Michele Benzi, Dario Bini, Daniel Kressner, Hans Munthe-Kaas, Charles Van Loan ; edited by Michele Benzi, Valeria Simoncini.

by Benzi, Michele [author.] | Bini, Dario [author.] | Kressner, Daniel [author.] | Munthe-Kaas, Hans [author.] | Van Loan, Charles [author.] | Benzi, Michele [editor.] | Simoncini, Valeria [editor.] | SpringerLink (Online service).

Series: C.I.M.E. Foundation Subseries ; 2173Edition: 1st ed. 2016.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, 2016Online 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 and Networking [electronic resource] : 7th International Conference, HPCN Europe 1999 Amsterdam, The Netherlands, April 12–14, 1999 Proceedings / edited by Peter Sloot, Marian Bubak, Alfons Hoekstra, Bob Hertzberger.

by Sloot, Peter [editor.] | Bubak, Marian [editor.] | Hoekstra, Alfons [editor.] | Hertzberger, Bob [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Euro-Par'96 Parallel Processing [electronic resource] : Second International Euro-Par Conference Lyon, France, August 26–29, 1996 Proceedings, Volume II / edited by Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert.

by Bougé, Luc [editor.] | Fraigniaud, Pierre [editor.] | Mignotte, Anne [editor.] | Robert, Yves [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computational Science – ICCS 2007 [electronic resource] : 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I / 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 ; 4487Source: 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
Linear algebra and its role in systems theory / [electronic resource] Richard A. Brualdi ... [et al.] editors.

by Brualdi, Richard A | American Mathematical Society | Institute of Mathematical Statistics | Society for Industrial and Applied Mathematics.

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

Place hold Log in to add tags
E-BOOKS
Finite fields : [electronic resource] theory and applications : Ninth International Conference on Finite Fields and Applications, July 13-17, 2009, Dublin, Ireland / Gary McGuire ... [et al.], editors.

by International Conference on Finite Fields and Applications (9th : 2009 : Dublin, Ireland) | McGuire, Gary | American Mathematical Society.

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

Place hold Log in to add tags
E-BOOKS
Mathematical Problems in Theoretical Physics [electronic resource] : Proceedings of the VIth International Conference on Mathematical Physics Berlin (West), August 11–20,1981 / edited by R. Schrader, R. Seiler, D. A. Uhlenbrock.

by Schrader, R [editor.] | Seiler, R [editor.] | Uhlenbrock, D. A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 153Source: 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): .

Place hold Log in to add tags
E-BOOKS
Advances in Cryptology – CRYPTO 2004 [electronic resource] : 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004. Proceedings / edited by Matt Franklin.

by Franklin, Matt [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Progress in Pattern Recognition, Image Analysis and Applications [electronic resource] : 9th Iberoamerican Congress on Pattern Recognition, CIARP 2004, Puebla, Mexico, October 26-29, 2004. Proceedings / edited by Alberto Sanfeliu, José Francisco Martínez Trinidad, Jesús Ariel Carrasco Ochoa.

by Sanfeliu, Alberto [editor.] | Martínez Trinidad, José Francisco [editor.] | Carrasco Ochoa, Jesús Ariel [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Cellular Automata [electronic resource] : 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25-28, 2004. Proceedings / edited by Peter M. A. Sloot, Bastien Chopard, Alfons G. Hoekstra.

by Sloot, Peter M. A [editor.] | Chopard, Bastien [editor.] | Hoekstra, Alfons G [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
High Performance Computing for Computational Science - VECPAR 2004 [electronic resource] : 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers / edited by Michel Daydé, Jack Dongarra, Vicente Hernández, José M. L. M. Palma.

by Daydé, Michel [editor.] | Dongarra, Jack [editor.] | Hernández, Vicente [editor.] | Palma, José M. L. M [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Mathematical Foundations of Computer Science 2005 [electronic resource] : 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings / edited by Joanna Jȩdrzejowicz, Andrzej Szepietowski.

by Jȩdrzejowicz, Joanna [editor.] | Szepietowski, Andrzej [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computer Science – Theory and Applications [electronic resource] : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings / edited by Dima Grigoriev, John Harrison, Edward A. Hirsch.

by Grigoriev, Dima [editor.] | Harrison, John [editor.] | Hirsch, Edward A [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
High Performance Computing — HiPC 2002 [electronic resource] : 9th International Conference Bangalore, India, December 18–21, 2002 Proceedings / edited by Sartaj Sahni, Viktor K. Prasanna, Uday Shukla.

by Sahni, Sartaj [editor.] | Prasanna, Viktor K [editor.] | Shukla, Uday [editor.] | SpringerLink (Online service).

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

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

Powered by Koha