硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
(美)William K. Lam著;王维维译2007 年出版359 页ISBN:7111195027
本书的主要内容围绕着对硬件设计验证的两大方法(基于模拟的方法和形式验证的方法)展开。
理查德·K.莱昂(RichardK.Lyons)著;王玮,马明译;王玮,彭程校;张慎峰主编2014 年出版301 页ISBN:9787504974273
本书着眼于汇率经济学和微观金融学这两个理论领域的交叉内容,系统地介绍了汇率经济学领域新的理论进展——微观市场结构方法在汇率理论中的应用。本书在全书开始时就进行了汇率经济学及金融信息经济学等相关...
(德)O.贝恩克,(德)K.克朗宁格,(德)G.肖特,(德)T.肖纳-赛德涅斯2019 年出版385 页ISBN:9787312045844
本书介绍高能物理实验统计分析的相关知识,原书(英文版)由长期在欧洲核子中心CERN、美国费米国家实验室FNAL、德国电子同步加速器中心DESY等国际高能物理研究中心各著名合作组从事数据分析的专家合作撰写,他们同...
(美)开斯宾革(Kaspersky,K.)著;罗爱国等译2006 年出版377 页ISBN:7121030306
本书的内容紧密围绕shellcoder编程展开,系统地阐述了作为一名shellcoder应该掌握的知识要点。除了shellcoder之外,作者还介绍了手机,BIOS等涉及安全的新领域。本书的第1部分介绍了编写shellcoder前应掌握的一...
(美)诺曼K.邓津(NORMANK.DENZIN),(美)伊冯娜S.林肯(YV</em>ONNAS.LINCOLN)著;朱志勇,董轩,张华军等译2019 年出版826 页ISBN:9787568913126
质性研究是社会科学研究的一种重要范式,当前在国际学术界得到了越来越多地广泛应用。本书英文版大约每10年出版一个版本,并立足近10年来质性研究的发展,围绕近40个专题分门别类地就其理论问题、实践问题,及发展...
(印)克里希那穆提著;胡因梦译2013 年出版209 页ISBN:9787508640211
本书克里希那穆提针对年轻人中普遍存在的焦灼不安,以循序渐进的启发方式,与年轻人深入探讨了生与死、爱与恐惧、思想与自由、觉知与改变等重要问题。他指出只有没有预设、没有抗拒地照自己的真实人生和整个存...
(美)兰德尔·K.尼科尔斯(Randall K.Nichols)主编;吴世忠等译2004 年出版529 页ISBN:7111142306
本书详细介绍密码学在保护商业信息资源方面应用,并详细描述了icsa的信息安全产品认证过程。本书很好地将古典密码学历史和密码分析学结合到现代公钥密码产品领域,展现了密码分析学在先进计算机安全体系中的应...
(美)查尔斯 K.亚历山大,马修 N.O.萨迪库著2018 年出版968 页ISBN:9787111586340
本书以电路基础知识、电路分析方法为主体,辅以典型例题和实际应用实例,并穿插介绍电子工程相关历史人物与知识,旨在改变以往枯燥的电路课程教学,引领新时代教材改革。 本书不仅包含详细的例题和习题,还包含PSpic...
(加)迈克尔·杰宾斯,(加)阿里斯特·K. 梅森执笔 胡志颖,邵红霞,刘刚译2005 年出版549 页ISBN:7505851780
本书是加拿大特许会计师协会关于职业判断的研究报告,由中国注册会计师协会组织翻译,该协会秘书长陈毓圭审校。该报告虽出版于20世纪90年代末,但其中关于职业判断的本质和作用,影响职业判断的因素,职业判断与会计...
(美)R.G.韦克斯,(美)K.刘易斯,(美)A.A.萨利尔斯等主编2012 年出版308 页ISBN:9787122119490
本书将从多个方面探讨抗药性细菌引起的日益严重的问题。第1章探讨抗生素的历史和细菌如何对它们产生抗性。第2章讨论了抗生素抗性基因的生态。第3-14章描述细菌通过何种途径对抗生素产生抗性,检测抗药性基因...