张广泉著2015 年出版256 页ISBN：9787302411611
鉴于形式化方法对软件工程的重要性， 2004 年 ACM 和 IEEE-CS 联合制订的软件工程教程《SE2004》将“形式化方法”列为 软件工程专业的核心课程。本书主要由系统建模、形式规约和形式验证三部分构成，具体包括...
（印）摩尔（Mall，R）；马振晗，胡晓译2008 年出版282 页ISBN：9787302181934
本书的很大一部分内容都是基于作者参与的数个领域的软件开发项目的经验总结，加之作者在克勒格布尔印度科技学院长达9年的软件工程课程的教学经验，因而形成了本书理论与实践的特点。...
（美）N.鲍培著；周建奇译2004 年出版280 页ISBN：7531152258
本书是一部研究阿尔泰语言学的专著，对阿尔泰语系语言、阿尔泰语言研究史、阿尔泰语论、阿尔泰语群内的相互影响、阿尔泰语系与其他语系的接触、结构特征作了研究。该书是翻译作品。...
（英）RonnieCann著2010 年出版344 页ISBN：9787510018763
本书没有预设语义学和逻辑学的专门知识，循序渐进地介绍了经典蒙太格语义学，便于初学者阅读。读者通过本书可对蒙太格语义学的体系有较全面深入的认识。本书适合语言学、人工智能、认知科学等相关专业的研究者...
韩巧凤等2013 年出版170 页ISBN：7122148964
本书主要按照催化剂的种类及反应机理分成不同章节，内容包括固体酸碱催化剂概述，如：分子筛催化剂、层柱状催化剂及杂多酸催化剂；氧化还原催化剂，分为金属催化剂和金属氧化物催化剂；配合物催化剂；相转移催化剂；......
徐名额主编；陈培，朱志图，王旭林副主编；王旭林，王秋林，朴龙等编2013 年出版168 页ISBN：9787509160961
本套教材以教学型、应用型高等医学院校为编写主体，立足于培养素质过硬、能力过硬，适合基层需要的实用型医学人才，根据未来国家53的医学人才培养模式对内容做了精心策划和取舍，注重教材的实用性和精简易懂强调与...
刘新民，谈成文主编2011 年出版356 页ISBN：9787565004315
本书共18章，概述了变态心理学的研究对象、判别标准、影响因素、理论模型、研究方法、分类和诊断等基本理论和方法，主要讨论了各种心理障碍，对各种障碍的分析围绕典型案例展开，介绍其症状表现、诊断标准、产生机...
刘军著2004 年出版304 页ISBN：7801903323
社会网络分析，在社会学领域中，是一个属于学术前沿的问题，在西方各国的社会学界以及相关领域，其影响都不可低估，并且已形成了较为完整的体系，多年以来，对此问题的研究一直方兴未艾。但是，在国内，此类文章在各......
王荣发主编2004 年出版323 页ISBN：7562814872
本书将职业理论、大学毕业生挑选职业技巧和案例分析有机地融为一体，侧重于职业发展理论的阐述，避免单纯的职业技巧介绍，对大学生职业发展将有所裨益。...
（德）Volker Scheidemann著2010 年出版172 页ISBN：9787510027277
本书全面介绍了多变量复分析，旨在全面清晰地介绍多变复分析，而非包揽尽可能多的相关材料。书中包括了不少相关的数学概念，如泛函分析和代数，以丰富书的内容。书中还集中讲述了一维的情况，例如著名的Hartog的Kuge...
