SPECTRAL ANALYSIS OF LARGE DIMENSIONAL RANDOM MATRICES SECOND EDITION
ZHIDONG BAI，JACK W.SILVERSTEIN2010 年出版551 页ISBN：703026777x
随着计算机的发展和应用，大维数据分析已经成为现代数理统计中一项热门课题并被广泛应用与各个领域。作为大维数据分析的一个重要理论工具，大维随机矩阵谱理论受到越来越多的重视。本书第一版介绍了该领域中重...
Lecture Notes in Computer Science 3233 Software Security-Theories and Systems Second Mext-NSF-JSPS I
ISSS 20032004 年出版345 页ISBN：354023635X
飞行事故人的失误分析 人的因素分析与分类系统 the human factors analysis and classification system
（美）道格拉斯·A. 维格曼（Douglas A. Wiegmann），（美）斯科特·A. 夏佩尔（Scott A. Shappell）著；马锐译2006 年出版152 页ISBN：7801107349
本书详细阐述了人的因素分析与分类系统（HFACS）产生的历史背景、理论基础、框架结构及实际应用情况，为军事飞行、民用航空或通用航空等有人参与的复杂系统提供了开展意外事故的失误分析所需要的知识和工具。...
律师执业基本技能 会见、咨询服务、谈判、有说服力的事实分析 interviewing， counseling， negotiation， and persuasive fact analysis
斯蒂芬·克里格（Stefan H. Krieger），理查德·诺伊曼（Richard K. Neumann）著；中伦金通律师事务所译2006 年出版398 页ISBN：750366598X
本书介绍了律师必须具备的四种技能：会见客户、咨询、谈判和有说服力的事实分析。
Database management systems designing and building business applications = 数据库管理系统（英文版·第3版）
Gerald V. Post2006 年出版426 页ISBN：7111178521
本书涵盖了构建数据库前的两个关键主题：数据库设计（规范化）和SQL（查询）。这两个主题跨越所有主要的数据库系统。规范化说明了如何细致设计数据库以获得DBMS手段的能力。SQL是一种标准查询语言，事实上用于应用程序...
Pattern-Oriented Analysis and Dwesign
[美]Sherif M.Yacoub Hany H.Ammar 著2004 年出版372 页ISBN：7508322096
设计模式有着巨大威力，但要构建健壮的大规模系统，这还远远不够。面向模式的分析和设计（POAD）介绍了一种新的方法学，用以“组合”设计模式来构建可靠的、健壮的大规模软件系统。使用POAD，你就能快速构建更健壮、更...
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
HODGE理论和L2分析 = HODGE THEORY AND L2-ANALYSIS
LIZHENG JI2017 年出版600 页ISBN：9787040477771
Steven Zucker教授在代数几何中的Hodge理论、L^2和L^p (p ≠ 2)上同调以及局部对称空间的紧化等领域做出了重要的贡献，并于20世纪80年代提出了著名的Zucker猜想。本书的内容涉及了Zucker教授研究和关注的相...
机器人系统实施 制造业中的机器人、自动化和系统集成＝implementation of robot systems an introduction to robotics
automation2222 年出版0 页ISBN：
