Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic

下载此书RAR压缩包在线购买PDF电子书

2002 年出版218 页ISBN：3540433767

Lecture Notes in Computer Science 3617 Image Analysis and Processing-ICIAP 2005 13th International C

下载此书RAR压缩包在线购买PDF电子书

2005 年出版1221 页ISBN：3540288694

Lecture Notes in Computer Science 3390 Software Engineering for Multi-Agent Systems III Research Iss

下载此书RAR压缩包在线购买PDF电子书

2005 年出版289 页ISBN：3540248439

Lecture Notes in Computer Science 2992 Advances in Database Technology-EDBT 2004 9th International C

下载此书RAR压缩包在线购买PDF电子书

2004 年出版877 页ISBN：3540212000

LECTURE NOTES IN COMPUTER SCIENCE 38 AN OPTIMIZED TRANSLATION PROCESS AND ITS APPLICATION TO ALGOL 6

下载此书RAR压缩包在线购买PDF电子书

G.GOOS AND J.HARTMANIS1976 年出版334 页ISBN：3540075453

玛格丽特·德拉布尔“光辉灿烂”三部曲中的社群意识研究=The sense of community in Margaret Drabble\'s The radiant trilogy

下载此书RAR压缩包在线购买PDF电子书

孙艳萍著2014 年出版0 页ISBN：

2014中国财政发展报告:中国财政信息公开进程、目标及制度保障=annual report on china’s fiscal development:the path to fiscal trans

下载此书RAR压缩包在线购买PDF电子书

王彩霞主编2014 年出版0 页ISBN：

美国驻中国重庆领事馆领事报告(1896-1906)=Despatches From U.S.Consuls in Chunking China 1896-1906

下载此书RAR压缩包在线购买PDF电子书

广西师范大学出版社组织整理；冯玉霞提要；刘玉红审定2012 年出版595 页ISBN：9787549516759

收藏在美国驻华大使馆美国教育交流中心的美国政府解密档案（中国关系）美国驻中国重庆领事馆领事报告（1896-1906），是美国驻中国重庆领事馆呈送给美国国务院的例行公事性质的说明信及相关附件，有领事馆日常行使职务...

UNIX系统V/386第4版 MULTIBUS安装和配置指南 MULTIBUS installation and configuration guide

下载此书RAR压缩包在线购买PDF电子书

刘琦，韩承德译校1992 年出版51 页ISBN：7505316753

Miller GAAP Guide:Restatement and Analysis of Current FASB Standards

下载此书RAR压缩包在线购买PDF电子书

[美]简·R·威廉斯（Jan R.Williams）著2004 年出版1098 页ISBN：780073806X

本书是对2003年美国公认会计准则的解释和分析，包括美国财务会计准则委员会145号公告。本书分为公认会计准则和特殊行业会计准则两个部分。