Texts and Monographs in Computer Science最新文献

筛选
英文 中文
Relational Database Technology 关系数据库技术
Texts and Monographs in Computer Science Pub Date : 1986-06-24 DOI: 10.1007/978-1-4612-4922-1
S. Alagic
{"title":"Relational Database Technology","authors":"S. Alagic","doi":"10.1007/978-1-4612-4922-1","DOIUrl":"https://doi.org/10.1007/978-1-4612-4922-1","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115457772","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}
引用次数: 22
A Guide to Modula-2 Modula-2指南
Texts and Monographs in Computer Science Pub Date : 1985-12-12 DOI: 10.1007/978-1-4612-4892-7
K. Christian
{"title":"A Guide to Modula-2","authors":"K. Christian","doi":"10.1007/978-1-4612-4892-7","DOIUrl":"https://doi.org/10.1007/978-1-4612-4892-7","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"399 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115317048","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
Methods and Applications of Error-Free Computation 无误差计算的方法与应用
Texts and Monographs in Computer Science Pub Date : 1984-08-09 DOI: 10.1007/978-1-4612-5242-9
R. T. Gregory, E. Krishnamurthy
{"title":"Methods and Applications of Error-Free Computation","authors":"R. T. Gregory, E. Krishnamurthy","doi":"10.1007/978-1-4612-5242-9","DOIUrl":"https://doi.org/10.1007/978-1-4612-5242-9","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1984-08-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133114061","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}
引用次数: 131
Algorithmic Language and Program Development 算法语言和程序开发
Texts and Monographs in Computer Science Pub Date : 1982-10-01 DOI: 10.1007/978-3-642-61807-9
F. L. Bauer, H. Wössner
{"title":"Algorithmic Language and Program Development","authors":"F. L. Bauer, H. Wössner","doi":"10.1007/978-3-642-61807-9","DOIUrl":"https://doi.org/10.1007/978-3-642-61807-9","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128423284","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}
引用次数: 174
A Programming Approach to Computability 可计算性的编程方法
Texts and Monographs in Computer Science Pub Date : 1982-08-31 DOI: 10.1007/978-1-4612-5749-3
A. Kfoury, R. Moll, M. Arbib
{"title":"A Programming Approach to Computability","authors":"A. Kfoury, R. Moll, M. Arbib","doi":"10.1007/978-1-4612-5749-3","DOIUrl":"https://doi.org/10.1007/978-1-4612-5749-3","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124713192","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}
引用次数: 85
A Basis for Theoretical Computer Science 理论计算机科学基础
Texts and Monographs in Computer Science Pub Date : 1981-09-30 DOI: 10.1007/978-1-4613-9455-6
M. Arbib, A. Kfoury, R. Moll
{"title":"A Basis for Theoretical Computer Science","authors":"M. Arbib, A. Kfoury, R. Moll","doi":"10.1007/978-1-4613-9455-6","DOIUrl":"https://doi.org/10.1007/978-1-4613-9455-6","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126567178","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
Larch: Languages and Tools for Formal Specification Larch:正式规范的语言和工具
Texts and Monographs in Computer Science Pub Date : 1900-01-01 DOI: 10.1007/978-1-4612-2704-5
J. Guttag, J. Horning, Stephen J. Garland, Kevin D. Jones, A. Modet, Jeannette M. Wing
{"title":"Larch: Languages and Tools for Formal Specification","authors":"J. Guttag, J. Horning, Stephen J. Garland, Kevin D. Jones, A. Modet, Jeannette M. Wing","doi":"10.1007/978-1-4612-2704-5","DOIUrl":"https://doi.org/10.1007/978-1-4612-2704-5","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"20 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":"116552332","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}
引用次数: 799
Probabilistic Analysis of Algorithms 算法的概率分析
Texts and Monographs in Computer Science Pub Date : 1900-01-01 DOI: 10.1007/978-1-4612-4800-2
M. Hofri
{"title":"Probabilistic Analysis of Algorithms","authors":"M. Hofri","doi":"10.1007/978-1-4612-4800-2","DOIUrl":"https://doi.org/10.1007/978-1-4612-4800-2","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"2 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":"122544176","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}
引用次数: 186
Design of Digital Computers 数字计算机设计
Texts and Monographs in Computer Science Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-86190-1
Hans W. Gschwind, E. McCluskey
{"title":"Design of Digital Computers","authors":"Hans W. Gschwind, E. McCluskey","doi":"10.1007/978-3-642-86190-1","DOIUrl":"https://doi.org/10.1007/978-3-642-86190-1","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"5 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":"129168611","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}
引用次数: 57
Computational Geometry 计算几何
Texts and Monographs in Computer Science Pub Date : 1900-01-01 DOI: 10.1007/978-1-4612-1098-6
F. Preparata, M. Shamos
{"title":"Computational Geometry","authors":"F. Preparata, M. Shamos","doi":"10.1007/978-1-4612-1098-6","DOIUrl":"https://doi.org/10.1007/978-1-4612-1098-6","url":null,"abstract":"","PeriodicalId":124930,"journal":{"name":"Texts and Monographs in Computer Science","volume":"33 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":"115797537","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}
引用次数: 6956
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学术官方微信