IMSc Library catalog › Results of search for 'se,phr:"Graduate Texts in Computer Science"'

Your search returned 6 results.

Not what you expected? Check for suggestions

			Lambda Calculi : Guide for Computer Scientists (GTCS 3) by Hankin, Chris. Series: Graduate Texts in Computer Science, 3Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Oxford ; OUP ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 1 Call number: 681.3 HAN. Place hold Log in to add tags
			On Concurrent Programming by Schneider, Fred B. Series: Graduate Texts in Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 1 Call number: 681.3.06 SCH. Place hold Log in to add tags
			Descriptive complexity by Immerman, Neil. Series: Graduate texts in computer scienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: 1999; Springer Availability: Items available for loan: IMSc Library (1). Location(s): Call number: 681.3 IMM. Place hold Log in to add tags
			First-Order Logic and Automated Theorem Proving by Fitting, Melvin. Series: Graduate Texts in Computer ScienceEdition: 2ndMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 FIT. Place hold Log in to add tags
			Kolmogorov Complexity and its Applications, Introduction to- by Li, Ming \| Vitanyi, Paul. Series: Graduate Texts in Computer ScienceEdition: 2ndMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 9 Call number: 681.3 LI. Place hold Log in to add tags
			Refinement Calculus : Systematic Introduction : (GTCS) by Back, Ralph-Johan \| Wright, Joakim von. Series: Graduate Texts in Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 38 Call number: 681.3 BAC. Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha