（美）Prakash Rashinkar，（美）
本书从最高层次的系统级验证直至最终的物理实现和签付，详细介绍了各种设计抽象级别和各阶段所涉及到的各种验证方法及工具。主要内容包括各种不同类型的仿真、软件/硬件协同验证、数字/模拟混合验证、网表静...
MANAGING THE STRATEGY PROCESS:A FRAMEWORK FOR A MULTIBUSUNESS FIRM
BALAJI S.CHAKRAVARTHY AND
刘创 （英）RODNEY H.SMITH （美）AUSTEN
雅思（IELTS）——国际英语语言测试体统（International English Language Testing System）国内年应考考生40万，潜在市场100万人次。以真题为背景的雅思资料在雅思出版界罕见，是考生及广大雅思培训教师首选。作者系...
Texts In Applied Mathematics 42 Scientific Computing With Ordinary Differential Equations
（美）彼得·默斯基（
本书以中等篇幅详细描述了越南战争期间对阵双方：美国海军航空兵和越南人民军空军之间的殊死空战，是最后的旧式空战：双方用航炮对决；也是新式空战的开端：美国在稍后最先使用了空对空导弹。书中配以大量的图片、地...
Emerging technologies in protein and genomic material anaylsis (volume 68)
edited by Gyorgy A. Marko-Varga and
王宾，杨尚霖，龚立娇译；（美国）Gilbert M.Masters2019 年出版457 页ISBN：9787111621003
（美）歧雷斯彼（C.M.Gillespie）著；陈文麟译1952 年出版282 页ISBN：
分15章。详述成本会计的各种基本原理与方法，如材料会计与人工会计的处理、机器工作时数率、成品成本及销货成本、统制帐户、结帐与造表、分步成本、标准成本等。...
J.M.Suttie，S.G.Reynolds，C.Batello主编；张英俊，李兵等译；钱钰译审2011 年出版355 页ISBN：9787109156005
本书介绍了全球范围内的草原系统，主要包括非洲东部草原和南非草地、巴塔哥尼亚草原、南美坎波斯草原、北美中部草原、蒙古草原、中国青藏草原、澳大利亚草原、俄罗斯草原以及其他的草原。介绍了各地的草原资...
