Your search returned 723 results.

Not what you expected? Check for suggestions
BOOKS
Algorithm theory -- SWAT 2006 : 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006 : proceedings

by Arge, Lars (Ed.) | Freĭvald, R. V.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer, 2006Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second floor, Rack No: 48, Shelf No: 31 Call number: 681 LNCS.

BOOKS
Theoretical computer science : 9th Italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 : proceedings / Mario Coppo, Elena Lodi, G. Michele Pinna (eds.)

by Coppo, Mario | Coppo, Mario | Lodi, E | Pinna, G. Michele.

Series: Lecture notes in computer science ; 3701Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer, c2005Other title: ICTCS 2005.Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second floor, Rack No: 48, Shelf No: 30 Call number: 681 LNCS.

BOOKS
Approximation algorithms for combinatorial optimization : International workshop, APPROX '98, Aalborg, Denmark, July 18-19, 1998 : proceedings / Klaus Jansen, José Rolim (eds.).

by Klaus Jansen | Jansen, Klaus | Rolim, José D. P.

Series: Lecture notes in computer science ; 1444Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer, 1998Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS.

BOOKS
Algorithms-ESA 2001 : 9th annual European symposium, Åarhus, Denmark, August 28-31, 2001 : proceedings / Friedhelm Meyer auf der Heide (ed.).

by Friedhelm Meyer auf der Heide | Meyer auf der Heide, F.

Series: Lecture notes in Computer science ; 2161Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer, 2001Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS.

BOOKS
LATIN '95 :Theoretical informatics Second Latin American symposium, Valparaíso, Chile, April 3-7, 1995 : proceedings Eric Goles, Patricio V. Poblete, eds.

by Ricardo Baeza-Yates | Baeza-Yates, R | Golès, E | Poblete, Patricio V.

Series: Lecture notes in computer science ; 911Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer, c1995Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS.

BOOKS
FST TCS 1993: Foundations of Software Technology and Theoretical Computer Science 13th Conference Bombay, India, December 15–17, 1993 Proceedings

by Rudrapatna K. Shyamasundar (Ed.) | Goos, Gerhard | Hartmanis, Juris.

Series: Lecture Notes in Computer Science ; 761Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer- Verlag 1993Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.

BOOKS
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings /

by Manindra Agrawal | Agrawal, Manindra | Seth, Anil.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Items available for reference: IMSc Library Not for loan_1 (1). Location(s): Multiple Copies Section, Shelf No: 14 Call number: 681 LNCS.

BOOKS
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science 21st Conference Bangalore, India, December 13–15, 2001 Proceedings / edited by Ramesh Hariharan, V. Vinay, Madhavan Mukund.

by Ramesh Hariharan | Hariharan, Ramesh | Vinay, V | Mukund, Madhavan.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 27 Call number: 681 LNCS.

BOOKS
Algorithms and computation : ISAAC 2008 19th international symposium, Gold Coast, Australia, December 15-17, 2008. proceedings / [edited by] Hiroshi Nagamochi, Takuro Fukunaga.

by Seok-Hee Hong | Hong, Seok-Hee | Nagamochi, Hiroshi | Fukunaga, Takuro.

Series: Lecture notes in computer science ; 5369Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin : Springer, 2008Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second floor, Rack No: 48, Shelf No: 31 Call number: 681 LNCS.

BOOKS
Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings / edited by Andrey Morozov, Andrey Rybalchenko, Klaus W. Wagner.

by Anna Frid | Frid, Anna | Morozov, Andrey | Rybalchenko, Andrey | Wagner, Klaus W.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.

BOOKS
Security Aspects in Information Technology First International Conference, InfoSecHiComNet 2011, Haldia, India, October 19-22, 2011. Proceedings edited by ,Debdeep Mukhopadhyay, Michael Tunstall.

by Marc Joye | Joye, Marc | Mukhopadhyay, Debdeep | Tunstall, Michael.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.

BOOKS
Theory and applications of models of computation : 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings / [edited by]Manindra Agrawal, Angsheng Li.

by Gopal, T. V.

Series: Lecture notes in computer science ; 8402Edition: 1st edition.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Switzerland Springer 2014Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second floor, Rack No: 48, Shelf No: 32 Call number: 681 LNCS.

BOOKS
Algorithmic learning theory : 7th international workshop, ALT '96, Sydney, Australia, October 23-25, 1996 : proceedings / Arun K. Sharma (eds.)

by Setsuo Arikawa | Arikawa, S | Sharma, Arun K.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 18 Call number: 681 LNCS.

BOOKS
Advanced topics in bisimulation and coinduction / Jan Rutten.

by Sangiorgi, Davide | Sangiorgi, Davide | Rutten, J. J. M. M.

Series: Cambridge tracts in theoretical computer science ; 52Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge ; New York : Cambridge University Press, 2012Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 8 Call number: 510.6 SAN.

BOOKS
Theoretical Computer Science

by Shartri, Aditya.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Madras Allied Publishers Limited 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 18 Call number: 681.3 SHA.

BOOKS
Annual review of nuclear and particle science

by Holstein, Barry. R. (Ed) | Haxton, Wick C | Jawahery, Abolhassan.

Series: Annual review of nuclear and particle science ; 69Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: California Annual Reviews 2019Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No:43 Shelf No:16 Call number: 539.1 ANN.

BOOKS
Communication complexity and applications

by Rao, Anup | Yehudayoff, Amir.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Cambridge 2020Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 49 Shelf No: 16 Call number: 681.3 RAO.

BOOKS
Applications of polynomial systems David A. Cox ; with contributions by Carlos D'Andrea, Alicia Dickenstein, Jonathan Hauenstein, Hal Schenck and Jessica Sidman.

by Cox, David A | D'Andrea, Carlos | Dickenstein, Alicia | Hauenstein, Jonathan D | Schenck, Henry K | Sidman, Jessica.

Series: Conference Board of the Mathematical Sciences CBMS regional conference series in mathematics ; 134Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Rhode Island American Mathematical Society (AMS) 2020Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 13 Call number: 51 COX.

BOOKS
The Mathematical language of quantum theory From uncertainty to entanglement

by Heinosaari, Teiko | Ziman, Mário.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge Cambridge University Press 2012Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 39, Shelf No: 14 Call number: 530.145 HEI.

BOOKS
Programming massively parallel processors a hands-on approach

by Kirk, David | Hwu, Wen-mei.

Edition: Third edition.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor Rack No:49 Shelf No:7 Call number: 681.3 KIR.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha