IMSc Library catalog › Results of search for 'au:"Tiuryn, Jerzy."'

Your search returned 5 results.

Not what you expected? Check for suggestions

			Computer Science Logic 8th Workshop, Poland, 1994 by Pacholski, Leszek. Ed \| Tiuryn, Jerzy. Ed. Series: Lecture notes in computer science ; 00933Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Foundations of Software Science and Computation Structures, Proceedings of the Third International Conference, Berlin, 2000 by Tiuryn, Jerzy. Ed. Series: Lecture notes in computer science ; 01784Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 23 Call number: 681 LNCS. Place hold Log in to add tags
			Foundations of Software Science and Computation Structures [electronic resource] : Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings / edited by Jerzy Tiuryn. by Tiuryn, Jerzy [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1784Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Computer Science Logic [electronic resource] : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers / edited by Leszek Pacholski, Jerzy Tiuryn. by Pacholski, Leszek [editor.] \| Tiuryn, Jerzy [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 933Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Dynamic Logic by Harel, David Kozen, Dexter Tiuryn, Jerzy. Edition: Eastern Economy EditionMaterial type: Text Publication details: New Delhi Prentice Hall of India 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HAR. Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha