Your search returned 29 results.

Not what you expected? Check for suggestions
BOOKS
Foundations of Software technology and Theoretical computer science: Proceedings, 14t conference

by Thiagarajan, P.S.

Series: Lecture notes in computer science ; 00880Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Multiple Copies Section, Shelf No: 14 Call number: 681 LNCS.

BOOKS
Foundations of software technology and theoretical computer science 28th conference Bangalore, December 2008 proceedings

by Hariharan, Ramesh, Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Bangalore ; Indian association for research in computing science ; 2008Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 46 Call number: 681 FSTTCS.

BOOKS
Structural complexity II

by Balcazar, Jose Luis | Diaz, Josep | Gabarro, Joaquim | Brauer, W Ed | Rozenberg G | Salomaa A.

Series: EATCS monographs on theoretical computer science; 00022Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Springer verlag ; Berlin ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 39 Call number: 681.3 BAL.

BOOKS
Sketching as a tool for numerical linear algebra

by Woodruff, P. David.

Series: Foundations and trends in theoretical computer science volume. 10 (Issue: 1-2)Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Now publishers ; 2014Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 9 Call number: 681.4 FTTCS.

BOOKS
Scalable Algorithms for Data and Network Analysis

by Teng, Shang-Hua.

Series: Foundations and Trends in Theoretical Computer Science ; 12, No:1-2Material type: Text Text Publication details: Boston Now the Essence of Knowledge 2016Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 9 Call number: 681.4 FTTCS.

BOOKS
Hashing Load Balancing and Multiple Choice

by Wieder, Udi.

Series: Foundations and Trends in Theoretical Computer Science ; Volume.12. Number. 3-4Material type: Text Text Publication details: Boston Now the Essence of Knowledge 2017Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 9 Call number: 681.4 FTTCS.

BOOKS
Fundamental proof methods in Computer Science

by Arkoudas, Konstantine Musser, David.

Material type: Text Text Publication details: Cambridge The MIT Press 2017Availability: No items available :

BOOKS
Fundamental proof methods in Computer Science

by Arkoudas, Konstantine Musser, David.

Material type: Text Text Publication details: Cambridge The MIT Press 2017Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 38 Call number: 681.3 ARK.

BOOKS
Coding for Interactive Communication A Survey

by Gelles, Ran.

Series: Foundations and Trends in Theoretical Computer Science ; Volume No.13, Issue No: 1-2Material type: Text Text Publication details: Boston Now the Essence of Knowledge 2017Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 9 Call number: 681.4 FTTCS.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha