Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference
CAV 20052005 年出版564 页ISBN：3540272313
Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN：9783540733676
Lecture Notes in Computer Science 3210 Computer Science Logic 18th International Workshop
CSL 20042004 年出版671 页ISBN：3540230246
Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN：354037406X
Covariances in Computer Vision and Machine Learning: Synthesis Lectures on Computer Vision
Ha Quang Minh2017 年出版156 页ISBN：1681732596
中国近代各地小报汇刊 第1辑 72 爱国白话报 27 民国10年10月-民国11年2月 影印本
孟兆臣主编；刘辉，蔡雨燕，刘悦斌副主编2010 年出版469 页ISBN：7507736403
云南省档案馆编2013 年出版469 页ISBN：9787509747407
本书是国家社科基金重大特别委托项目“西南边疆历史与现状综合研究项目·档案文献系列”中的成果之一。《民国时期西南边疆档案资料汇编·云南卷》共80卷，主要精选了云南档案馆所藏1912～1949年间云南省政府及...
