（美）Prakash Rashinkar，（美）Peter Paterson，（美）Leena Singh著；孙海平，丁健译2005 年出版263 页ISBN：7121005891
本书从最高层次的系统级验证直至最终的物理实现和签付，详细介绍了各种设计抽象级别和各阶段所涉及到的各种验证方法及工具。主要内容包括各种不同类型的仿真、软件/硬件协同验证、数字/模拟混合验证、网表静...
张文明，刘丁健主编；蔡小燕，徐高骁，夏志华副主编2014 年出版111 页ISBN：9787535778499
本书从竹鼠养殖可行性分析、养殖基地规划设计建设、驯养引种、营养需求与配方设计、饲养管理、繁殖选育、疾病防治、加工利用等章节按照实践养殖生产流程逐级展开，每个章节都是编者多年从事竹鼠养殖生产、技...
严正，丁健雄编著2012 年出版164 页ISBN：9787111361275
彼得·德鲁克曾说过，大国崛起的命脉是企业，企业的根基在管理，管理者的胜任素质是企业赢得竞争领先优势、保持长期发展的关键要素。本书基于斯蒂芬·P·罗宾斯管理学理论和麦克里兰的胜任素质理论与技术，结合我...
丁健主编2006 年出版178 页ISBN：7502765883
“十五”期间863计划海洋生物技术主题在海洋生物高技术领域研发了一批具有自主知识产权的核心技术，获得了一批主要成果。本书则对其中重要成果分别扼要介绍。...
陆昌辉，丁健，王龙飞等编著2010 年出版458 页ISBN：9787121112584
本书囊括了进行ASP.NET 3.5网络编程开发中用到的各种主要安全策略，共分16章，从ASP.NET动态网页开发入手，接着介绍了ASP.NET程序的开发与运行、Web安全简介、Web应用程序安全、Web用户安全完全策略等基本知识，然...
丁健著2018 年出版477 页ISBN：9787516189092
近代以来，随着中外交往的频繁，传统农商行政管理体制开始出现新的趋向。为了应付传统经济管理体制的不足，清政府增设了一些临时管理对外商务往来的行政机构，而商部的创设，则标志着中国第一个近代意义上专门管理全...
（英）阿列克·凯恩克劳斯著；李琮译2015 年出版288 页ISBN：9787100110624
本书是一本演讲集，共收录了作者于上世纪80年代在各种场合所发表的演讲13篇。这些演讲涉及西方经济学和经济政策中广泛的理论和实际问题，包括如何看待经济学理论，如何把理论应用于经济政策的制订；如何发挥经济学...
（中国）丁健2019 年出版735 页ISBN：9787030611390
本书共八篇，总论、神经精神药理学、肿瘤药理学、抗炎免疫药理学、代谢性疾病药理学、心脑血管、病原微生物药理学、精准药理学。第一篇：总论，介绍：药理学概述（历史与展望）、药物与靶标的相互作用、药效学基础、.....
