IMSc Library catalog › Results of search for 'au:"Lau, Kung-Kiu."'

Your search returned 5 results.

Not what you expected? Check for suggestions

			Program Development in Computational Logic [electronic resource] : A Decade of Research Advances in Logic-Based Program Development / edited by Maurice Bruynooghe, Kung-Kiu Lau. by Bruynooghe, Maurice [editor.] \| Lau, Kung-Kiu [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3049Source: 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
			Formal Methods and Software Engineering [electronic resource] : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings / edited by Kung-Kiu Lau, Richard Banach. by Lau, Kung-Kiu [editor.] \| Banach, Richard [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3785Source: 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
			Computational Logic — CL 2000 [electronic resource] : First International Conference London, UK, July 24–28, 2000 Proceedings / edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey. by Lloyd, John [editor.] \| Dahl, Veronica [editor.] \| Furbach, Ulrich [editor.] \| Kerber, Manfred [editor.] \| Lau, Kung-Kiu [editor.] \| Palamidessi, Catuscia [editor.] \| Pereira, Luís Moniz [editor.] \| Sagiv, Yehoshua [editor.] \| Stuckey, Peter J [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1861Source: 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
			Logic Based Program Synthesis and Transformation [electronic resource] : 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers / by Kung-Kiu Lau. by Lau, Kung-Kiu [author.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2042Source: 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
			Service-Oriented and Cloud Computing [electronic resource] : Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings / edited by Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel. by Lau, Kung-Kiu [editor.] \| Lamersdorf, Winfried [editor.] \| Pimentel, Ernesto [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8135Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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