IMSc Library catalog › Results of search for 'Provider:CSLI'

Your search returned 8 results.

Not what you expected? Check for suggestions

			Modal Logic and Process Algebra Bisimulation Perspective by Ponse, Alban. et al Eds. Series: CSLI Lecture Notes, No. 53Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; CSLI ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 7 Call number: 510.6 PON. Place hold Log in to add tags
			Logic, Language and Computation, Tbilisi Symposium on- Gudauri, Georgia, 1995. Selected Papers by Ginzburg, Jonathan. et al Eds. Series: Studies in Logic, Language and InformationMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; CSLI Pub. ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 GIN. Place hold Log in to add tags
			Modal Logic, Advances in-; Vol. 1 by Kracht,M.,Ed.,De Rijke,M. Ed \| Wansing, H., Ed \| Zakharyaschev, M., Ed. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; CSLI Pub., ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 5 Call number: 510.6 KRA. Place hold Log in to add tags
			Selected papers on computer science by Knuth, Donald Ervin. Series: CSLI lecture notes; 59Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: [Stanford, Calif.] ; CSLI Publications: CUP ; c1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681(081) KNU. Place hold Log in to add tags
			Exploring logical dynamics by van Benthem, Johan. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; CSLI pub. & Folli ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BEN. Place hold Log in to add tags
			Digital typography by Knuth, Donald E. Series: CLSI Lecture Notes; 78Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Stanford ; CSLI Publications ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 18 Call number: 681.9 KNU. Place hold Log in to add tags
			No cover image available Advances in modal logic: volume 3 by Wolter, Frank [et al] Eds. Material type: Text;Language: ; Format: print Publication details: Stanford, Calif. ; CSLI Publications ; c1998-<c2002 >Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 10 Call number: 510.6 WOL. Place hold Log in to add tags
			Euclid and his twentieth century rivals diagrams in the logic of Euclidean geometry by Miller, Nathaniel. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Stanford ; CSLI Publications ; 2007Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 30, Shelf No: 36 Call number: 514 MIL. Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha