IMSc Library catalog › Results of search for 'au:"Larsen, Kim Guldstrand."'

Your search returned 5 results.

Not what you expected? Check for suggestions

			Formal Modeling and Analysis of Timed Systems [electronic resource] : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers / edited by Kim Guldstrand Larsen, Peter Niebert. by Larsen, Kim Guldstrand [editor.] \| Niebert, Peter [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2791Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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] : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings / edited by Ed Brinksma, Kim Guldstrand Larsen. by Brinksma, Ed [editor.] \| Larsen, Kim Guldstrand [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2404Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Reachability Problems [electronic resource] : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings / edited by Kim Guldstrand Larsen, Igor Potapov, Jiří Srba. by Larsen, Kim Guldstrand [editor.] \| Potapov, Igor [editor.] \| Srba, Jiří [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9899 \| Lecture Notes in Computer Science ; 9899Edition: 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
			Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang. by Larsen, Kim Guldstrand [editor.] \| Sokolsky, Oleg [editor.] \| Wang, Ji [editor.] \| SpringerLink (Online service). Series: Programming and Software Engineering ; 10606 \| Lecture Notes in Computer Science ; 10606Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Verification, Model Checking, and Abstract Interpretation [electronic resource] : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings / edited by Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen. by D'Souza, Deepak [editor.] \| Lal, Akash [editor.] \| Larsen, Kim Guldstrand [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 8931 \| Lecture Notes in Computer Science ; 8931Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online 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