Daniel J. Goldstein,Mehmet C. Oz原著;徐平主译2007 年出版422 页ISBN:7117083263
微创外科技术是现代外科学发展至今的一个重要里程碑,快速发展的心脏外科受益匪浅。我国的微创心脏外科也在蓬勃开展,要求学习掌握微创外科技术的医生越来越多,但是目前国内尚未有一部详细介绍有关微创心脏外科...
金融风险管理中的已知、未知与不可知 基于KuU思想的度量方法及践行理论
(美)弗朗西斯·X.迪博尔德,(美)尼尔·A·多尔蒂,(美)理查德·J.赫林编著2014 年出版355 页ISBN:9787565414091
随着金融一体化和经济全球化的发展,金融风险日趋复杂化和多样化,金融风险管理的重要性愈加突出。金融风险管理包括对金融风险的识别、度量和控制。由于金融风险对经济、金融乃至国家安全的消极影响,在国际上,许...
(美)伯杰龙(Bergeron,J.)著;张春等译2006 年出版345 页ISBN:7121030764
验证是制造出功能正确的芯片的必要步骤,是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具,验证的重要性和代价,比较了不同的验证方法,以及测试和验证的区别。然后从方法学的角度探讨...
(美)贝弗里·J.西尔弗著2012 年出版281 页ISBN:9787509714218
本书依据国际劳工运动大量的新数据库,对劳工运动进行了长历史时段和全球范围的研究,揭示出19世纪晚期以来地方的劳工运动与国际范围内的政治、经济、社会进程是相关的。通过对所选的全球工业一种有深度的、实...
植物的欲望 植物眼中的世界 A plant's-eye view of the world
(美) 迈克尔·波伦著;Michael Pollan 王毅译2003 年出版271 页ISBN:7208040427
人类在选择植物,植物也在利用人类,这都会使得植物的少数品种发达而整体萎缩。所以,保护生物多样性就成为一个极其重要的问题。还是拿苹果来说吧,在果园中只种植缩减后的若干个嫁接品种的做法已经使得苹果不再适...
(瑞典)B.哈格曼(BruceHugman)编;(瑞典)J.拉巴迪(JERRYLABADIE)参编;周耕,程刚,李文武,张东伟译;(瑞典)刘株荣(LIUZHURONG)校2015 年出版173 页ISBN:9787122219992
本书作为医药领域对危机解救原理和方法进行权威论述的唯一教程,是UMC(乌普萨拉监测中心)对有效预测、预防和管理危机的一本实用手册。本书重点介绍了药品和医疗保健领域的危机案例,同时它对所有其他领域的危机...
储层模拟中露头和现代沉积类比的综合研究 Integration of outcrop and modern analogs in reservoir modeling eng
G. Michael Grammer,Paul M. Mitch Harris,Gregor P. Eberli编;蔡希源等译2008 年出版367 页ISBN:9787116055643
本书共18章,分别对建立储层模型过程的各个阶段进行了阐述。
(美)小克里斯·J.维廷(Chris J.Witting)著;徐海鸥译2001 年出版365 页ISBN:7801621727
你希望成功吗?首先,你必须明白成功对你意味着什么。其次,你需要制定达至成功的计划。本书提供了特有的、简单易懂的、有助于你集中精力确立成功目标和选择最佳实施途径达到成功目标的方法。这是一项激励计划,它...
(美)Michael D.Ciletti著;张雅绮,李锵等译2005 年出版711 页ISBN:7505399179
本书特色:用HDL(硬件描述语言)进行行为建模是现代ASIC(专用集成电路)设计的关键。要想成为某个杰出设计团队的一员,必须掌握设计流关键阶段中HDL的使用。本书内容并不囿于基本原理和方法,比较适合数字设计入门课.....
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...