·本书内国内著名培训专家编写·语言简洁、层次清晰、知识讲解循序渐进、由浅入深·每章安排有习题，针对性强，有利于读者举一反三，巩固所学知识点。全书共分15课，内容涵盖HTML基础、HTML核心技术、网页布局、HTML与编程等，读者可以边翻阅、边动手制作，本书层层递进地引导读者逐步学习如何设计并创建跨平台的既精彩又实用的网页，作者希望将最核心的技术与最快捷的技巧传达给每一位读者。通过本书的学习，读者不仅可以了解HTML技术，还能通过实例真正学会如何“拿来我用”，如何与框架和JavaScript结合起来创建复杂的交互网页。本书附带了大量的实例，实例的选择由浅入深，详细介绍了HTML的方方面面，内容丰富、编排独具匠心，是读者学习有关HTML开发的首选教材。本书适合于网页编程培训班学员、网页编程初学者、大专院校相关专业师生、网页设计与制作人员以及人个网站爱好者使用，对于广大的网络用户也是颇具实用价值的学习参考书。

本书的作者以其对游戏行业的独到见解，讲述了游戏开发的方方面面。从游戏是怎样一个行业到游戏业中形形色色的人；从细琐的技巧和算法，到游戏的结构和架构：从调试技巧到进度里程碑的创建和项目进度的管理。本书共15章，分成四大部分：第一部分“游戏编程基础”，介绍了游戏的主要组成部分及其如何相互作用，并展示了一些游戏编程工具箱中的必备工具；第二部分“让游戏跑起来”，向读者展示第一个充满内容的游戏代码示例，包括用户界面代码、2D图形代码和主循环：第三部分“构建你的游戏”，进一步讲述更复杂的代码，如3D代码、Windows游戏的特殊代码和一些优秀的debug工具；第四部分“专业游戏制作”，展示了实际的开发游戏过程，从进度安排到测试，到最终的游戏交付。.无论对于游戏项目经理，游戏程序员，还是一名对游戏充满好奇心的狂热爱好者，本书都将让读者受益匪浅。...

本书对100个数控编程实例进行讲解，涉及数控技术应用最广泛的数控线切割、数控车、数控铣、数控加工中心的手工编程和CAXA、MastorCAM、Cimatron、UG的自动编程，并特别突出了目前数控加工的最主要应用方向——模具制造的内容。每一个实例程序包含零件分析、加工坐标原点设定、工艺分析、程序编制、关键词、技术要点、提示、技巧、警告、个人观点等部分。实例程序按照由浅入深、循序渐进的方式排列，具有较强的指导性和实用性。本书可作为从事数控机床应用的工程技术人员的参考资料和继续教育书籍，也可作为高等院校、高职高专、中职中专相关专业的学生和其他人员学习数控编程技术的参考教材。

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

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

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

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

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

This tutorial book presents nine carefully revised lectures given at the 5th International School on Functional Programming， AFP 2004， in Tartu， Estonia in August 2004. The book presents the following nine， carefully cross-reviewed chapters， written by leading authorities in the field： Typing Haskell with an Attribute Grammar， Programming with Arrows， Epigram： Practical Programming with Dependent Types， Combining Datatypes and Effects， GEC： a toolkit for Generic Rapid Prototyping， A Functional Shell that Operates on Typed and Compiled Applications， Declarative Debugging with Buddha， Server-Side Web Programming in WASH， and Refactoring Functional Programs.

本书是由斯坦福大学计算机科学教授JohnＣ。Ｍ、itchell编写的。程序设计语言为程序员写出一个好的程序提供了所需的抽象机制、组织原则以及控制结构。这本书所介绍是在程序设计语言中出现的概念，以及语言的设计方式对程序开发产生的影响。本书分为四部分：函数与基本原理；过程、类型、内存管理与控制；模块、抽象与面向对象编程；并发性与逻辑编程等。通过本书的学习，读者将会对过去40年中所使用过的各种程序设计语言有更好的理解，对程序设计语言的设计过程中出现的问题和折中有深的认识，也会对他们所使用的程序设计语言的利弊有更透彻的了解。由于不同的语言体现了不同的编程概念，把其他语言中的思想引入到自己所编写的程序中将会提高读者的编程能力。本书适于大学本科以及低年级研究生理解和研究现代程序设计语言。