硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
(美)William K. Lam著;王维维译2007 年出版359 页ISBN:7111195027
本书的主要内容围绕着对硬件设计验证的两大方法(基于模拟的方法和形式验证的方法)展开。
理查德·K.莱昂(RichardK.Lyons)著;王玮,马明译;王玮,彭程校;张慎峰主编2014 年出版301 页ISBN:9787504974273
本书着眼于汇率经济学和微观金融学这两个理论领域的交叉内容,系统地介绍了汇率经济学领域新的理论进展——微观市场结构方法在汇率理论中的应用。本书在全书开始时就进行了汇率经济学及金融信息经济学等相关...
WORLD THE GLOBAL EXPERIENCE CIVILIZATIONS VOLUME 2 1450 TO PRESENT
PETER N.STEARNS MICHAEL ADAS STUART B.SCHWARTZ1992 年出版1066 页ISBN:006500261X
CAPITAL CITIES IN ASIA-PACIFIC:PRIMACY AND DIVERSITY
K.C.Ho and Hsin-Huang Michael Hsiao2006 年出版227 页ISBN:
RECENT PROGRESS IN SCIENTIFIC COMPUTING
WENBIN LIU MICHAEL NG ZHONG-CI SHI2007 年出版401 页ISBN:
本书是2005年在香港举行的第二届科学计算与偏微分方程国际会议的论文集,收集了大会的特邀报告和部分报告人的文章。全部论文经过严格的审稿,保证了论文集的质量。本书的论文总结了近五年科学计算和相关偏微分...
(美)迈克尔·津科特(Michael Czinkota),(美)伊尔卡·朗凯恩(Ilkka Ronkainen)著;陈祝平译2004 年出版520 页ISBN:7505387383
本书由美国资深国际营销专家津科特和朗凯恩所著。本书具有三个突出的特点:一是内容编排体现了国际营销从出口营销向全球营销发展的趋势,让读者更好地比较不同发展阶段的国际营销的特点,同时也便于使不同的企业...
(美)开斯宾革(Kaspersky,K.)著;罗爱国等译2006 年出版377 页ISBN:7121030306
本书的内容紧密围绕shellcoder编程展开,系统地阐述了作为一名shellcoder应该掌握的知识要点。除了shellcoder之外,作者还介绍了手机,BIOS等涉及安全的新领域。本书的第1部分介绍了编写shellcoder前应掌握的一...
伊丽莎白·K.龙斯沃希主编;顾海兵等译1997 年出版576 页ISBN:7531317508
内容提要在美国,每30秒钟就有一个新企业诞生,每30秒钟就有一个人以其钱财、劳动、名誉作为资本进行具有冒险性的投资活动。为什么有的企业能够顺利地成长壮大,有的企业却很快便偃旗息鼓?成功与失败的关键究竟在...
INTERNATIONAL BUSINESS TRANSACTIOS TRANSACTIONS A PROBLEM-ORIENTED COURSEBOOK
RALPH H.FOLSOM MICHAEL WALLACE GORDON JOHN A.SPANOGLE2006 年出版1424 页ISBN:0314168117
(美)迈克尔·D·怀特(Michael D.White)著;董俊英译2003 年出版235 页ISBN:7505833960
本书列举了大量的案例,详尽地说明了企业在国际营销中所犯的错误以及错误的原因,通过一系列的事实说明这些原本是不应犯的错误,有助于读者从这些错误中吸取教训并从中受益,具有很强的可读性。...