IMSc Library catalog › Results of search for 'au:"Hankin, Chris."'

Your search returned 7 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
			Coordination Languages and Models Proceedings, First International Conference, Italy, 1996 by Ciancarini, Paolo. Ed \| Hankin, Chris. Ed. Series: Lecture notes in computer science ; 01061Material 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: 17 Call number: 681 LNCS. Place hold Log in to add tags
			Principles of Program Analysis by Nielson, Flemming \| Nielson, Hanne Riis \| Hankin, Chris. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 49 Shelf No: 13 Call number: 681.3 NIE. Place hold Log in to add tags
			Static Analysis [electronic resource] : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings / edited by Chris Hankin, Igor Siveroni. by Hankin, Chris [editor.] \| Siveroni, Igor [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3672Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Coordination Languages and Models [electronic resource] : First International Conference, COORDINATION '96 Cesena, Italy, April 15–17, 1996 Proceedings / edited by Paolo Ciancarini, Chris Hankin. by Ciancarini, Paolo [editor.] \| Hankin, Chris [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1061Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Programming Languages and Systems [electronic resource] : 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings / edited by Chris Hankin. by Hankin, Chris [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1381Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Semantics, Logics, and Calculi [electronic resource] : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays / edited by Christian W. Probst, Chris Hankin, René Rydhof Hansen. by Probst, Christian W [editor.] \| Hankin, Chris [editor.] \| Hansen, René Rydhof [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9560 \| Lecture Notes in Computer Science ; 9560Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha