Web GIS从基础到开发实践 基于ArcGIS API for JavaScript
刘光，曾敬文，曾庆丰编著2015 年出版504 页ISBN：9787302388968
本书以循序渐进的方式，通过大量的实例介绍WebGIS基础知识和如何使用ArcGIS API for JavaScript开始GIS，访问ArcGIS Server或其他地图服务厂商提供的地图与空间分析服务，开发具有较为复杂GIS功能的Web GIS 2.0...
（美）WilliamK.Lam著2013 年出版377 页ISBN：9787121195839
本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...
信号与系统 基于MATLAB的方法 using MATLAB
谭鸽伟编著2019 年出版262 页ISBN：9787302513537
主要内容包括连续周期信号的傅里叶级数、连续非周期信号的傅里叶变换、连续信号的拉普拉斯变换和离散信号的Z变换。在系统分析方面，介绍系统的各种描述方法和分析方法，包括：连续系统微分方程的建立、离散系统...
张若曦著2016 年出版227 页ISBN：9787561560143
本书基于对生态城市理论发展的系统梳理，总结出生态城市的共性原则体系，构建了包括196个国际实践案例在内的生态城市案例库。通过全面梳理实践案例的规划规模、发展类型及多样性的特点，将案例进行人口规模及发...
唐涛，赵林编2014 年出版205 页ISBN：9787113159290
本书结合列车运行控制系统开发过程的特点，介绍了基于模型的列控系统设计及验证方法、技术和工具，重点阐述了通过使用不同的模型，在开发过程中的不同阶段从不同的视角对系统进行建模，并通过模型为开发过程提供进...
郑志勇，王洪武编著2018 年出版399 页ISBN：9787512425231
本书注重理论与实践结合，通过实际案例和编程实现让读者理解理论在实践中的应用，同时充分强调”案例实用性、程序可模仿性”，案例程序中附有详细的注释。本书共23章，前两章分别对金融市场的基本概况与MATLAB的基...
陈新保著2017 年出版212 页ISBN：9787560597003
时空数据模型是时态地理信息系统的核心内容，是时空数据实现计算机容量性存储和高效性管理的基础，更是面向高级时空分析能探寻地理现象和事物时变规律的前提。本书以面向时变特征的地理事物和现象为研究对象，提...
