中图分类法(317)
马克思主义、列宁主义、毛泽东思想、邓小平理论(62)
哲学、宗教(22)
社会科学总论(37)
军事(118)
经济(1)
自然科学总论(1)
天文学、地球科学(29)
农业科学(22)
在“自然资源管理”中,命中:317条,耗时:小于0.01 秒
9.Complexity of model checking for reaction systems
刊名:Theoretical Computer Science
年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(317)
题名(15)
作者(247)
关键词(18)
摘要(63)
按年细分(317)
2031年及以后(12)
2017年(3)
2016年(39)
2015年(16)
2014年(15)
2013年(36)
2012年(37)
2011年(24)
2010年(22)
2009年(21)
2008年(15)
2007年(16)
2006年(11)
2005年(8)
2004年(5)
2003年(6)
2002年(4)
2001年(2)
2000年(5)
2000年及以前(20)
按来源细分(317)
知网(3)
Elsevier(206)
Springer(108)
按类型细分(317)
期刊(316)
图书(1)