常用资源电子图书期刊论文学位会议外文资源特色专题内部出版物 
SpringerLink电子期刊(118)ProQuest学位论文(6)Elsevier电子期刊(51)
在“SpringerLink电子期刊”中,命中:118条,耗时:0.0229874 秒

在所有数据库中总计命中:175

3. The Degree of Irreversibility in Deterministic Finite Automata
刊名:Lecture Notes in Computer Science
出版年:2016
4. Two-Way Automata in Coq
刊名:Lecture Notes in Computer Science
出版年:2016
5. State Complexity of Prefix Distance of Subregular Languages
刊名:Lecture Notes in Computer Science
出版年:2016
6. Synchronizing Automata over Nested Words
刊名:Lecture Notes in Computer Science
出版年:2016
7. A Statechart-Based Anomaly Detection Model for Multi-Threaded SCADA Systems
刊名:Lecture Notes in Computer Science
出版年:2016
8. Minimal Reversible Deterministic Finite Automata
刊名:Lecture Notes in Computer Science
出版年:2015
1
2
3
4
5
6
7
8
9
按检索点细分(118)
关键词(2)
文摘(97)
按出版年细分(118)
2017年(2)
2016年(5)
2015年(11)
2014年(12)
2013年(8)
2012年(21)
2011年(2)
2010年(8)
2009年(8)
2008年(10)
2007年(4)
2006年(6)
2005年(10)
2003年(1)
2002年(1)
2001年(2)
2000年及以前(7)

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址:北京市海淀区学院路29号 邮编:100083

电话:办公室:(+86 10)66554848;文献借阅、咨询服务、科技查新:66554700