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图的仿真和验证、电路板工程文件的生成，以及电路板的制板工艺。与已...
2013 年出版270 页ISBN：9787545421279
本书是在作者出版的《炒股真经》和多年将“炒股真经”运用于股市实战的经验总结基础之上的撰写力作。作者运用股谚选出的66只股票进行验证和实战点评，其中涉及的股谚多达200条，每选一只股票用上好几条股谚，这...
2009 年出版365 页ISBN：9787030253064
本书的主旨是教会读者如何利用SystemVerilog新的测试平台的新结构和新方法，不需要读者事先具备面向对象的编程或者有约束随机测试的系统知识。本书涵盖SystemVerilog验证结构，例如类（classes）、程序块（programbl...
2009 年出版287 页ISBN：9787111269816
本书主要介绍了有关当前软件质量保证的技术，方法，原理和构成等。
2011 年出版357 页ISBN：9787118072884
本书介绍了安全性分析、安全性度量与要求、安全性设计、软件安全性设计与分析和安全性验证等。并附有国内外相关标准以便查询。
2011 年出版264 页ISBN：9787118073065
本书系统介绍了武器装备软件的设计与分析的理论、技术，既有理论方法介绍，又有应用实例，为装备的软件可靠性设计与验证提供了技术指导。...
2010 年出版301 页ISBN：9787513502887
本书作者Weir教授是世界著名的语言测试专家，撰写了很多在语言测试方面影响较大的著作。本书是第一部全面、系统地阐述语言测试效度的专著。书中吸收了效度研究的最新成果，提出了基于证据的效度验证的理论框架...
2011 年出版518 页ISBN：9787514104561
本书从人类社会发展的宏观历史视野中全面揭示市场社会主义演进的客观规律，并从制度和机制的层面对市场社会主义进行深刻的理论剖析，对以往市场社会主义研究所忽视的国家行为与治理问题、社会利益结构演化问题...
2003 年出版378 页ISBN：9787801741110
本书所选取的药物品种均匀为我们在日常生活所常见、易寻的植物，乡村、城市、田野、路边，大都俯首可见，对植物在形态上均做了较形象的描述，并配以逼真的插图，以便于人们识别。《百草妙方》参考了《本草纲目》、《...
2010 年出版200 页ISBN：9787565400346
本书的体系构成主要是按照“西方经济学”、“政治经济学”、“产业经济学”、“区域经济学”、“制度经济学”、“行为经济学”、“国际经济学”等经济学专业的主干课程分别设计若干实验项目，教师可以根据实...
2003 年出版620 页ISBN：7801741110
本书所选取的药物品种均匀为我们在日常生活所常见、易寻的植物，乡村、城市、田野、路边，大都俯首可见，对植物在形态上均做了较形象的描述，并配以逼真的插图，以便于人们识别。《百草妙方》参考了《本草纲目》、《...
