微机工具软件应用职业培训教程

劳动和社会保障部推荐教材计算机应用职业技术培训教程劳动和社会保障部教材办公室组织编写:与中国劳动社会保障出版社合作出版:本书包括磁盘管理软件、系统的管理配置与优化、病毒清除软件、计算机系统的诊...

中国周边国家民族状况与政策

本书包括了与我国陆地接壤的所有的周边国家，共有15个国家，内容强调知识性、资料性、实用性、可读性，力求尽可能全面准确的介绍周边国家的民族结构、民族历史和现状，并客观地介绍各国遇到的民族问题和为此而采取...

中国：经济转型与经济政策 北京大学中国经济研究中心简报汇编 1995-1999

美国对华政策与中国民族主义运动 1904-1928

美国福特基金会赞助的中华美国学会美国学著作出版补贴基金资助:本书主要包括：中美关于粤汉路权交涉与中国民族主义运动的兴起；美国与抵制美货运动；美国与辛亥革命；孙中山与美国等。 ...

逻辑公式的可满足性判定 方法、工具及应用

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

全国高等教育自学考试指定教材辅导用书 法律专业学与考 劳动法

高层建筑设计施工规范与新技术应用实务全书 第4卷

高层建筑设计施工规范与新技术应用实务全书 第3卷

华侨华人百科全书 法律条例政策卷

中国古代工具书举要