硬件设计验证 基于模拟与形式的方法 【工业技术】

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...

古典文学的现代阐释及其方法 【文学】

本书收入的31篇文章，是作者近二十年来对中国文学研究现状所做的理论思考。包括对20世纪中国古代文学研究的历史回顾与总结；对20世纪文学研究方法论的讨论，对一些重点理论问题和热点问题的的重新认识。这些文章...

让大脑动起来 让你变聪明的18个好方法 【文化科学教育体育】

怎样提高成绩？怎样建立自信心？怎样成为团队的领导者？如何成为一个自强自立自信的人气美少女？……成长EQ漫画系列谈的都是些“大道理”，却不是像老夫子那样板着脸说教，而是通过刻画生活中实实在在的人物，描述他......

金融学中的优化方法 【经济】

优化模型在金融决策中越来越起到重要的角色。从资产分配到风险管理，从期权定价到模型的校准的许多金融计算问题都可以用现代优化方法有效解决。这门课程讨论几类在金融模型中遇到的优化模型（包括线性、二次、...

养育男孩的方法 0-12岁男孩父母必读 【文化科学教育体育】

男孩子从来都不是让父母省心的主儿。从事心理学和儿童教育学工作20多年的诸富祥彦教授，向焦虑中的父母传递了正确的养育男孩的方法：充满爱心的触摸、亲吻和拥抱，关注他们的日常学习、玩耍，以及人生中每一个重要...

关于财富的形成和分配的考察 【其他书籍】

2013全国注册电气工程师执业资格考试辅导书 重点难点解析与典型例题精讲 发输变电专业 【工业技术】

本书按最新注册电气工程师执业资格考试（发输变电专业）要求的大纲和规程规范进行编写，全书分为十五章，包括安全、环境保护与节能、消防，电气主接线，短路电流计算，设备选择，导体及电缆的设计选择，电气设备布置......

全球化时代的认同问题与公民教育研究 基于公民身份的视角 【政治法律】

本书主要是基于公民身份的视角对公民教育进行相关研究。本书通过对经济全球化时代公民身份诸多变迁的分析，对认同概念及其特征进行了把握，并分析了经济全球化条件下影响认同的因素，认为主要表现在现代性所带来...

软件工程 共同演进的方法与实践 【工业技术】

本书涵盖IEEE和ACM联合研究项目——SWEBOK（工程知识体系）包含的10个知识领域的主要内容，主要介绍软件工程的背景知识、软件过程模型、需求分析、需求建模、设计工程、体系结构设计、编码和新的技术趋势需求、...

多智能体方法在作业车间调度中的应用 【经济】

本书提出了一类新的基于多智能体协商的调度体系，该体系主要针对及时或准时交货的性能指标。作者在经典作业车间和柔性作业车间等环境下设计和实现了这些多智能体调度系统的原型，并通过仿真实验验证了它们的有...