IMSc Library catalog › Results of search for 'ccl=au:"Larsen, Kim G"'

Your search returned 6 results.

Not what you expected? Check for suggestions

			Automata, Languages and Programming Proceedings, 25th International Colloquium, Denmark, 1998 by Larsen, Kim G. Ed \| Skyum, Sven. Ed \| Winskel, Glynn. Ed. Series: Lecture notes in computer science ; 01443Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS. Place hold Log in to add tags
			No cover image available Concur 2001 - Concurrency Theory, Proceedings of the 12th International Conference, Denmark by Larsen, Kim G. Ed \| Nielsen, Mogens. Ed. Series: Lecture notes in computer science ; 02154Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Formal modeling and analysis of timed systems: first international workshop, formats 2003, marseille, france, september 6-7, 2003, reivised papers by Larsen, Kim G \| Niebert, Peter Eds. Series: Lecture notes in computer science ; 02791Edition: 1st ed.Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer-Verlag ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 28 Call number: 681 LNCS. Place hold Log in to add tags
			CONCUR 2001 — Concurrency Theory [electronic resource] : 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings / edited by Kim G. Larsen, Mogens Nielsen. by Larsen, Kim G [editor.] \| Nielsen, Mogens [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2154Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Computer Aided Verification [electronic resource] : 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings / edited by Kim G. Larsen, Arne Skou. by Larsen, Kim G [editor.] \| Skou, Arne [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 575Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Automata, Languages and Programming [electronic resource] : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings / edited by Kim G. Larsen, Sven Skyum, Glynn Winskel. by Larsen, Kim G [editor.] \| Skyum, Sven [editor.] \| Winskel, Glynn [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1443Source: 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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha