推荐同事 机构合作 中文 繁體中文 English 한국어 日本語 Português Español

美国ACCDON公司旗下品牌

021-33361733，021-33632861

chinasupport@letpub.com

登录 注册 新注册优惠

[BOOK] Optimization concepts and applications in engineering

AD Belegundu… - 2011 - books.google.com
OPTIMIZATION CONCEPTS AND APPLICATIONS IN ENGINEERING Second Edition It is vitally
important to meet or exceed previous quality and reliability standards while at the same time
reducing resource consumption. This textbook addresses this critical imperative ...
Cited by 353 - Related articles - All 5 versions

The Eighth Data Release of the Sloan Digital Sky Survey: First Data from SDSS-III

…, D Muna, JA Munn, H Murayama, AD Myers… - 2011 - adsabs.harvard.edu
Cited by 9 - Related articles

SDSS-III: Massive Spectroscopic Surveys of the Distant Universe, the Milky Way, and Extra-Solar Planetary Systems

…, D Muna, H Murayama, AD Myers… - The Astronomical …, 2011 - iopscience.iop.org
DANIEL J. EISENSTEIN1,2, DAVID H. WEINBERG3,4, ERIC AGOL5, HIROAkI AIHARA6, CARLOS
ALLENDE PRIETO7,8, SCOTT F. ANDERSON5, JAMES A. ARNS9, ´ERIC AUBOURG10,11,
STEPHEN BAILEY12, EDUARDO BALBINOT13,14, ROBERT BARkHOUSER15, ...

Weight reduction in patients with chronic hepatitis improves liver histology and biochemistry

AD Clouston, JR Jonsson… - … for Study of Liver …, 2011 - espace.library.uq.edu.au
Clouston, AD, Jonsson, JR, Shorthouse, C., Mori, T., Prins, J., Macdonald, G. and Powell, EE
(2000). Weight reduction in patients with chronic hepatitis improves liver histology and
biochemistry. In: , Hepatology: Abstracts of the American Association for Study of Liver ...
Cited by 4 - Related articles - Cached - All 4 versions

Refinement types for secure implementations

[PDF] from psu.edu…, K Bhargavan, C Fournet, AD Gordon… - ACM Transactions on …, 2011 - portal.acm.org
1. INTRODUCTION The goal of this work is to verify the security of implementation code by
typing. Here we are concerned particularly with authentication and authorization properties. We
develop an extended typechecker for code written in F# (a variant of ML) [Syme et al. ...
Cited by 93 - Related articles - All 29 versions

联系我们 | 站点地图 | 友情链接 | 授权代理商 | 加入我们

© 2010-2024 中国: LetPub上海分公司    网站备案号：沪ICP备10217908号-1    沪公网安备号：31010402006960

增值电信业务经营许可证：沪B2-20211595

礼翰商务信息咨询（上海）有限公司      办公地址：上海市徐汇区漕溪北路88号圣爱大厦1803室

United States: Tel: 1-781-202-9968 Address: 400 5th Ave, Suite 530, Waltham, Massachusetts 02451