硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches

（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027

本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。

营口开放之路理论研究文集

李风云主编；李振宁，王德宏副主编1990 年出版358 页ISBN：

内科验方

彭勃丛书主编；孙玉信，李连章主编；朱平生，张建功，李秀英副主编2005 年出版651 页ISBN：7810604708

本书共收录数千首内科方剂。其中的经典验方选录自经典医籍；仲景故里经验方则是集医圣之乡众多医学名录的验方汉民间偏方。所选方药均具简、便、廉、验的特点，实用性强，可供临床中医师及广大患者参阅。...

荆山扛神

李素娥主编；杨顺适副主编；李素娥，刘燕萍编著2010 年出版207 页ISBN：9787216062176

本书包括《荆山阳锣鼓》、《荆山阴锣鼓》、《荆山巫音》、《荆山扛神》四册。为湖北省普通高校人文社会科学重点研究基地襄樊学院鄂北区域发展研究中心基金资助出版项目。...

俄语综合教程 4 教师用书

综合教程主编李勤；本册主编李勤2013 年出版249 页ISBN：9787544627894

本书是与教材配套的教师用书，提供教学指导。

高考对策 生物

李百胜主编；王蔚蔚副主编；李百胜，王蔚蔚，陈春建等编2009 年出版278 页ISBN：7560257712

本书针对高考出题热点和难点，全面细致地将高中生物学科内容以专题为单位分开，详细讲解，重点分析，结合广泛新颖的习题，可供高考复习之用。...

综合英语 下 自考过关教练

李雪雁，张富生主编；孙爱珍，吴秀琼，魏新强，李玉洁副主编2001 年出版364 页ISBN：7801006720

暂缺《综合英语（一）下册自考过关教练》简介

GRADED ENGLISH READERS 2

李长泰 李尚武主编 王延令 庄春森 何明 舒启全 嵇德全副主编1995 年出版250 页ISBN：756210333X

我国经济社会协调发展的动态监测与政策支撑体系研究

范柏乃，邵青，张维维著2017 年出版252 页ISBN：9787509575901

经济社会协调发展是世界各国面临的普遍性难题，也是人类追求的一种理想目标状态,在此过程中逐步凸显了人的主体地位并推动着整个社会的发展进步。本研究基于系统论阐释了经济社会协调发展的形成机理，构建了我...

俄语综合教程 4 学生用书

综合教程主编李勤；本册主编李勤2013 年出版313 页ISBN：9787544627887

本书为综合教程，适合俄语专业本科四年级学生使用，全面培养学生的俄语综合能力。