-
-
软件工程形式化方法与语言
李莹,吴江琴著2010 年出版200 页ISBN:9787308066679本书第一部分介绍了Z语言的背景知识,包括集合论和一阶谓词演算等概念及其形式化表达方法;第二部分介绍了Z语言构成及其规格说明的结构化,引入求精理论;第三部分介绍了Martin-Lof类型理论,及其规则定义和推导演算...
-
-
德格巴宫-德格印经院藏版目录大全 3 道果目录
麦波编2005 年出版700 页ISBN:7540932260德格印经院始建于1729年,是藏区木刻版本最多、最全的印经院,有藏传佛教各教派的各种佛教典籍,也有医学、星算学、美术、历史、诗歌、语法等诸多著作。本书是萨迦派的主要经典法宝之《道果》的详细目录。...
-
-
三维游戏场景设计与制作
程罡,吴江涛编著2010 年出版304 页ISBN:9787121099779本书是21世纪动漫游戏职业技能认证标准教材系列丛书中的一本,重点介绍三维游戏场景的设计方法和制作技巧,主要涉及的软件有3ds max和Photoshop等。全书共分8个章节,包括三维游戏涉及的理论知识和基本概念;3ds m...
-
-
冰波童话龙系列 打雷龙
冰波编2012 年出版23 页ISBN:9787535873767冰波童话中有很多形象都是独创的,比如说龙系列童话中虚拟的数十种龙的形象。这些龙,既非远古的恐龙,也非中国古代的龙,而是作者夸张出来的幻想动物,比如青蛙龙、大嘴巴龙、喷嚏龙、捉鼠龙、金钱龙、、大头龙、吹...
-
冰波童话龙系列 大角龙
冰波编2012 年出版23 页ISBN:9787535873705冰波童话中有很多形象都是独创的,比如说龙系列童话中虚拟的数十种龙的形象。这些龙,既非远古的恐龙,也非中国古代的龙,而是作者夸张出来的幻想动物,比如青蛙龙、大嘴巴龙、喷嚏龙、捉鼠龙、金钱龙、大头龙、吹喇...
-
冰波童话龙系列 吹气龙
冰波编2012 年出版23 页ISBN:9787535873743冰波童话中有很多形象都是独创的,比如说龙系列童话中虚拟的数十种龙的形象。这些龙,既非远古的恐龙,也非中国古代的龙,而是作者夸张出来的幻想动物,比如青蛙龙、大嘴巴龙、喷嚏龙、捉鼠龙、金钱龙、大头龙、吹喇...
