验证
-
-
-
-
-
-
有限元分析的数学建模、校核与验证
（美）萨伯，（美）巴布斯卡著2013 年出版259 页ISBN：9787516503607本书是美国著名力学和数学家Barna Szabó教授和Ivo Babu?ka教授的经典之作。书中重点介绍了有限元模型的建立、验证与校核，尤其是详细介绍了p型有限元的基本理论，p型、h型以及hp型有限元的误差估计和收敛性问...
-
交直流系统电磁暂态模型研究及仿真验证
张民著2014 年出版171 页ISBN：9787517018025本书以工程应用为目标，结合目前直流工程成套设计的实际需要，研究了基于PSCAD/EMTDC的交直流系统电磁暂态仿真平台。该仿真平台对于广泛开展跨区直流输电系统的电磁暂态仿真研究具有工程实际指导意义，为直流工...
-
Altium Designer13.0电路设计、仿真与验证权威指南
何宾编著2014 年出版521 页ISBN：9787302343349本书首次全面系统的介绍了Altium Designer13.0软件完整的电子线路设计过程，包括：SPICE仿真、电子线路设计规则、原理图设计、PCB图设计和PCB图的仿真和验证、电路板工程文件的生成，以及电路板的制板工艺。与已...
-
怎样用股谚选黑马 股谚实践选股66例验证与点评
尚笑著2013 年出版270 页ISBN：9787545421279本书是在作者出版的《炒股真经》和多年将“炒股真经”运用于股市实战的经验总结基础之上的撰写力作。作者运用股谚选出的66只股票进行验证和实战点评，其中涉及的股谚多达200条，每选一只股票用上好几条股谚，这...
-
SystemVerilog验证
ChrisSpear著2009 年出版365 页ISBN：9787030253064本书的主旨是教会读者如何利用SystemVerilog新的测试平台的新结构和新方法，不需要读者事先具备面向对象的编程或者有约束随机测试的系统知识。本书涵盖SystemVerilog验证结构，例如类（classes）、程序块（programbl...
-
软件的质量 软件的分析、测试与验证
（德）PETERLIGGESMEYER著2009 年出版287 页ISBN：9787111269816本书主要介绍了有关当前软件质量保证的技术，方法，原理和构成等。
-
-
-
安全性设计分析与验证
康锐著2011 年出版357 页ISBN：9787118072884本书介绍了安全性分析、安全性度量与要求、安全性设计、软件安全性设计与分析和安全性验证等。并附有国内外相关标准以便查询。
-
-
语言测试与效度验证 基于证据的研究方法 英文版
（英）韦尔著2010 年出版301 页ISBN：9787513502887本书作者Weir教授是世界著名的语言测试专家，撰写了很多在语言测试方面影响较大的著作。本书是第一部全面、系统地阐述语言测试效度的专著。书中吸收了效度研究的最新成果，提出了基于证据的效度验证的理论框架...
-
经济转型的理论假说与验证 市场社会主义的传承与超越
景维民，孙景宇，张慧君等著2011 年出版518 页ISBN：9787514104561本书从人类社会发展的宏观历史视野中全面揭示市场社会主义演进的客观规律，并从制度和机制的层面对市场社会主义进行深刻的理论剖析，对以往市场社会主义研究所忽视的国家行为与治理问题、社会利益结构演化问题...
-
中国民间秘方验证大全
良石主编2003 年出版378 页ISBN：9787801741110本书所选取的药物品种均匀为我们在日常生活所常见、易寻的植物，乡村、城市、田野、路边，大都俯首可见，对植物在形态上均做了较形象的描述，并配以逼真的插图，以便于人们识别。《百草妙方》参考了《本草纲目》、《...
-
经济学验证性实验教程
李伯兴著2010 年出版200 页ISBN：9787565400346本书的体系构成主要是按照“西方经济学”、“政治经济学”、“产业经济学”、“区域经济学”、“制度经济学”、“行为经济学”、“国际经济学”等经济学专业的主干课程分别设计若干实验项目，教师可以根据实...
-
中国民间秘方验证大全
良石主编2003 年出版620 页ISBN：7801741110本书所选取的药物品种均匀为我们在日常生活所常见、易寻的植物，乡村、城市、田野、路边，大都俯首可见，对植物在形态上均做了较形象的描述，并配以逼真的插图，以便于人们识别。《百草妙方》参考了《本草纲目》、《...