<--- Back to Details
First PageDocument Content
Surnames / Wang / Book of Han / Records of the Grand Historian / Qin / King Wen of Zhou / King Wu of Zhou / Duke of Zhou / Wu / Chinese literature / Chinese culture / Chinese folk religion
Date: 2012-01-04 23:51:09
Surnames
Wang
Book of Han
Records of the Grand Historian
Qin
King Wen of Zhou
King Wu of Zhou
Duke of Zhou
Wu
Chinese literature
Chinese culture
Chinese folk religion

Add to Reading List

Source URL: www.cuhk.edu.hk

Download Document from Source Website

File Size: 817,87 KB

Share Document on Facebook

Similar Documents

Automated theorem proving / Concolic testing / Software testing / Equations / Z3 / Solver / Equation solving / Mathematics / Abstraction / Software engineering

DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop

DocID: 1xW38 - View Document

Computing / Computer architecture / Android / System software / Online marketplaces / Google Play / Intent

Poster: Android Collusive Data Leaks with Flow-sensitive DIALDroid Dataset Amiangshu Bosu Fang Liu, Danfeng (Daphne) Yao, Gang Wang Department of Computer Science

DocID: 1xW0O - View Document

Formal methods / Software engineering / Computing / Logic in computer science / Non-interference / Exception handling / Formal verification / Refinement / Thread / Futures and promises / Covert channel / Application programming interface

Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington

DocID: 1xVUp - View Document

Delphy Foundation: Revolutionary Platform for Predicting Future Events Bo Wang Abstract

DocID: 1xVRg - View Document

Mathematics / Mathematical analysis / Algebra / Field theory / Measure theory / Commutative algebra / Localization / Valuation ring / Metric space / Ergodic flow / Abelian von Neumann algebra

Metric sparsification and operator norm localization Xiaoman Chen, Romain Tessera, Xianjin Wang, Guoliang Yu November 13, 2007 Abstract We study an operator norm localization property and its applications

DocID: 1xVxn - View Document