在“SpringerLink电子期刊”中,命中:286条,耗时:0.0769459 秒

在所有数据库中总计命中:3,055

4. Model checking of state-rich formalism d-i-eq1"> by linking to d-i-eq2"> \(CSP\,\Vert \,B\)
刊名:International Journal on Software Tools for Technology Transfer
出版年:2017
8. Note on Calopogonium mucunoides Desv. (Fabaceae): A New Species Record for Eastern and Central India
刊名:Proceedings of the National Academy of Sciences, India Section B: Biological Sciences
出版年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(286)
作者(131)
文摘(6)
按出版年细分(286)
2017年(4)
2016年(14)
2015年(22)
2014年(34)
2013年(46)
2012年(25)
2011年(9)
2010年(16)
2009年(11)
2008年(11)
2007年(9)
2006年(24)
2005年(14)
2004年(8)
2003年(7)
2002年(9)
2001年(5)
2000年(7)
2000年及以前(11)
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.