(美)Prakash Rashinkar,(美)Peter Paterson,(美)Leena Singh著;孙海平,丁健译2005 年出版263 页ISBN:7121005891
本书从最高层次的系统级验证直至最终的物理实现和签付,详细介绍了各种设计抽象级别和各阶段所涉及到的各种验证方法及工具。主要内容包括各种不同类型的仿真、软件/硬件协同验证、数字/模拟混合验证、网表静...
MANAGING THE STRATEGY PROCESS:A
BALAJI S.CHAKRAVARTHY AND PETER LORANGE2222 年出版474 页ISBN:013284589x
刘创 (英)RODNEY H.SMITH (美)AUSTEN PETER (澳)KELVIN LESTER JIM ZHANG编2005 年出版204 页ISBN:9787030153418
雅思(IELTS)——国际英语语言测试体统(International English Language Testing System)国内年应考考生40万,潜在市场100万人次。以真题为背景的雅思资料在雅思出版界罕见,是考生及广大雅思培训教师首选。作者系...
Peter Deu
(美)彼得·默斯基(Peter Mersky)著2016 年出版159 页ISBN:7500145691
本书以中等篇幅详细描述了越南战争期间对阵双方:美国海军航空兵和越南人民军空军之间的殊死空战,是最后的旧式空战:双方用航炮对决;也是新式空战的开端:美国在稍后最先使用了空对空导弹。书中配以大量的图片、地...
Emerging technologies in protein and genomic material anaylsis (volume 68)
edited by Gyorgy A. Marko-Varga and Peter L. Oroszlan2003 年出版275 页ISBN:044450964X
(美)Robert O.Bonow,Douglas L.Mann Douglas, P.Zipes Peter Libby主编2013 年出版2022 页ISBN:7543331792
THE WILEY BLACKWELL HANBOOK O
PETER K.SMITH AND CRAIG H.HART2014 年出版698 页ISBN:9781118571866
小农户参与式牧草发展技术 如何筛选最佳品种提供给东南亚地区的农户
Peter M.Horne和Werner W.Stur编2222 年出版80 页ISBN:1863202943
The Norton Anthology o
Peter Simon2009 年出版1896 页ISBN:9780393933024