在“SpringerLink电子期刊”中，命中：242条，耗时：小于0.01 秒

在所有数据库中总计命中：14,671条

3. Compact Representation for Division Property
刊名：Lecture Notes in Computer Science
出版年：2016
4. Another View of the Division Property
刊名：Lecture Notes in Computer Science
出版年：2016
6. On the Division Property of Simon48 and Simon64
刊名：Lecture Notes in Computer Science
出版年：2016
8. Model checking of state-rich formalism by linking to \(CSP\,\Vert \,B\)
刊名：International Journal on Software Tools for Technology Transfer
出版年：2017
1
2
3
4
5
6
7
8
9
查看站内搜索结果(1)
按检索点细分(242)
题名(6)
关键词(12)
文摘(201)
按出版年细分(242)
2017年(5)
2016年(17)
2015年(37)
2014年(21)
2013年(14)
2012年(14)
2011年(4)
2010年(8)
2009年(12)
2008年(10)
2007年(20)
2006年(14)
2005年(14)
2004年(7)
2003年(10)
2002年(7)
2001年(6)
2000年(8)
2000年及以前(14)
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.