剧情呢 国产剧 港剧 泰剧
创建时间 资源类别 相关度排序
共找到 8648 与交互式定理证明与程序开发 相关的结果,耗时3 ms rss sitemap
标签:政治种种, 原作名:Cold War, Hegemonic Order and Cross-Strait Foreign Relations
作者:蔡東杰 出版年月:2019-05-01 … 页数:None页 最新访问:2020-03-01 … 网友评分:
经典好书《冷戰、霸權秩序與兩岸外交》读书内容简介:Y隨著中國全球影響力與日俱增,我們既須探究其內涵,更需要積極尋找更有意義的客觀切入點,纔能深入理解其未來前景。本系列將透過兩千年、四百年、一百年之不同長度視野,由「大歷史」角度重構中國歷史進程。本書即為此系列...详情
标签:建筑, 原作名:
作者:程大锦 出版年月:2020-02-20 … 页数: 456页 最新访问:2020-03-09 … 网友评分:
经典好书《建筑:形式、空间和秩序(第4版 附光盘)》读书内容简介:计基础语汇的经典入门书,初版三十多年来一直广受好评,被誉为“建筑专业的**”。众多建筑专业师生、建筑师皆从《建筑:形式、空间和秩序(第4版)》中获得重要启发与设计灵感。全书内容涵盖了建筑历史、建筑理论和设计作品,堪称一部图文并茂的建筑百科宝典。这本经...详情
标签:建筑,建筑理论,建筑设计,空间,设计,建筑学,老师强烈推荐的。,Architecture, 原作名:
作者:程大锦 出版年月:2020-02-20 … 页数: 386页 最新访问:2020-03-10 … 网友评分: 8.8
经典好书《建筑:形式、空间和秩序》读书内容简介:坠,是各个时代的建筑人共同的案头读物,被誉为“建筑专业的圣经”。许多建筑师、建筑专业师生皆从本书中获得重要启发。书中每页严谨编排的手绘图文都自成一帧精彩的作品,令人品味再三仍有所得。全书内容涵盖了建筑理论、历史和设计作品,堪称一部图文并茂的建筑百科宝...详情
标签:嵌入式,μC/OS-Ⅱ,操作系统,软件工程,计算机,嵌入式开发,我的必读书目,μC\OS-Ⅱ, 原作名:
作者:周航慈 出版年月:2020-02-20 … 页数: 265页 最新访问:2020-03-14 … 网友评分: 8.0
经典好书《基于嵌入式实时操作系统的程序设计技术》读书内容简介:版)》介绍了在“嵌入式实时操作系统”环境下的程序设计技术,共分15章。内容有绪论、建立开发环境、有关任务的基本知识、任务设计、中断服务程序设计、行为同步、资源同步、数据通信、时间管理、采样任务设计、串行通信任务设计、键盘任务设计、显示任务设计、嵌入式...详情
标签:计算机科学,形式语义,编程语言,计算机,程序设计语言,编程,理论,语义, 原作名:The Formal Semantics of Programming Languages
作者:Glynn Winskel 出版年月:2020-02-20 … 页数: 283页 最新访问:2020-05-23 … 网友评分: 7.9
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。   本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情
标签:建筑,建筑设计,建筑理论,建筑学,设计,空间,Architecture,自学, 原作名:
作者:程大锦 出版年月:2020-02-20 … 页数: 416页 最新访问:2021-06-06 … 网友评分: 9.1
经典好书《建筑:形式、空间和秩序》读书内容简介:基础语汇的经典入门书,初版三十多年来一直广受好评,被誉为“建筑专业的圣经”。众多建筑专业师生、设计师皆从《建筑:形式空间和秩序(第3版)》中获得重要启发与设计灵感。全书内容涵盖了建筑历史、建筑理论和设计作品,堪称一部图文并茂的建筑百科宝典。这本经典的...详情
标签:交互设计,用户体验,Web设计,互联网,设计,设计模式,产品经理,UI, 原作名:The Design of Sites: Patterns for Creating Winning Web Sites, 2nd Edition
作者:杜月 (Douglas K.Van Duyne) 出版年月:2020-02-20 … 页数: 628页 最新访问:2020-03-04 … 网友评分: 7.2
经典好书《网站交互设计模式》读书内容简介:家和发明家,是Naviscent(—家网站研究和设计公司)和DuneDesignGroup(—家战略数字产品设计公司)的创办人和负责人之一,也是NetRaker有限公司的共同创办人和CEO。该公司是在线可用性和市场调研方面的先锋,其团队已经为包括MB...详情
标签:计算机,图形学, 原作名:
作者:Edward Angel著 出版年月:2020-02-20 … 页数: 521页 最新访问:2020-03-07 … 网友评分:
经典好书《交互式计算机图形学》读书内容简介: 交互式计算机图形学:基于OpenGL的自顶向下方法,ISBN:9787302123903,作者:(美)思詹(angel, E.)著作者简介详情
标签:印尼, 原作名:
作者:无 出版年月:2020-02-20 … 页数:None页 最新访问:2020-04-10 … 网友评分:
经典好书《中国印尼人文交流蓝皮书:中国与印度尼西亚人文交流发展报告(2019):以教育为主题》读书内容简介: 作者简介详情
标签:西嶋定生,東國漢學,日本漢學,日本汉学,日本中古史研究,日文专著,历史, 原作名:
作者:西嶋定生 出版年月:2020-02-20 … 页数: 328页 最新访问:2021-02-19 … 网友评分:
经典好书《西嶋定生東アジア史論集:第一巻 · 中国古代帝国の秩序構造と農業》读书内容简介:の専制国家の基本的な支配理念を皇帝による「個別人身的支配」と把えた理論は,西嶋中国学の最も大きな柱である.本巻はこの学説の基礎となった論稿を収録するとともに,氏の研究の出発点に位置して若き日の面目を伝える,棉工業を中心とした明代農業に関する論文を併載...详情