设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
中国地质文献-英文(36)
Springer电子图书(3)
ProQuest学位论文(40)
Elsevier电子期刊(557)
Wiley电子期刊(2)
SpringerLink电子期刊(599)
NATURE电子期刊(10)
ACS电子期刊(2)
在“
SpringerLink电子期刊
”中,
命中:
599
条,耗时:0.0159913 秒
在所有数据库中总计命中:
1,249
条
1.
Complexity of Left-Ideal, Suffix-
Closed
and Suffix-Free Regular
Language
s
关键词:
Different alphabets
;
Left ideal
;
Most complex
;
Quotient/state complexity
;
Regular
language
;
Suffix
;
closed
;
Suffix
;
convex
;
Suffix
;
free
;
Syntactic semigroup
;
Transition semigroup
;
Unrestricted complexity
刊名:Lecture Notes in Computer Science
出版年:2017
2.
The role of universal
language
in the early work of Carnap and Tarski
作者:
Iris Loeb
关键词:
Universal
language
;
Carnap
;
Tarski
;
Model theory
刊名:Synthese
出版年:2017
3.
Edit-Distance Between Visibly Pushdown
Language
s
关键词:
Visibly pushdown
language
s
;
Edit
;
distance
;
Algorithm
;
Decidability
刊名:Lecture Notes in Computer Science
出版年:2017
4.
Boltzmann Samplers for
Closed
Simply-Typed Lambda Terms
关键词:
Boltzmann samplers
;
Random generation of simply
;
typed lambda terms
;
Type inference
;
Combinatorics of lambda terms
;
Random generation of simply
;
typed normal forms
刊名:Lecture Notes in Computer Science
出版年:2017
5.
A Petri net tool for software performance estimation based on upper throughput bounds
作者:
Ricardo J. Rodríguez
关键词:
Petri net
;
UML
;
Software performance
;
Optimization
刊名:Automated Software Engineering
出版年:2017
6.
A large survey among European trainees in clinical microbiology and infectious disease on training systems and training adequacy: identifying the gaps and suggesting improvements
作者:
E. Yusuf
;
D. S. Y. Ong
;
A. Martin-Quiros…
刊名:European Journal of Clinical Microbiology & Infectious Diseases
出版年:2017
7.
A Perfect Class of Context-Sensitive Timed
Language
s
关键词:
Perfect
language
s
;
Context
;
sensitive
language
s
;
Multistack automata
;
Timed
language
s
刊名:Lecture Notes in Computer Science
出版年:2016
8.
Automatic Restoration of Diacritics for Igbo
Language
关键词:
Diacritic restoration
;
Sense disambiguation
;
Low resourced
language
s
;
Igbo
language
刊名:Lecture Notes in Computer Science
出版年:2016
9.
A
Language
-Theoretical Approach to Descriptive Complexity
关键词:
Logic
;
Language
s
;
Descriptive complexity
;
Hyperwords
;
Circuits
刊名:Lecture Notes in Computer Science
出版年:2016
10.
Weighted Restarting Automata as
Language
Acceptors
关键词:
Weighted restarting automaton
;
Non
;
forgetting restarting automaton
;
Language
class
;
Closure property
刊名:Lecture Notes in Computer Science
出版年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(599)
题名(10)
关键词(18)
文摘(546)
按出版年细分(599)
2017年(6)
2016年(31)
2015年(41)
2014年(46)
2013年(51)
2012年(43)
2011年(14)
2010年(28)
2009年(35)
2008年(44)
2007年(47)
2006年(77)
2005年(39)
2004年(11)
2003年(12)
2002年(16)
2001年(14)
2000年(8)
2000年及以前(36)
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
.