My Library

University LibraryCatalogue

For faster,
simpler
access.
Use Lean
Library.
Get it now
Don't show me again
     
Limit search to items available for borrowing or consultation
Save Marked Record Save All Records Save Marked to My Lists
AUTHORS (1-3 of 3)
Luo, Zhaohui.
1
Cover Art
    PRINTED BOOKS 1994

Computation and reasoning : a type theory for computer science / Zhaohui Luo.

    Luo, Zhaohui.
Oxford : Clarendon Press ; New York : Oxford University Press,        xi, 228 pages : illustrations ; 24 cm. 1994
2
Cover Art
    E-RESOURCE 2017

Modern perspectives in type-theoretical semantics / Stergios Chatzikyriakidis, Zhaohui Luo, editors.

   
Cham, Switzerland : Springer,        1 online resource (viii, 296 pages) : illustrations. 2017
3
Cover Art
    PRINTED BOOKS 2005

Yuan luo cang sang : Shanxi gu min ju de li shi wen hua jie du = Vicissitudes of compound : cultural interpretation of the history of ancient local-style dwelling houses in Shanxi / Wang Xianming, Luo Zhaohui zhu.

    院落沧桑 : Wang, Xianming, 1957-
Taiyuan Shi : Shanxi ren min chu ban she,    Di 1 ban.    173 p. : col. ill. ; 24 cm. 2005
Save Marked Record Save All Records
Locate in results
 
Can't find that book? Try BONUS+

Search Discovery

Search CARM Centre Catalogue

Search Trove