本书详尽地介绍了ADAMS/View参数化建模分析、ADAMS/View编程和二资开发技术。主要内容包括：参数化建模；设计研究；试验与优化设计；命令语言； 条件与循环结构；宏、菜单与对话框等。该书论述深入浅出，突出重点、层次清楚，实用性强。书内既有知识讲解，又有实例说明，包含了作者多年来从事ADAMS/View工程实践应用的经验体会。每章都配有实例与习题，方便读者通过自学循序渐进地掌握高级ADAMS/View，是现出版的中文资料中最具深度的著作。该书非常适合应用MSC.ADAMS软件的一线科技和工程技术人员、理工科院校师生和其他相关人员学习与参考。

本书是由教育部高等学校数学与力学教学指导委员会所属的“数学软件工作小组”推荐，高等教育出版社出版的。 自1982年以来，这套软件系统又经历了诸多发展。首先是由美国数学会开发的AMS-TEX，它适用于撰写数学文章。其次是1986年由Leslie Lamport 开发的LATEX，它用于编排科技书籍和杂志。本书对此都做了详细介绍。 全书的讲述由最基本的内容入手，层层深入。内容包括：TEX简介、TEX 定义的格式文件、AMS-TEX格式、 LATEX简介、中文TEX、AMS-TEX和LATEX快速入门、TEX软件包的相关网站及最新发展简介等七章。本书逻辑清晰，通俗易懂，便于读者自学。 本书区别于其它TEX工具书的特点之一是其后附有索引表。对于一般的TEX使用者来说，往往不可能精确记住所有的TEX命令的使用方法，或者常常会遇到要确定某一个英文字母组合是否可以构成一个TEX命令的问题，这时可以查阅书后的索引表，该表按字母顺序列出了书中介绍的所有TEX命令和解释该命令的书中页码。索引还可以速查TEX命令的含义。此外，书的最后一章介绍了一些与TEX相关的网站，以方

本书继承苹果系统易学、易用且功能强大的特点，深入浅出地介绍了Final Cut Pro 4，并且以现实工作中的项目处理实例为线索，循序渐进地介绍了每…项处理工作的实现过程，以及相关的音频处理、计算机作曲技术，使读者能够系统而直观地全面掌握这种工具软件，并且了解它与其他相关软件的配合关系。本书是苹果电脑公司指定的培训教材，亦可作为Final Cut Pro 4用户的自学教材。

Origin7.0是美国OriginLab公司推出的数据分析和制图软件，是公认的简单易学、操作灵活、功能强大的软件，既可以满足一般用户的制图需要，也可以满足高级用户数据分析、函数拟合的需要。＜br＞本书结合大量的实例，由易到难地介绍了Origin7.0的功能和使用方法。包括Origin基础知识、Origin的2D/3D/多层制图方法、Layout页面的使用方法、函数拟合、数据分析和Origin的程序语言等。内容翔实，实战性强。通过本书的学习可掌握Origin7.0大部分功能的运用。＜br＞本书适合科学研究人员、工程技术人员、理工科高等院校的教师、研究生及本科生使用。

GJB5000《军用软件能力成熟度模型》已于2003年7月21日发布，自2003年10月1日起开始实施。GJB5000的制定，旨在引进国外先进的管理经验，提高我国军用软件的质量，它目前已成为我国武器装备软件建设和发展的一项重要标准。为了使军用软件采购单位、军用软件承制单位，以及军用软件研发团队理解和掌握GJB5000的主要内容和实质，以便有效地贯彻GJB5000，特编撰此书。本书系统全面地介绍了制定GJB5000的必要性和原则；能力成熟度模型的概念；GJB5000的结构和主要内容；军用软件研发单位如何按GJB5000进行软件过程改进的建议；以及基于GJB5000进行内部过程评估和软件能力评价的方法等。本书可供广大软件技术人员、软件企业管理人员和软件采购方使用，也可作为在我国推广应用软件能力成熟模式的重要参考资料。

本书介绍了EDA工程的理论基础和系统芯片SOC的设计方法。第1-3章阐述了电子设计自动化的发展历程、常用设计方法，介绍了集成电路设计的流程和集成设计环境；第4章介绍了VerilogHDL语言；第5章详细介绍了VHDL程序设计方法；第6章介绍了软、硬件协同设计语言——SystemC语言；第7章介绍了SOC设计工具的使用；第8章阐述了集成电路的可测试设计方法、算法验证方法；第9章介绍了SOC芯片的实现方法和EDA工程设计方法学的进展。全书以系统芯片SOC为线索，阐述了EDA工程的设计方法、设计语言、设计流程、实现方法和验证方法。本书可作为集成电路领域的科技共和者的读者，也可作为微电子、电子电路、通信、计算机等专业大学生、研究生的教学参考书。

本书系统地描述了嵌入式系统设计原理及方法，对嵌入式系统的设计过程进行了完整地介绍。书中采用了自底向上的方法来介绍嵌入式系统，首先介绍了ARM7微处理器核这一典型的用于嵌入式系统开发的微处理器嵌入式系统相关硬件平台，然后介绍了嵌入式系统设计原理及方法，以及嵌入式操作系统及嵌入式网络技术。本书可作为计算机类、电子工程类、通信工程类等高年级本科生及研究生的相关课程教材，同时也可供相关工程技术人员参考。本书前言21世纪是嵌入式计算系统时代，人们日常生活和工作中所接触的仪器与设备中，都将嵌入具有强大计算能力的微处理器，微处理器技术的飞速发展使嵌入式计算成为一门学科。在嵌入式系统的早期阶段，所有基本硬件构件相对较小且简单，如8位的CPU、74系列的芯片及晶体管等，并且其应用要求相对也较简单，所以软件平台复杂度不高。今天的嵌入式系统基本硬件构件已很复杂，如32位CPU或特殊功能的微处理器、特定功能的集成芯片、FPGA或CPLD等，其应用需求也复杂得多，如希望支持多媒体信号的处理及可接入因特网，因而软件设计的复杂性成倍增加。在嵌入式系统的设计要求越来越复杂的今天，设计的困难不在于硬件平台的构建，而是其软件系统的设计，传统的设计方法已不能满足快速、高效地设计复杂嵌入式系统的要求。因此，熟练地掌握并在设计中使用科学、有效的设计方法，特别是面向对象的设计方法对复杂嵌入式系统来说是至关重要的。本书即是从嵌入式系统设计一般性原理及方法的角度来介绍嵌入式系统的设计。书中内容可分为两大部分，第1章到第4章，具体介绍了ARM7微处理器核及嵌入式系统的硬件平台相关知识；第5章到第8章，分层次、系统性地介绍了嵌入式系统设计原理及方法、嵌入式操作系统、嵌入式网络技术原理及应用，并通过几个设计实例对教材中涉及的原理及设计方法加以具体化。对于不同层次的学生，可选取不同章节的内容组合来重点介绍，如针对硬件基础不强的学生，可选取第2，3，4章及5.1节、8.2节等内容为组合重点介绍；对于有硬件基础的学生，则选取第5，6，7，8章等内容为组合重点介绍。本书由符意德主编，王丽芳参加了本书第7章与第8章的编写工作。目前，嵌入式系统正处于一个快速发展的阶段，新的技术和应用成果不断地涌现，囿于编者的水平，书中的疏漏和错误之处希望广大读者批评指正。在本书的编写过程中，参考了许多专家学者的成果，在此向他们表示感谢！感谢江苏省高校计算机基础教学工作委员会的支持和帮助！同时感谢本书责任编辑的支持！感谢家人的关心和支持！

本书注重数学内容的系统性与连贯性，深入系统地讲解了Mathematica的概况与基本量，曲线与曲面的绘制方法，导数、积分、方程、线性代数、概率论等内容。

目前介绍通信软件测试的书籍并不多见，虽然偶尔可以见到一两本新书，但这些书有相当多的内容是重复的。随着软件技术的发展，软件测试技术和方法也在不断地更新。尤其是随着网络技术的发展，以实现网络协议为内容的软件大量出现，这样就需要一本能够全面、深入介绍软件测试技术的参考书来满足广大软件测试技术人员和软件专业学生的需求。正是基于这种考虑，作者在多年从事软件测试工作和软件测试技术学习的基础上编写了本书。本书首先介绍软件测试的基本概念、基本内容和测试方法的分类，作为软件测试的基础，重点介绍了软件测试的白箱法和黑箱法。在此基础上深入讨论了通信协议软件测试的基本方法，全面介绍协议软件测试的建模工具树表描述语言TTCN和时序说明语言LOTOS/E-LOTOS。TTCN和LOTOS/E-LOTOS是国际标准化组织颁布的协议软件测试的形式化建模技术标准，在协议软件测试领域中占有主导地位，大多数协议软件测试工具都是基于上述两大标准设计开发的，所以TTCN和LOTOS/E-LOTOS也是本书的重点。为了使读者能够更好地理解TTCN和LOTOS/E-LOTOS，本书给出了一些典型的应用实例。本书内容新颖，参考性强，可以作为大专院校计算机专业、通信专业高年级学生、研究生和软件学院学生的教材，也可以作为通信软件开发人员、软件测试技术的科研人员的参考书。

本书详细介绍了利用几何画板制作数学课件的方法，将几何画板的功能融入到范例中介绍，令人耳目一新。本书介绍了几种典型类型的数学课件的设计思路和制作方法，并在其中穿插介绍了几何画板的使用经验和技巧。本书图文并茂、通俗易懂，重视实践性应用，可作为几何画板数学课件制作的学习用书，也可作为学习几何画板软件使用方法的参考书。