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

美国ACCDON公司旗下品牌

021-33361733,021-34243363

chinasupport@letpub.com

登录 注册 新注册优惠

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 352 - Related articles - All 5 versions
…, D Muna, JA Munn, H Murayama, AD Myers… - 2011 - adsabs.harvard.edu
Cited by 9 - Related articles
…, 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, ...
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
[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 92 - Related articles - All 29 versions

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

© 2010-2024 中国: LetPub上海    网站备案号:沪ICP备10217908号-1    沪公网安备号:31010402006960 (网站)31010405000484 (蝌蝌APP)

增值电信业务经营许可证:沪B2-20211595    网络文化经营许可证:沪网文[2023]2004-152号

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