面向对象软件的形式验证技术

本书收录了2007年上海大学博士学位论文57篇，通过公开出版，使论文作为公共知识，转化成社会财富。产生社会影响。

面向信息内容安全的新闻信息处理技术

本书全面介绍了面向信息内容安全的网络新闻信息处理技术相关的基本概念、理论方法和最新研究进展。包括信息内容安全、新闻信息处理等。

面向产品整个生命周期的CAD理论技术系统及应用

数据库技术与应用 面向业务分析的Access 2003

本书共8章，包括数据库技术概述、数据定义查询、数据操纵功能等。

面向异构网络的视频编码技术

本书全面介绍了多描述编码的基本原理和最新的研究成果。旨在帮助读者多描述编码获得全面深刻的理解和认识，从而使读者更好的把握异构网络下图像视频编码算法的特点和设计重点，为读者以后进一步的研究和开发打...

面向科学计算的网格划分与可视化技术

本书以航空航天等复杂装备研制中空气动力学、传热分析、结构力学和固体力学问题为背景，针对多学科偏微分方程模型的计算需求，介绍物理系统定义域的离散化技术和计算可视化技术。...

面向服务的建模与仿真技术

本书首先剖析了面向服务建模与仿真的概念内涵，建立了其技术体系，并对面向服务仿真工程的实施体系、基础架构等内容进行了阐述；然后，从面向服务的分析与建模、面向服务的应用架构模型、面向服务的仿真运行支撑和...

2010能源技术展望 面向2050年的情景与战略

本书介绍了各行业主要的能源技术现状和前景，并对它们至2050年的潜力进行了评估，还描述了实施这些技术的障碍以及克服这些障碍的措施。本书分为两个部分，第一部分包括前言、2050年情景、能源需求、供应和二氧化...

面向未来的光交换网络及其器件技术

本书比较全面地介绍了光通信网络中的光交换技术，包括器件技术及系统和网络架构等，全书大致分为三个部分。第一部分介绍了各种光开关技术及相应的器件，如电光开关、MEMS开关、声光开关和热开关等，以及相应的理论...

无线传感器网络关键技术的研究与应用

本书以无线传感器网络关键技术的研究现状为基础，深入地分析了无线传感器网络的节点技术、路由技术、MAC层技术、定位技术和安全技术等关键技术的研究现状和发展趋势。...