![实用语义网RDFS与OWL高效建模（英文版） [美]阿利芒、[美]](http://img3m3.ddimg.cn/86/16/11770440053-1_l.jpg)
读罢全书，总体感觉有下列特色： 首先，在研究方法上，他摒弃了过去以收入总额和扣除项目的传统研究方法，以具体会计准则为主线，不仅结构清晰，而且内容全面，对租赁准则、金融工具确认与计量准则、套期保值准则、企业合并准则、资产负债表日后事项准则、会计政策、会计估计变更和差错更正等准则与税法的差异进行了创新性的系统分析，填补了差异研究领域的空白。 其次，注重新旧政策的衔接，实用性很强。比如工资薪金税前扣除办法改变后，对2007年底的工资结余的税务处理，区分以前年度采取据实扣除、工效挂钩、计税工资三种不同办法的企业作了详细说明，并列举了大量案例进行了深入细致的分析，使读者可以迅速消化吸收书中的内容，达到理性认识和感性认识的统一。 第三，本书以具体会计准则为线索研究差异，最后对差异项目的会
LMS lmagine.Lab AMESim REV10是比利时LMS公司于2010年11月推出的版本，提供了一种工程设计的完整平台。用户在这个单一平台上可以建立复杂的多学科领域的模型，并在此基础上进行仿真计算和深入分析。《LMS Imagine.Lab AMESim建模和仿真参考手册》全面而深入地介绍了AMESim的基本功能及使用方法。全书共17章，主要包括软件的简介、工作空间和仿真流程菜单的介绍、各种工作模式下的可用工具及特点的应用、后处理及设计分析工具等。《LMS Imagine.Lab AMESim建模和仿真参考手册》本着实用的原则，内容由浅入深，讲解循序渐进，力求使初学者真正学会使用AMESim。 《LMS Imagine.Lab AMESim建模和仿真参考手册》适用于所有使用和需要使用AMESim的读者，包括科学研究和工程技术人员以及理工类本专科院校的师生等。
杨娟、石川、王柏主编的《形式语言与自动机（第2版普通高等教育十二五规划教材）》扼要地介绍了形式语言与自动机的基本体系，是学习计算机科学基础的教材和参考书。书中主要介绍了形式语言的基本概念、自动机模型以及形式语言与自动机的等价性，包括右线性文法与有限自动机、上下文无关文法与下推自动机、图灵机以及无限制文法等。同时也介绍了形式语言与自动机的主要理论成果和应用实例。 本书不追求过多形式化讨论，强调基本概念的直观背景和主要定理证明的思路分析。书中配有较多的例题和习题，可作为工科计算机专业本科生的教材和研究人员的参考书。
