在“SpringerLink电子期刊”中,命中:1,607条,耗时:0.0119938 秒

在所有数据库中总计命中:7,208

3. Model checking of state-rich formalism inline-equation id-i-eq1"> by linking to inline-equation id-i-eq2"> \(CSP\,\Vert \,B\)
刊名:International Journal on Software Tools for Technology Transfer
出版年:2017
5. Development of a 3D road profile measuring system for unpaved road severity analysis
刊名:International Journal of Precision Engineering and Manufacturing
出版年:2017
1
2
3
4
5
6
7
8
9
按检索点细分(1607)
题名(2)
作者(1507)
关键词(2)
文摘(18)
按出版年细分(1607)
2017年(18)
2016年(71)
2015年(102)
2014年(180)
2013年(211)
2012年(214)
2011年(81)
2010年(99)
2009年(105)
2008年(96)
2007年(88)
2006年(146)
2005年(74)
2004年(36)
2003年(21)
2002年(23)
2001年(12)
2000年(6)
2000年及以前(24)
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.