（美）埃德温·鲁兹著；紫馨译2017 年出版78 页ISBN：9787558601484
埃德温·鲁兹是世界动画教父、大师背后的大师，影响了华特·迪士尼，推动了迪士尼梦幻帝国的诞生。这本神奇的小书教会了一代又一代的大人和孩子们如何画画。作者埃德温·鲁兹通过清晰的步骤分解图，将精美绝伦的...
（美）诺尔曼·伯德维尔著2017 年出版30 页ISBN：9787020123971
大红狗在好莱坞的电影中主演了一个角色，大红狗变成大明星了，他因此离开了伊丽莎白。做了明星大红狗赚了很多钱，他有了一幢大房子，还有一个很大的游泳池，还有吃不完的美食……但大红狗逐渐讨厌成为明星了，他想念.....
（美）埃德温·鲁兹著；紫馨译2017 年出版79 页ISBN：9787558601491
埃德温·鲁兹是世界动画教父、大师背后的大师，影响了华特·迪士尼，推动了迪士尼梦幻帝国的诞生。这本神奇的小书教会了一代又一代的大人和孩子们如何画画。作者埃德温·鲁兹通过清晰的步骤分解图，将精美绝伦的...
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
王黎明，（德）魏尔曼主编；国家发展改革委中小企业司，英国政府国际发展部编2003 年出版229 页ISBN：7501760918
本书为国家发改委与英国政府国际发展部在北京举行的中小企业服务体系国际研讨会的论文资料汇编。
