IC设计是一个实践性很强的行业。IC设计师经常发现，书本上学到的东西，和实践往往有一定的距离。本书结合最先进的工具和设计方法，针对IC系统设计中几个重要的专题进行了较为深入的讨论。全书共分9章。第1章概述了IC设计流程及常用EDA工具；第2章介绍了算法及架构设计，对数字信号处理算法的开发、AMBA片上总线、SystemC设计语言进行了概述；第3章对RTL设计中的一些重要问题进行了说明，并给出了HDL设计指南；第4章对逻辑综合库进行了深入讲解，这是理解逻辑综合和静态时序分析的基础；第5章介绍了高级综合技术，包括自动芯片综合和物理综合；第6章对可测性设计进行了较深入阐述；第7章讲解了静态时序分析的一些重要专题；第8章介绍了实际中的形式验证技术；第9章对低功耗设计技术进行了讨论。本书主要针对IC设计人员，也可作为高等院校相关专业师生的参考书。

本书系统介绍了当前在科学与工程计算领域广为使用的Fortran 90/95高级算法语言，重点讲述Fortran 90语法。全书由语言标准和语言扩展两部分组成。语言标准包括程序设计基础、例程和模块、控制结构、数组、派生类型、指针、格式化输入/输出及文件操作；语言扩展包括用模块、接口块、派生类型和指针来模拟C++面向对象程序设计，Visual Studio 6.0环境下的Fortran与C/C++混合编译、混成DLL并集成到Win32应用程序，Fortran COM组件的创建及其在客户程序中的调用。本书重点突出，注重实用，文字通俗易懂，面向中、高级读者，适合作为理工科高年级本科生及研究生的教学参考书，也可作为科学研究、应用开发人员的参考书。

This update to a Wrox bestseller dives in and guides the reader through the entire process of creating dynamic， data-driven sites using the open source "AMP" model： Apache Web server， the MySQL database system， and the PHP *ing language. The team of expert authors covers PHP *ing， database management， security， integration， and e-commerce functions and comes complete with a useful syntax reference.　·Showcases three fully functional Web site examples， with implementations for both Windows and Linux， that readers can incorporate into their own projects　·Updates include a new chapter on PHP5 features and functions， a new example Web site application， and updates to PHP5 throughout the text

模态逻辑是哲学逻辑的重要分支，自20世纪70年代以来在深度和广度方面都得到了很大的发展。本书对国内外已有的广义模态逻辑成果进行了比较全面的梳理和归纳，阐明了狭义模态逻辑的基础，并把认知逻辑、规范逻辑、时间逻辑、命令逻辑等纳入广义模态逻辑的范围；论述了模态逻辑与自然语方、计算机科学、教育科学、理学和工学等学科的关系；强调了模态逻辑在各个领域的具体应用，尤其丰富和发展了“教育逻辑”的内涵。本书既有对广义模态逻辑理论的系统阐述，又有应用前景的分析和展望，内容丰富、资料翔实，具有较高的专业理论水平和学术价值，是该专业领域的重要学术参考书。

（获第三届电子部优秀教材二等奖）郑启华编著本书1991年初版，被清华大学、北京大学等数百所高等院校选作教材。在初版的基础上，编著者征集了许多院校师生使用的意见，又结合作者在清华大学使用该书的教学实践，以及参考国内外最新教材，对初版作了较大的修改，于1996年出版了本书第二版。在内容取舍、概念叙述和例题选择上第二版更加科学、严密。本书全面地介绍了PASCAL语言的数据类型、语句及结构特点，系统讲述了程序设计方法，特别是自顶向下逐步求精的结构化程序设计方法，并强调培养良好的程序设计风格和习惯。讲述力求理论联系实际、深入浅出、通俗易懂。全书共分12章。第1章介绍必要的基本知识。第2章到第五章介绍结构化程序设计的四种基本结构（顺序、选择、重复、函数与过程）的设计方法以及PASCAL的标准数据类型和基本语句。第6章到第11章介绍PASCAL的各种用户定义数据类型（枚举、子界、数组、集合、记录、文件和指针）及其程序设计。第12章介绍其它余留问题。每章后面均附有习题。本书可作为高等院校计算机软件、硬件专业或其他专业的计算机程序设计教材，也可作为从事计算机应用的科技人员的自学或培训教材。为了配合本书的学习，由作者编写了与本书配套的《PASCAL程序设计习题与选解（新编）》，可供学习时参考使用。

《Palm OS编程宝典（第2版）》详细地讲解了Palm OS编程，内容涵盖了使用C/C++进行Palm OS开发的各个方面。全书共23章，分为7个部分，包括Palm OS入门、创建Palm OS应用程序、Palm OS编程、信息存储、手持设备的外部通信、与桌面计算机同步、高级主题。书中内容由浅入深，除了结合实例对Palm OS的系统API进行细致的讲解外，还涉及到一些较为深入的高级主题。此外，书中对Palm OS开发中常用的几种开发工具，如Metrowerks CodeWarrior和Falch.net DeveloperStudio等，也做了全面而详细的介绍。《Palm OS编程宝典（第2版）》的最后附有术语表，列出了与Palm OS编程相关的大量术语。无论对想要入门的Palm OS开发新手，还是想进一步提高的“门内汉”，甚至对于Palm OS高级开发者，此书都会对您有所帮助，读者都将在书中找到自己所需的内容。

本书分上下两册，上册共10章为理论教学部分，下册为实验指导部分。下册以10个实验为中心展开，包括实验目的、实验要求、操作步骤指导和习题，最后附有程序调试注意事项。

本书全面、详细地介绍了UML的基础知识和Rational Rose的使用方法，并通过4个综合性的案例，展示了使用UML和Rose进行软件建模的具体方法和步骤。全书共分20章，前4章是基础部分，介绍了UML和Rose的基础知识；第5章到第13章是本书的重点，介绍了UML的9种图和组成元素，以及相关的建模技术，并在每章的最后介绍了各种图在Rose中的绘制方法；第14章到第17章是高级应用部分，介绍了UML的扩展机制、双向工程、RUP以及OCL的相关内容；第18章到第21章是综合案例部分，包括图书馆管理系统、汽车租赁系统、网络教学系统和网上图书销售系统，以帮助读者加深对前面所学内容的理解与掌握，达到边学习、边实践的目的。 　　本书不仅适合初学者学习UML建模的相关知识，也适用于从事软件开发的工程人员学习和参考，或者作为高等院校计算机和软件相关专业的教学用书或参考书。

本书通过16个实验，锻炼和培养学生在面向对象分析与设计、可视化建模等方面的分析问题、解决问题的能力，提高学生在Rose工具的使用方面的实际动手能力，从而帮助学生系统、全面地掌握上述内容。本书的主要内容包括：实验1和实验2练习了Rational Rose工具的基本使用方法：实验3和实验4介绍如何创建用例图和活动图；实验5介绍了在分析模型的浏览器中添加类和定义类的职责的方法；实验6练习了如何创建时序图；实验7验证了从已有的时序图自动生成相应的协作图的操作；实验8介绍了创建类图的方法；实验9对实验l至实验8进行简单的阶段总结，通过一个小案例，体现Rose在一个完整软件工程项目中可以发挥的作用。实验10至实验16从不同侧面介绍了软件工程项目设计的完整过程与步骤。实验10练习了如何从分析元素里识别设计元素，并且根据分析元素间的关系确定各个设计元素的关系方法；实验11介绍了软件系统运行架构的表述方式和方法；实验12练习了描述分布系统的方法，通过这个实验将会学会如何来实现系统的功能分布；实验13通过分析用例实现，析取出类并找到类之间的协作；实验14介绍如何分析子系统的设计元素、找出子系统的接口和子系统与其他设计元素的关系、实现子系统接口所需要的交互的方法；实验15介绍从已经创建的类图进行改进和细化、精化类的属性和操作定义、识别出类之间的依赖、泛化、聚合、组合关系以及关联的多重性和导航方向；实验16介绍了利用Rose的Data Modeler工具进行数据库建模的方法。本书可作为高等院校计算机专业、电子专业本科生和研究生的实验用书，亦可供其他相关专业的学生、自学考试学生参考。

ig">电子整机系统的设计已经进入了片上系统（SOC）或称单片系统的时代。在可编程逻辑器件（PLD）上实现的SOC（即SOPC）特别适合应对市场变化快的产品、新产品的样机开发以及多品种小批量产品的生产。SOPC对电子系统设计有着多方面的影响，要求电子系统的设计工程师既要掌握PLD的设计技术，又要掌握嵌入式系统的设计技术，还要掌握将这二者有机结合在一片IC里的设计技术。本书以构成SOPC为目标，以Altera公司的QuartusII5.0版设计软件为开发平台，系统地介绍了从PLD到SOPC的各项关键设计技术，力求使读者能够对此有较为全面的理解，并掌握在QuartusII平台下的系统开发技术。本书内容新颖，技术先进，既有关于SOC、PLD、SOPC的系统论述，又有深入浅出的软件设计过程介绍，还有丰富的设计应用实例。本书可作为高等院校电子类高年级本科生或研究生的教材及教学参考书。对于从事各类电子系统（通信、雷达、程控交换、计算机）设计的科研人员和应用设计工程师也是一本具有实用价值的新技术应用参考书。