（美）阿里亚斯著相关电子书下载

（西班牙）阿里扬多·巴罕满编著；姬文桂，张琦译2003 年出版191 页ISBN：753372772X

（土）C.庇隆 E.阿里欧格卢著；谈鸣时译1991 年出版204 页ISBN：7810214969

（西）厄迪亚斯绘+（阿根廷）宁绘；张丽蓉译+张丽蓉译2004 年出版76 页ISBN：7530733893

本书所收入的作品都是世界上著名的经典歌剧，配以优美的文字和丰富的彩插，结集出版。

（印尼）阿里·沙斯特罗阿米佐约著；周高塔，宋康源译1983 年出版312 页ISBN：3003·1663

（苏）亚斯诺夫斯基（Н.П.Ясновский）著；刘丙吉译1958 年出版136 页ISBN：4005.409

阿里巴巴（中国）网络技术有限公司著2015 年出版201 页ISBN：9787517500865

《做跨境电商，就是这么简单》是一本跨境电商实操本教科书。本书以风趣的场景式对话的形式，为读者讲解跨境电商的几大步骤。包括了怎样开店、怎样询盘、怎样做在线批发、怎样做采购直达、怎样做在线营销及怎样...

金沛霖主编；金沛霖，李亚斯编译2005 年出版242 页ISBN：7505949160

本书是由语录，注释，英文三种载体形式组成。

（德）诺贝特·埃利亚斯（Norbert Elias）著；吕爱华译2006 年出版169 页ISBN：7563363033

（德）诺伯特·埃利亚斯著；熊浩，高乐田译2018 年出版215 页ISBN：9787100156318

作为知识社会学的经典著作之一，诺伯特·埃利亚斯（1897-1990）的《符号理论》旨在阐述在人类进化过程中关键的思维、语言和符号相互交织的形成机制及其社会功能。作者受到当时进化生物学的最新研究成果的影响，以...

（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...