SpringerLink电子期刊(8)Elsevier电子期刊(4)
在“SpringerLink电子期刊”中，命中：8条，耗时：0.0159971 秒

在所有数据库中总计命中：12条

2. A Program Construction and Verification Tool for Separation Logic
刊名：Lecture Notes in Computer Science
出版年：2015
5.A Semiring Approach to Equivalences, Bisimulations and Control
刊名：Lecture Notes in Computer Science
出版年：2009
6.Spatial Quantales
作者：David Kruml
刊名：Applied Categorical Structures
出版年：2002
7.A Note on Girard Bimodules
作者： Jan Paseka
刊名：International Journal of Theoretical Physics
出版年：2000
8.A Note on Girard Bimodules
作者：Jan Paseka
刊名：International Journal of Theoretical Physics
出版年：2000
1
按检索点细分(8)
关键词(3)
文摘(6)
按出版年细分(8)
2016年(1)
2015年(1)
2013年(1)
2012年(1)
2009年(1)
2002年(1)
2000年(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.