设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
中国地质文献-英文(466)
SpringerLink电子期刊(47171)
GSW全文库(1778)
Wiley电子期刊(1149)
ProQuest学位论文(2152)
Elsevier电子期刊(80320)
Springer电子图书(76)
NATURE电子期刊(2708)
ACS电子期刊(5640)
在“
Springer电子图书
”中,
命中:
76
条,耗时:小于0.01 秒
在所有数据库中总计命中:
141,460
条
1.
Proving programs
correct
through refinement
ContentType:Journal Article
Publisher:
Springer Berlin / Heidelberg
Author:
Claus H. Correll
2.
Truly prefix-
correct
chain-free <i>LR</i>(1) parsers
ContentType:Journal Article
Publisher:
Springer Berlin / Heidelberg
Author:
S. Heilbrunner
3.
Politically
correct
hiring Will Destroy higher education
ContentType:Journal Article
Publisher:
Springer New York
Author:
Aaron Wildavsky
4.
The Politically
Correct
University: Problems, Scope, and Reforms, edited by Robert Maranto, Richard E. Redding, and Frederick M. Hess. Washington, DC: The AEI Press, 2009, 326 pp., $25.00 paperback.
ContentType:Journal Article
Publisher:
Springer New York
Author:
Jane S. Shaw
5.
Recommendations on quantities, symbols and measurement units for publications in ACQUAL: the
correct
use of equations for calculating chemical measurement results
ContentType:Journal Article
Publisher:
Springer Berlin / Heidelberg
Author:
Wolfgang Richter
6.
On
correct
procedure parameter transmission in higher programming languages
ContentType:Journal Article
Publisher:
Springer Berlin / Heidelberg
Author:
Hans Langmaack
7.
Predictor-
correct
or method for nonlinear complementarity problem
ContentType:Journal Article
Publisher:
Institute of Mathematics
;
Chinese Academy of Sciences and Chinese Mathematical Society
;
co-published with Springer-Verlag GmbH
Author:
Zhiquan Luo
;
Shiquan Wu
;
Yinyu Ye
8.
On
correct
account of finite rotations in finite plasticity theory
ContentType:Journal Article
Publisher:
The Chinese Society of Theoretical and Applied Mechanics
;
Institute of Mechanics
;
Chinese Academy of Sciences
;
co-published with Springer
Author:
V. I. Levitas
9.
Formal derivation of strongly
correct
concurrent programs
ContentType:Journal Article
Publisher:
Springer Berlin / Heidelberg
Author:
Axel van Lamsweerde
;
Michel Sintzoff
10.
Correct
hardware synthesis
ContentType:Journal Article
Publisher:
Springer Berlin / Heidelberg
Author:
Juan Perna
;
Jim Woodcock
;
Augusto Sampaio
;
Juliano Iyoda
1
2
3
4
5
6
7
8
按检索点细分(76)
Name(73)
Subtitle(3)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.