在“SpringerLink电子期刊”中，命中：200条，耗时：0.0119637 秒

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

1. \(\mathbb {N}\) -Memory Automata over the Alphabet \(\mathbb {N}\)
刊名：Lecture Notes in Computer Science
出版年：2017
2. Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems
刊名：Lecture Notes in Computer Science
出版年：2016
3. Avoidability of Formulas with Two Variables
刊名：Lecture Notes in Computer Science
出版年：2016
5. Satisfiability via Smooth Pictures
刊名：Lecture Notes in Computer Science
出版年：2016
6. Completeness in Approximate Transduction
刊名：Lecture Notes in Computer Science
出版年：2016
7. On the source-channel separation theorem for infinite source alphabets
刊名：Problems of Information Transmission
出版年：2015
10. Properties of Decision Functions Defined by Bans*
刊名：Journal of Mathematical Sciences
出版年：2016
1
2
3
4
5
6
7
8
9
按检索点细分(200)
题名(27)
关键词(5)
文摘(192)
按出版年细分(200)
2017年(1)
2016年(11)
2015年(14)
2014年(15)
2013年(24)
2012年(13)
2011年(3)
2010年(9)
2009年(14)
2008年(12)
2007年(32)
2006年(16)
2005年(7)
2004年(5)
2003年(2)
2002年(11)
2000年及以前(11)
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.