|
|
|
|
|
|
|
|
|
Elements of the Theory of Computation by Lewis, Harry R | Papadimitriou, Christos H. Edition: 1st & 2ndMaterial type:  Text;Language: ; Format:
print
Publication details: USA ; Prentice-Hall International Inc ; 1981; 1998Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 49, Shelf No: 9 Call number: 681.3 LEW.
|
|
|
|
|
Computational category theory by Rydeheard, D.E | Burstall, R.M. Material type: Text;Language: ; Format:
print
Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 17 Call number: 681.3 RYD.
|
|
|
|
|
|
|
|
|
|
Algorithms and Computation, 4th International symposium, ISAAC'93, Hong Kong, December 1993 by Raghavan, P. Ed | Balasubramanian, N.V., Ed | Chin, F Y L. Ed. Series: Lecture notes in computer science ; 00762Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer-Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.
|
|
|
|
|
Applied Numerical Methods for Digital Computation with Fortran by James, M L | Smith, G M | Wolford, J C. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Scranton ; International textbook company ; 1970Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 5 Call number: 681.32 JAM.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Semantics and Logics of Computation by Pitts, Andrew M. Ed | Dybjer, Peter. Ed. Series: Publications of the Newton InstituteMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; Cambridge University press ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 26 Call number: 681.3.01 PIT.
|
|
|
|
|
|
|
|
|
|
Computation Theory and Logic by Borger, Egon. Ed. Series: Lecture notes in computer science ; 00270Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 4 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Algorithms and Computation Proceedings, 7th International Symposium, Japan, 1996 by Asano, T., Ed. Igarashi, Y.,Ed | Nagamochi, H. Ed. Miyano, S.Ed | Suri, S. Ed. Series: Lecture notes in computer science ; 01178Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 18 Call number: 681 LNCS.
|
|
|
|
|
Projects in Scientific Computation by Crandall, Richard E. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 14 Call number: 681.9 CRA.
|
