Texts and Monographs in Computer Science最新文献

筛选
英文 中文
Verification of Sequential and Concurrent Programs 顺序和并发程序的验证
Texts and Monographs in Computer Science Pub Date : 1997-05-01 DOI: 10.1007/978-1-4757-4376-0
K. Apt, E. Olderog
{"title":"Verification of Sequential and Concurrent Programs","authors":"K. Apt, E. Olderog","doi":"10.1007/978-1-4757-4376-0","DOIUrl":"https://doi.org/10.1007/978-1-4757-4376-0","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128023054","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}
引用次数: 429
Algorithmic Algebra 算法的代数
Texts and Monographs in Computer Science Pub Date : 1993-10-01 DOI: 10.1007/978-1-4612-4344-1
B. Mishra
{"title":"Algorithmic Algebra","authors":"B. Mishra","doi":"10.1007/978-1-4612-4344-1","DOIUrl":"https://doi.org/10.1007/978-1-4612-4344-1","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126193209","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}
引用次数: 356
The Design and Analysis of Algorithms 算法的设计与分析
Texts and Monographs in Computer Science Pub Date : 1991-12-03 DOI: 10.1007/978-1-4612-4400-4
D. Kozen
{"title":"The Design and Analysis of Algorithms","authors":"D. Kozen","doi":"10.1007/978-1-4612-4400-4","DOIUrl":"https://doi.org/10.1007/978-1-4612-4400-4","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123974978","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}
引用次数: 4
Specification and Transformation of Programs - A Formal Approach to Software Development 程序的规范和转换——软件开发的一种正式方法
Texts and Monographs in Computer Science Pub Date : 1990-07-05 DOI: 10.1007/978-3-642-61512-2
H. Partsch
{"title":"Specification and Transformation of Programs - A Formal Approach to Software Development","authors":"H. Partsch","doi":"10.1007/978-3-642-61512-2","DOIUrl":"https://doi.org/10.1007/978-3-642-61512-2","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134006865","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}
引用次数: 180
Predicate Calculus and Program Semantics 谓词演算与程序语义
Texts and Monographs in Computer Science Pub Date : 1989-12-18 DOI: 10.1007/978-1-4612-3228-5
E. Dijkstra, C. S. Scholten
{"title":"Predicate Calculus and Program Semantics","authors":"E. Dijkstra, C. S. Scholten","doi":"10.1007/978-1-4612-3228-5","DOIUrl":"https://doi.org/10.1007/978-1-4612-3228-5","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115333143","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}
引用次数: 788
VLSI Placement and Routing: The PI Project 超大规模集成电路的放置和路由:PI项目
Texts and Monographs in Computer Science Pub Date : 1989-08-25 DOI: 10.1007/978-1-4613-9658-1
A. Sherman
{"title":"VLSI Placement and Routing: The PI Project","authors":"A. Sherman","doi":"10.1007/978-1-4613-9658-1","DOIUrl":"https://doi.org/10.1007/978-1-4613-9658-1","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"256 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132471825","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}
引用次数: 11
The Synthesizer Generator Reference Manual 合成器生成器参考手册
Texts and Monographs in Computer Science Pub Date : 1988-12-19 DOI: 10.1007/978-1-4613-9633-8
T. Reps, T. Teitelbaum
{"title":"The Synthesizer Generator Reference Manual","authors":"T. Reps, T. Teitelbaum","doi":"10.1007/978-1-4613-9633-8","DOIUrl":"https://doi.org/10.1007/978-1-4613-9633-8","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129171020","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}
引用次数: 108
Object-Oriented Database Programming 面向对象数据库编程
Texts and Monographs in Computer Science Pub Date : 1988-12-01 DOI: 10.1007/978-1-4612-3518-7
S. Alagic
{"title":"Object-Oriented Database Programming","authors":"S. Alagic","doi":"10.1007/978-1-4612-3518-7","DOIUrl":"https://doi.org/10.1007/978-1-4612-3518-7","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127481902","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}
引用次数: 25
An Introduction to Formal Language Theory 形式语言理论导论
Texts and Monographs in Computer Science Pub Date : 1988-08-08 DOI: 10.1007/978-1-4613-9595-9
R. Moll, M. Arbib, A. Kfoury
{"title":"An Introduction to Formal Language Theory","authors":"R. Moll, M. Arbib, A. Kfoury","doi":"10.1007/978-1-4613-9595-9","DOIUrl":"https://doi.org/10.1007/978-1-4613-9595-9","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127480102","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}
引用次数: 662
Algebraic Approaches to Program Semantics 程序语义的代数方法
Texts and Monographs in Computer Science Pub Date : 1986-09-10 DOI: 10.1007/978-1-4612-4962-7
E. Manes, M. Arbib
{"title":"Algebraic Approaches to Program Semantics","authors":"E. Manes, M. Arbib","doi":"10.1007/978-1-4612-4962-7","DOIUrl":"https://doi.org/10.1007/978-1-4612-4962-7","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"136 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122774536","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}
引用次数: 252
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学术官方微信