Verification of Sequential and Concurrent Programs Second Edition 相关电子书下载

钱旭红曲景平2008 年出版300 页ISBN：9787561142851

本书是关于洁净能源工程、环境与绿色处理、材料科学工程、生物工艺学、化学工程的新边缘学科、化学工程教育的介绍。

丁丽萍著2006 年出版212 页ISBN：7501437661

本书分9章，包括计算机取证的相关研究、计算机取证的优化模型和多维过程模型、实时可取证操作系统的取证行为模型等。

Pavel Etingof ; Mikhail Khovanov ; Alistair Savage2014 年出版0 页ISBN：

马宁著2010 年出版234 页ISBN：

STRUCTURE2222 年出版60 页ISBN：

肖军著2017 年出版0 页ISBN：

SILVIA2222 年出版0 页ISBN：

HAUNTS2010 年出版63 页ISBN：

宫竹正著2006 年出版255 页ISBN：7561327838

本书全面介绍了艺伎这种富有鲜明日本民族特色的表演艺术形式，包括其起源、社会背景、历史和传统，艺伎的培养和成长，以及历史上著名的艺伎和相关名人。有助于读者了解和理解日本的民族文化和艺术传统。...

徐昕主编2006 年出版307 页ISBN：7503667753

本书以纠纷解决为主题，强调实证研究，较多地运用了社会学、人类学、经济学等跨学科方法，定位于“法律与社会科学”作品。《纠纷解决与社会和谐》专辑，包括主题笔谈16篇，论文6篇，调查报告、译文、书评各2篇。这些.....