汤君逸，汤涛著；江村绘图2019 年出版293 页ISBN：9787542666444
本书为一本关于人与狗的对话集。作者通过寓言式的方式来反映人生中的趣事和感悟，主要包括部分： 一、关于生活对话；二、关于爱情对话； 三、关于读书对话；四、关于时局对话；五、关于自身对话等。言语诙谐风趣，使......
吴方君著2006 年出版185 页ISBN：7312013546
本书包括基于依赖性分析的Z形式规约切片及形式化描述，基于关系演算的Z形式规约切片，变量定义和使用情况的探讨，Z形式规约切片在提升和定理证明中的应用以及基于依赖性分析的Z形式规约度量。...
