《高等院校计算机教材系列：Windows可视化程序设计》是作者在多年来讲授程序设计课程的基础上，潜心研究程序设计教学方法，并对课程内容进行合理组合与取舍后编写而成的。《高等院校计算机教材系列：Windows可视化程序设计》使用多文件编程、消息映射技术和模拟文档／视结构以解释Windows的消息处理思想及自动产生程序框架的可行性；接着引入MFC讲授可视化程序设计，介绍基本的可视化程序的结构及其消息处理方法；然后通过设计多个实例，从不同侧面讲解如何设计基于对话框、文档／视结构和多文档的可视化程序。《高等院校计算机教材系列：Windows可视化程序设计》适合作为高等院校的教材，也可以作为培训班教材、自学教材及工程技术人员的参考书。《高等院校计算机教材系列：Windows可视化程序设计》重点讲授Widows程序设计的基本结构和消息处理方法，日的是帮助读者尽快掌握可视化设计的核心技术。《高等院校计算机教材系列：Windows可视化程序设计》使用多文件编程、消息映射技术和模拟文档／视结构以解释Windows的消息处理思想及自动产生程序框架的可行性；接着引入MFC进行可视化程序设计，介绍基本的可视化程序的结构及其消息处理方法；然后通过设计多个实例，从不同则面讲解如何设计基于对话框、文档／视结构和多文档可视化程序；最后给出一个完整的课程设计实例，以便读者更全面地理解文档／视结构。《高等院校计算机教材系列：Windows可视化程序设计》取材新颖、结构合理、概念清楚、实用性强，易于教学，适合作为高等院校的教材，也可以作为培训班教材、自学教材及工程技术人员的参考书。

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.

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

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.

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.

This book constitutes the refereed proceedings of the 7th International Conference of B Users， B 2007， held in Besançon， France in January 2007.The 30 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The topics of interest to the conference included： industrial applications and case studies using B， integration of model-based specification methods in the software development lifecycle， derivation of hardware-software architecture from model-based specifications， expressing and validating requirements through formal models， in particular verifying security policies， theoretical issues in formal development， model-based software testing， tools supporting the B method， development by composition of specifications， validation of assembly of COTS by model-based specification methods， B extensions and/or standardization.

This book constitutes the thoroughly refereed and extended post-proceedings of the Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming， CSCLP 2005， held in Uppsala， Sweden in June 2005. Besides papers taken from the workshop， others are submitted in response to an open call for papers after the workshop. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on global constraints， search and heuristics， language and implementation issues， and modeling.

This book constitutes the refereed proceedings of the 4th International Conference on Service-Oriented Computing， ICSOC 2006， held in Chicago， IL， USA in December 2006.The 34 revised full papers and 16 short papers presented together with 12 industrial and demo papers were carefully reviewed and selected from over 200 submissions. The papers are organized in topical sections on service mediation， grid services and scheduling， mobile and P2P services， service composition， adaptive services， data intensive services， service management： registry， reliability， XML processing， service modeling， business services： transaction， licensing， and SLA assessment， service discovery and selection， quality of service （policy， transaction and monitoring）， business service modeling， service assembly， vision papers， experience with deployed SOA， SOA architectures， early adoption of SOA technology.

The two volume set LNCS 4291 and LNCS 4292 constitutes the refereed proceedings of the Second International Symposium on Visual Computing， ISVC 2006， held in Lake Tahoe， NV， USA in November 2006.The 65 revised full papers and 56 poster papers presented together with 57 papers of ten special tracks were carefully reviewed and selected from more than 280 submissions. The papers cover the four main areas of visual computing： vision， graphics， visualization， and virtual reality. The following topical sections are addressed： segmentation， tracking， and recognition， virtual reality， rendering， visualization， biomedical image analysis， visual computing and biological vision， understanding and imitating nature： analysis， interpretation， rendering and inspiration of biological forms， multimodal data understanding and visualization for industrial applications， intelligent environments： algorithms and applications， calibration， stereo， and reconstruction， computer graphics， discrete and computational geometry and their applications in visual computing， illumination， color， and texture， energy minimization approaches in image processing and computer vision， soft computing in image processing and computer vision， 4D medical data modeling， visualization and measurement， pattern analysis and recognition applications in biometrics， computer vision and applications.

This book constitutes the refereed proceedings of the 20th European Conference on Object-Oriented Programming， ECOOP 2006， held in Nantes， France in July 2006.The 20 revised full papers， presented together with 3 keynote papers were carefully reviewed and selected from 162 submissions. The papers are organized in topical sections on program query and persistence， ownership and concurrency， languages， type theory， types for object-oriented languages， tools， and modularity. In addition there are 5 retrospective and prospective papers from a special 20th anniversary session for the ECOOP conference series.