《汇编语言程序设计学习指导》是与西安交通大学出版社已出版的“21世纪高职高专计算机系列教材”《汇编语言程序设计》配套的学习指导书，根据原书进行编章，每章包括知识点介绍、习题解答和补充习题。知识点介绍主要是对本章内容提纲性介绍，对易混淆知识点和难点进行分析和说明；习题解答是对原书的所有习题给出解题方法和参考答案。针对原书习题偏少，《汇编语言程序设计学习指导》每章后增设补充习题和参考答案。最后附有5套模拟试题与参考答案。《汇编语言程序设计学习指导》可作为高等院校理工科各类专业学生学习汇编语言程序设计和微机原理及应用的辅助教材，也可供工程人员参考。

无论对于初学者、老手还是专家，《Python技术手册》正是那本他们正在寻觅的关于Python语言习惯用法的优秀参考书。本着“batteries included”的精神，标准库被按照用途组织，并且辅以简单、直观的示例。清晰的写作风格使得阅读本书成为一种乐趣。：Jeffery D. Collins， Development Lead， 微软公司当Python程序员在回忆或解释这种开源语言的语法以及它的众多强大但又缺乏文档的模块而需要获得帮助的时候，本书为他们提供了参考。最经常需要的信息在这本全面的参考指南中很容易查找到——不单单关于Python语言本身，还包括标准库中最经常需要使用的部分，以及最重要的第三方扩展。 《Python技术手册 第二版》不仅覆盖语言本身，而且涉及标准库中最常用的部分，以及最流行和重要的第三方扩展。本书经修订和扩充以符合Python 2.5，现在本书包含Python的新subprocess模块的骇人听闻？的细节，以及微软新IronPython项目的开创性信息。我们的“Nutshell”形式恰恰与Python相适合，呈现了标准库中最重要的模块和函数的精粹，覆盖了你实际编程所需的百分之九十以上。 本书包含以下内容：Python语言的语法快速指南Python中面向对象编程的说明迭代器、生成器、异常、模块、包、字符串以及正则表达式Python内建类型、函数和关键模块的快速参考重要的第三方扩展参考资料，如Numeric和Tkinter关于扩展和集成Python的信息《Python技术手册》为程序员最倚赖的信息提供了可靠而实际的快速参考。在Python程序员的藏书中，本书将迅速占据一席之地。

本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化？演算的数学系统。演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。 本书中最简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。更先进的技术机制，诸如逻辑关系的方法、范畴论和递归定义类型的语义在中间的几章中论述。本书最后三章研究多态类型，连带讨论了抽象数据类型的说明形式和程序模块、类型适应性和类型推理。本书可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材，同时也适合用于高等研究的技术参考书。本书是为本科高年级和研究生开始阶段的学生编写的。书中利用一系列类型化λ演算系统来研究顺序程序语言的公理、操作和指称语义。后面的章节循序渐进地致力于探索较为复杂的类型系统。与同样主题的其他书籍相比，本书的特色主要在于它包含研究泛代数和代数数据类型、命令式语言和Floyd-Hoare逻辑的内容，并包含探讨多态与模块、类型适应性和面向对象概念以及类型推理的高级章节。本书是数学性的，但所含的讨论、启示和举例使得这些材料对于软件系统、理论计算机科学或数理逻辑专业的学生是能够接受的。 本书也适用于关注程序设计语言、软件确认与验证和程序设计，包括使用软件模块和面向对象程序设计的专业工作者们作为参考。

本书以Intel 80x86指令系统和MASM 6.x为主体，全面而系统地介绍16/32位整数、浮点、多媒体指令的汇编语言程序设计方法。全书可分为基础和提高两部分。前5章作为基础部分，以当前“汇编语言程序设计”课程的教学为目标，为读者讲解16位基本整数指令及其汇编语言程序设计的知识。基础部分的主要内容是：汇编语言程序设计的基础知识，8086指令详解，MASM伪指令和操作符，程序格式，程序结构及其设计方法。后4章为提高部分，从不同的方面介绍汇编语言程序设计的深入内容和实际应用知识。提高部分各章的内容相对独立，主要有：32位80x86 CPU的整数指令系统及其编程，汇编语言与C/C++的混合编程，80x87 FPU的浮点指令系统及其编程，多媒体扩展指令系统及其编程，64位指令简介。本书可作为高等院校《汇编语言程序设计》课程的教材或参考书，主要读者为计算机及相关学科的本科和高职、高专学生。本书内容广博、语言浅显、结构清晰、实例丰富，也适合于电子、自动控制等专业的高校学生和成教学生，计算机应用开发人员，深入学习微机应用技术的普通读者等。

本书是一本论述面向对象分析方法的专著，其第1版于1998年由清华大学出版社出版，被国内许多大学用作研究生或高年级本科生教材，并被许多软件开发单位作为工程技术用书，至今每年仍在增印。本次再版，根据国内外面向对象领域理论与技术的最新发展，并参照统一建模语言UML2.0的最新版本，做了大量的补充、修改和完善工作，同时在概念解释、文字陈述与图解等方面也做了不少改进。.全书共10章，前3章系统地介绍面向对象方法的基本知识，论述面向对象的分析（OOA）的主要特点和优势，概要地介绍本书的OOA方法之主要特色。第4～第9章详细介绍OOA的全过程，围绕面向对象建模中的基本模型（类图），需求模型（用况图），辅助模型（包图、顺序图、活动图以及其他各种UML模型图）和模型规约，对每个开发活动进行深入讨论，给出详细的过程指导和工程策略。第10章集中讨论软件复用及其与OOA的关系，给出按软件复用的要求组织OOA过程的策略。...

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming， UTP 2006， held at Walworth Castle， County Durham， UK， in February 2006. The 14 revised full papers presented， including those by the six invited speakers， were carefully reviewed and selected for presentation at the symposium and went through a second round of improvement after the meeting. Based on the pioneering work on unifying theories of programming by Tony Haare and Jifeng He， UTP 2006 reaffirmed the relevance of the ongoing UTP project and advanced it by focusing on the most significant results and by raising awareness of the benefits of unifying theoretical frameworks among the wider computer science and software engineering communities.

The OMDoc （Open Mathematical Documents） format is a content markup scheme for collections of mathematical documents， including articles， textbooks， interactive books， and courses. OMDoc also serves as the content language for agent communication of mathematical services and a mathematical software bus. This documentation describes version 1.2 of the OMDoc system， the final and mature release of OMDoc 1. The system features modularized language design， OPENMATH and MATHML for the representation of mathematical objects， and has been employed and validated in various applications. Besides a complete and rigorous specification of the OMDoc document format， this book presents an OMDoc primer with paradigmatic examples for many kinds of mathematical documents. Furthermore， various applications， projects， and tool support for OMDoc are discussed. The book will become essential reading for all working mathematicians and mathematics students aspiring to take part in the new worlds of shared mathematical knowledge.

Keep connected to what's happening in the world of books by signing up for Amazon.com Books Delivers， our monthly sub*ion e-mail newsletters. Discover new releases in your favorite categories， popular pre-orders and bestsellers， exclusive author interviews and podcasts， special sales， and more.

《Fortran90编程基础》全面讲述Fortran 90编程的相关概念和知识。着重介绍了Fortran 90新增加的特点，如种别参数、关键字参数、可选参数、数组的整体运算、数组片段、动态数组、超载函数、超载运算符、类属过程、递归调用、模块、派生类型和指针类型的使用等。这些新的特点使For—tran 90在编程时具有比Fortran 77强大得多的功能，另外可视化的编程环境也使Fortran 90更受欢迎。《Fortran90编程基础》既适合于各类院校本科生作为程序设计语言的教材使用，也适合于已经掌握For-tran 77，但希望使用Fortran 90编程的读者自学参考。

This book presents the refereed proceedings of the 14th International Symposium on Formal Methods， FM 2006， held in Hamilton， Canada in August 2006.The 36 revised full papers presented together with 2 invited contributions and extended abstracts of 7 invited industrial presentations were carefully reviewed and selected from 145 submissions. The papers are organized in topical sections on interactive verification， formal modelling of systems， real time， industrial experience， specification and refinement， programming languages， algebra， education， formal modelling of systems， formal aspects of java， model checking， and abstracts of invited talks from the industry day.