维普期刊资源整合服务平台（V6.5）

维普中文期刊产品整合服务

17篇 您的检索式：期刊名="ENTCS"

选中清除导出查看参考文献查看引证文献引用追踪共1页首页上一页第1页下一页末页 /1 跳转

		题名	作者	年代	出处	被引量
	1	Web Accessibility Evaluation Tools: A Survey and Some Improvements显示文摘	Vicente Luque Centeno Carlos Delgado Kloos Jesfis Arias Fisteus	2006	Electronic Notes in Theoretical Computer Science (ENTCS)2006，157，2：	1
	2	From distributed memory cycle detection to parallel LTL model checking显示文摘	Barnat J Brim L Chaloupka J	2005	ENTCS2005，3，1：	1
	3	Barbs and congruence for safe mobile ambients显示文摘	Vigliotti M G Phillips I C C C	2002	ENTCS Elsevier2002，66，3：	1
	4	Protocol com- position logic(PCL)显示文摘	Datta A Derek A Mitchell T C	2007	Electronic Notes in Theoret- ical Computer Science (ENTCS)2007，172，：	1
	5	Protocol Composition Logic (PCL)显示文摘	DATTA A DEREK A JOHN C MITCHELL	2007	Electronic Notes in Theoretical Computer Science(ENTCS)2007，172，：	1
	6	Model Checking of Component Behavior Specification: A Real Life Experience显示文摘	Jezek P Kofron J Frantisek P	2006	ENTCS2006，160，6：	1
	7	On Dynamic Distribution of Private Keys over MANETs显示文摘	Daza V Morillo P Rafols C	2007	Electronic Notes in Theoretical Computer Science(ENTCS)2007，171，1：	1
	8	Efficient and AdaptiveThreshold Signatures for Ad hoc Networks显示文摘	Pietro R D Mancini L V Zanin G	2007	Electronic Notes in Theoretical Computer Science(ENTCS)2007，171，1：	1
	9	General secret sharing based on the Chinese remainder theorem with applications in e-voting显示文摘	Iftene S	2007	Electronic Notes in Theoretical Computer Science(ENTCS )2007，186，7：	1
	10	Shape analysis by refining on abstract evaluation path 显示文摘	Ma Xiaodong Wang Ji Dong Wei	2008	Electronic Notes in Theoretical Computer Science ( ENTCS)2008，207，：	1
	11	Protocol Composition Logic (PCL)显示文摘	Datta A Derek A Mitchell J C	2007	Electronic Notes in Theoretical Computer Science(ENTCS)2007，172，：	1
	12	Protocol com position logic (PCL) 显示文摘	Datta A Derek A Mitchell J C	2007	Electronic Notes in Theo retical Computer Science (ENTCS)2007，172，：	1
	13	Microstruttural evolulion of a TC11 titanium alloy, during linear friction welding显示文摘	Lang B Zhang T C	2010	Journal of Materials Sci- entce2010，45，22：	1
	14	Remote attestation on legacy operating systems with trusted platform modules 显示文摘	Schellekens D Wyseur B Preneel B	2008	Electronic Notes in Theoretical Computer Science (ENTCS)2008，197，1：	1
	15	Selective data encryption in outsourced dynamic environments显示文摘	Damiani E De Capitani di Vimercati S Foresti S	2007	Electronics Notes Theory Computer Science (ENTCS)2007，168，：	1
	16	An Adaptation-Based Approach to Incrementally Build Component Systems 显示文摘	Poizat P Salaiin G Tivofi M	2007	Electronic Notes in Theoretical Computer Science ( ENTCS) Series2007，182，：	1
	17	Modelling Emergency Lateral Transship- ments in Inventory Systems显示文摘	Axsater S	1990	Management Sci- entce1990，36，11：	1

返回顶部每页显示：

共1页首页上一页第1页下一页末页 /1 跳转

goolge学术搜索-维普

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费