{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T17:56:07Z”，“时间戳”：172555896968}，“出版商位置”：“柏林，海德堡”，“参考计数”：0，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783839”540253334“}，{”类型“：”电子“，“value”：“9783540319801”}]，“license”：[{“start”：{“date-parts”：[[2005,1,1]]，“date-time”：“2005-01-01T00:00:00Z”，“timestamp”：1104537600000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}]short-container-title“：[]，”published-print“：{”date-parts“：[[2005]]}，“DOI”：“10.1007\/b107194”，“type”：“book”，“created”：{“date-parts”：[[2010,7,11]]，“date-time”：“2010-07-11T18:44:59Z”，“timestamp”：1278873899000}，“source”：”Crossref“，“is-referenced-by-count”：3，“title”：[“系统构建和分析的工具和算法”]，“prefix”：“101007”，”member“：”297“，”container-title“：[“计算机科学课堂讲稿”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/b107194.pdf”，“content-type”：“application\/pdf”、“content-version”：“vor”、“intended-application”：“text-mining”}，{“URL”：“http:\\/link.stringer.com/content\/pdf\/10.1007\\/b107194”，“content-type”：“未指定”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2019,5,19]]，“date-time”：“2019-05-19T15:53:04Z”，“timestamp”：1558281184000}，“score”：1，“resource”：{primary“URL”：“http://link.springer.com/10.1007\/b107194”}}：[“2005年第11届国际会议，TACAS，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2005，英国爱丁堡，2005年4月4-8日。Proceedings“]，”editor“：[{”given“：”Nicolas“，”family“：”Halbwachs“，”sequence“：”first“，”affiliation“：[]}，{”given“:”Lenore D.“，”家族“：”Zuck“，”序列“：”additional“，”assiation“：[]}]，”shorttitle“：[]，”issued“：{”date-parts“：[2005]]}”，“ISBN”：[“9783540253334”，“978354319801”]，“references-count”：0，“URL“：”http://\/dx.doi.org\/10.1007\/b107194“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”type“：”electronic“，”value“：”1611-349“}]，”subject“：【】，”published“：{”date-parts“：【2005】}}}