发布求助
文献互助 智能选刊 最新文献

Monographs in Theoretical Computer Science An EATCS Series最新文献

筛选
英文 中文
Duration Calculus 持续时间计算
Monographs in Theoretical Computer Science An EATCS Series Pub Date : 2004-02-01 DOI: 10.1007/978-3-662-06784-0
Chaochen Zhou, M. R. Hansen
{"title":"Duration Calculus","authors":"Chaochen Zhou, M. R. Hansen","doi":"10.1007/978-3-662-06784-0","DOIUrl":"https://doi.org/10.1007/978-3-662-06784-0","url":null,"abstract":"","PeriodicalId":231583,"journal":{"name":"Monographs in Theoretical Computer Science An EATCS Series","volume":"07 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126363303","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 177
Theory of Semi-Feasible Algorithms 半可行算法理论
Monographs in Theoretical Computer Science An EATCS Series Pub Date : 2002-12-05 DOI: 10.1007/978-3-662-05080-4
L. Hemaspaandra, L. Torenvliet
{"title":"Theory of Semi-Feasible Algorithms","authors":"L. Hemaspaandra, L. Torenvliet","doi":"10.1007/978-3-662-05080-4","DOIUrl":"https://doi.org/10.1007/978-3-662-05080-4","url":null,"abstract":"","PeriodicalId":231583,"journal":{"name":"Monographs in Theoretical Computer Science An EATCS Series","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122643192","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 30
Incomplete Information: Structure, Inference, Complexity 不完全信息:结构、推理、复杂性
Monographs in Theoretical Computer Science An EATCS Series Pub Date : 2002-07-03 DOI: 10.1007/978-3-662-04997-6
Stephane Demri, E. Orlowska
{"title":"Incomplete Information: Structure, Inference, Complexity","authors":"Stephane Demri, E. Orlowska","doi":"10.1007/978-3-662-04997-6","DOIUrl":"https://doi.org/10.1007/978-3-662-04997-6","url":null,"abstract":"","PeriodicalId":231583,"journal":{"name":"Monographs in Theoretical Computer Science An EATCS Series","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134388353","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 122
Finiteness and Regularity in Semigroups and Formal Languages 半群与形式语言的有限性与正则性
Monographs in Theoretical Computer Science An EATCS Series Pub Date : 1999-03-01 DOI: 10.1007/978-3-642-59849-4
A. Luca, S. Varricchio
{"title":"Finiteness and Regularity in Semigroups and Formal Languages","authors":"A. Luca, S. Varricchio","doi":"10.1007/978-3-642-59849-4","DOIUrl":"https://doi.org/10.1007/978-3-642-59849-4","url":null,"abstract":"","PeriodicalId":231583,"journal":{"name":"Monographs in Theoretical Computer Science An EATCS Series","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114800050","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 116
The Logic of Partial Information 部分信息的逻辑
Monographs in Theoretical Computer Science An EATCS Series Pub Date : 1995-08-01 DOI: 10.1007/978-3-642-78160-5
A. N. Abdallah
{"title":"The Logic of Partial Information","authors":"A. N. Abdallah","doi":"10.1007/978-3-642-78160-5","DOIUrl":"https://doi.org/10.1007/978-3-642-78160-5","url":null,"abstract":"","PeriodicalId":231583,"journal":{"name":"Monographs in Theoretical Computer Science An EATCS Series","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132126598","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 43
Coloured Petri Nets 彩色Petri网
Monographs in Theoretical Computer Science An EATCS Series Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-60794-3
K. Jensen
{"title":"Coloured Petri Nets","authors":"K. Jensen","doi":"10.1007/978-3-642-60794-3","DOIUrl":"https://doi.org/10.1007/978-3-642-60794-3","url":null,"abstract":"","PeriodicalId":231583,"journal":{"name":"Monographs in Theoretical Computer Science An EATCS Series","volume":"34 12","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114039806","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 409
Petri Net Algebra Petri网代数
Monographs in Theoretical Computer Science An EATCS Series Pub Date : 1900-01-01 DOI: 10.1007/978-3-662-04457-5
E. Best, Raymond R. Devillers, M. Koutny
{"title":"Petri Net Algebra","authors":"E. Best, Raymond R. Devillers, M. Koutny","doi":"10.1007/978-3-662-04457-5","DOIUrl":"https://doi.org/10.1007/978-3-662-04457-5","url":null,"abstract":"","PeriodicalId":231583,"journal":{"name":"Monographs in Theoretical Computer Science An EATCS Series","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134454287","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 157
Information and Randomness 信息和随机性
Monographs in Theoretical Computer Science An EATCS Series Pub Date : 1900-01-01 DOI: 10.1007/978-3-662-03049-3
Cristian S. Calude
{"title":"Information and Randomness","authors":"Cristian S. Calude","doi":"10.1007/978-3-662-03049-3","DOIUrl":"https://doi.org/10.1007/978-3-662-03049-3","url":null,"abstract":"","PeriodicalId":231583,"journal":{"name":"Monographs in Theoretical Computer Science An EATCS Series","volume":"136 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131278256","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 229
Syntax-Directed Semantics Syntax-Directed语义
Monographs in Theoretical Computer Science An EATCS Series Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-72248-6
Dr. Zoltán Fülöp, Prof. Dr.-Ing. Heiko Vogler
{"title":"Syntax-Directed Semantics","authors":"Dr. Zoltán Fülöp, Prof. Dr.-Ing. Heiko Vogler","doi":"10.1007/978-3-642-72248-6","DOIUrl":"https://doi.org/10.1007/978-3-642-72248-6","url":null,"abstract":"","PeriodicalId":231583,"journal":{"name":"Monographs in Theoretical Computer Science An EATCS Series","volume":"128 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128093199","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 52
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信