设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
GSW全文库(23)
馆藏期刊(2)
Springer电子图书(7)
CNKI会议论文(17)
CNKI期刊论文0611(64)
中国地质文献-中文(2)
馆藏书目(21)
万方学术会议(1)
CNKI学位论文(16838)
知网期刊论文(12769)
在“
Springer电子图书
”中,
命中:
7
条,耗时:小于0.01 秒
在所有数据库中总计命中:
29,744
条
1.
A sharp proof rule for procedures in wp semantics
ContentType:Journal Article
Publisher:
Sprin
g
er Berlin / Heidelber
g
Author:
A. Bijlsma
;
P. A.
Matthews
;
J.
G
. Wiltink
2.
Equivalence of the
G
ries and Martin proof rules for procedure calls
ContentType:Journal Article
Publisher:
Sprin
g
er Berlin / Heidelber
g
Author:
A. Bijlsma
;
J.
G
. Wiltink
;
P. A.
Matthews
3.
Bahnüber
g
än
g
e
ContentType:Book Chapter
Publisher:
Viewe
g
+Teubner
Author:
Volker
Matthews
4.
Aus
g
ewählte Si
g
nale
ContentType:Book Chapter
Publisher:
Viewe
g
+Teubner
Author:
Volker
Matthews
5.
Hinweise zur
G
estaltun
g
von La
g
eplänen
ContentType:Book Chapter
Publisher:
Viewe
g
+Teubner
Author:
Volker
Matthews
6.
G
leisabstände
ContentType:Book Chapter
Publisher:
Viewe
g
+Teubner
Author:
Volker
Matthews
7.
Linienführun
g
ContentType:Book Chapter
Publisher:
Viewe
g
+Teubner
Author:
Volker
Matthews
1
按检索点细分(7)
Author(2)
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
.