常用资源电子图书期刊论文学位会议外文资源特色专题内部出版物 
SpringerLink电子期刊(16)Elsevier电子期刊(31)ACS电子期刊(1)
在“SpringerLink电子期刊”中，命中：16条，耗时：0.0329837 秒

在所有数据库中总计命中：48条

1. Model-Checking by Infinite Fly-Automata
刊名：Lecture Notes in Computer Science
出版年：2013
2. Automata for Monadic Second-Order Model-Checking
刊名：Lecture Notes in Computer Science
出版年：2011
5.On Several Proofs of the Recognizability Theorem
刊名：Lecture Notes in Computer Science
出版年：2009
6.Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications
刊名：Lecture Notes in Computer Science
出版年：2009
7.Compact Forbidden-Set Routing
刊名：Lecture Notes in Computer Science
出版年：2007
8.Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects
刊名：Lecture Notes in Computer Science
出版年：2008
9.Efficient First-Order Model-Checking Using Short Labels
刊名：Lecture Notes in Computer Science
出版年：2008
10.Compact Forbidden-Set Routing
刊名：Lecture Notes in Computer Science
出版年：2007
1
2
按检索点细分(16)
作者(16)
按出版年细分(16)
2013年(1)
2011年(2)
2010年(1)
2009年(2)
2008年(2)
2007年(2)
2005年(2)
2004年(2)
2002年(2)

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

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

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