{"title":"Proofs and Algorithms - An Introduction to Logic and Computability","authors":"Gilles Dowek","doi":"10.1007/978-0-85729-121-9","DOIUrl":"https://doi.org/10.1007/978-0-85729-121-9","url":null,"abstract":"","PeriodicalId":357482,"journal":{"name":"Undergraduate Topics in Computer Science","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126816852","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}
{"title":"Introduction to Software Process Improvement","authors":"Gerard O'Regan","doi":"10.1007/978-0-85729-172-1","DOIUrl":"https://doi.org/10.1007/978-0-85729-172-1","url":null,"abstract":"","PeriodicalId":357482,"journal":{"name":"Undergraduate Topics in Computer Science","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132341606","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}
{"title":"Introduction to the Theory of Programming Languages","authors":"Gilles Dowek, J. Lévy","doi":"10.1007/978-0-85729-076-2","DOIUrl":"https://doi.org/10.1007/978-0-85729-076-2","url":null,"abstract":"","PeriodicalId":357482,"journal":{"name":"Undergraduate Topics in Computer Science","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125448970","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}
{"title":"Programming Languages: Principles and Paradigms","authors":"M. Gabbrielli, S. Martini","doi":"10.1007/978-1-84882-914-5","DOIUrl":"https://doi.org/10.1007/978-1-84882-914-5","url":null,"abstract":"","PeriodicalId":357482,"journal":{"name":"Undergraduate Topics in Computer Science","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127820038","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}
{"title":"Sets, Logic and Maths for Computing","authors":"D. Makinson","doi":"10.1007/978-1-4471-2500-6","DOIUrl":"https://doi.org/10.1007/978-1-4471-2500-6","url":null,"abstract":"","PeriodicalId":357482,"journal":{"name":"Undergraduate Topics in Computer Science","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124335921","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}
{"title":"A Concise Introduction to Languages and Machines","authors":"A. Parkes","doi":"10.1007/978-1-84800-121-3","DOIUrl":"https://doi.org/10.1007/978-1-84800-121-3","url":null,"abstract":"","PeriodicalId":357482,"journal":{"name":"Undergraduate Topics in Computer Science","volume":"391 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114371396","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}
{"title":"Introduction to Computer Graphics - Using Java 2D and 3D","authors":"F. Klawonn","doi":"10.1007/978-1-84628-848-7","DOIUrl":"https://doi.org/10.1007/978-1-84628-848-7","url":null,"abstract":"","PeriodicalId":357482,"journal":{"name":"Undergraduate Topics in Computer Science","volume":"12 14","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-02-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113984605","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}
{"title":"A Concise Introduction to Data Compression","authors":"David Salomon","doi":"10.1007/978-1-84800-072-8","DOIUrl":"https://doi.org/10.1007/978-1-84800-072-8","url":null,"abstract":"","PeriodicalId":357482,"journal":{"name":"Undergraduate Topics in Computer Science","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115261977","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}
京公网安备 11010802042870号
求助内容：
应助结果提醒方式：