Your search returned 3 results.

Not what you expected? Check for suggestions
1.
Programming languages and systems : 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 : proceedings / Zhong Shao (ed.).

by APLAS (Symposium) (5th : 2007 : Singapore) | Shao, Zhong, 1968-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: APLAS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / Jean-Pierre Jouannaud, Zhong Shao (eds.).

by CPP (Conference) (1st : 2011 : Kʻen-ting, Taiwan) | Jouannaud, Jean-Pierre | Shao, Zhong, 1968-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Programming languages and systems : 23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / Zhong Shao (eds.).

by European Symposium on Programming (23rd : 2014 : Grenoble, France) | Shao, Zhong, 1968- [editor.] | ETAPS (Conference) (17th : 2014 : Grenoble, France).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, 2014Other title: ESOP 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha