（苏）戈尔巴托夫（Горбатов，В.А.）著；王明琼等译1991 年出版428 页ISBN：7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。
王明琦主编2011 年出版242 页ISBN：9787209058537
本书以最新的教学理念为指导，采用现代化教学手段，选取语言鲜活、难易程度适当的新材料，涵盖了高校俄语专业的全部课程。
（意）卢卡·诺维利著绘2005 年出版112 页ISBN：7111149084
本书是由意大利著名作家、画家诺维利创作的科普系列作品。书中采取第一人称方式，分为若干独立的部分，每一部分都有一位伟大的科学家向你亲口讲述他的故事。...
栾政明，韩哲，赵向利著2009 年出版433 页ISBN：9787802462120
本书对矿业犯罪进行了全面系统地研究，涉及罪名共50个。从内容上看，主要包括刑法条文、罪名释义、犯罪成立要件、司法认定、刑事责任、典型判例和专家点评共七个方面。本书是我们多年从事矿业法律服务和刑事辩...
