共找到 4162 与RISC-V处理器 相关的结果,耗时2 ms
标签:数理逻辑,计算机科学,计算机,逻辑,数学,逻辑学,推理,模型检测,
原作名:
作者:哈斯
出版年月:2020-02-20 …
页数: 277页
最新访问:2020-05-23 …
网友评分: 7.1
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...
详情
标签:青铜器,古文字,诗书礼乐中的传统——陈致自选集,小学,古文字与青铜器论集,古文字与青铜器,出土文献,先秦史,
原作名:
作者:张懋鎔
出版年月:2020-02-20 …
页数:None页
最新访问:2020-05-23 …
网友评分:
经典好书《古文字与青铜器论集 (第四辑)》读书内容简介:本著作,与前三本论文集内容相仿,仍然是研究中国古代的青铜器及其铭文。主要是作者近四年来的新作。书中既有关于新出青铜器意义价值的探讨,也有结合其它青铜器,对某一类、某一地区、某一国族、某一时段的青铜器作综合研究的文章。并通过对青铜器形制、纹饰、铭文、铸...
详情
标签:陶瓷,瓷器,鉴定,耿宝昌,明清瓷器,古玩学!,明清,文化,
原作名:
作者:耿寶昌
出版年月:2020-02-20 …
页数: 522页
最新访问:2020-05-24 …
网友评分: 9.6
经典好书《明清瓷器鉴定》读书内容简介: 作者简介
详情
标签:心理学,心理动力学,精神分析,心理治疗,心理咨询与治疗,心理咨询,心理,精神分析入门,
原作名:Concise Guide to Psychodynamic Psychotherapy:Principles and Techniques of Brief,Intermittent,and Long-term Psychodynamic Psychotherapy
作者:Robert J.Ursano.M.D.
出版年月:2020-02-20 …
页数: 201页
最新访问:2020-05-25 …
网友评分: 9.0
经典好书《心理动力学心理治疗简明指南》读书内容简介:程心理动力学心理治疗的原则和技术》第3版较第2版增加了不少篇幅,在相同的章节里内容也有了很大丰富。由于是一部临床实践的指导用书,《心理动力学心理治疗简明指南:短程、间断和长程心理动力学心理治疗的原则和技术》紧紧围绕与临床实践相关的主题展开介绍,从“为...
详情
标签:健身,健康,运动,锻炼,徒手,健美,美国,科普,
原作名:You Are Your Own Gym
作者:马克·劳伦
出版年月:2020-02-20 …
页数: 223页
最新访问:2020-05-25 …
网友评分: 8.6
经典好书《无器械健身》读书内容简介:7530459928,作者:(美)马克·劳伦,乔舒亚·克拉克 著 蔡杰 译作者简介马克?劳伦是美国军方的体能训练专家、特种作战管理者、三项全能运动员,还是一个顶级的泰拳手。他曾经有效地训练过近1000名士兵,使他们达到了最...
详情
标签:鸟山明,阿拉蕾,漫画,日本漫画,鳥山明,日本,除《五星物语》和《人间昆虫记》外漫画均不评星仅标签注明之3星,漫畫,
原作名:
作者:[日]鸟山明
出版年月:2020-02-20 …
页数: 200頁页
最新访问:2020-05-25 …
网友评分: 9.4
经典好书《機器娃娃(7)》读书内容简介: 作者简介
详情
标签:鸟山明,漫画,阿拉蕾,日本漫画,鳥山明,日本,除《五星物语》和《人间昆虫记》外漫画均不评星仅标签注明之3星,漫畫,
原作名:
作者:[日]鸟山明
出版年月:2020-02-20 …
页数: 192頁页
最新访问:2020-05-25 …
网友评分: 9.1
经典好书《機器娃娃(10)》读书内容简介:本爱知县人,生于1955年4月5日。 1974年从县立工业高中设计科毕业,进了一家广告设计公司,从事设计工作。由于他经常迟到,只干了3年就辞职了。有一天,他在茶馆里看见『少年跳跃』周刊,被漫画征稿的奖金吸引住了,满心欢喜地把应征稿...
详情
标签:鸟山明,漫画,鳥山明,阿拉蕾,日本漫画,日本,除《五星物语》和《人间昆虫记》外漫画均不评星仅标签注明之3星,漫畫,
原作名:
作者:[日]鸟山明
出版年月:2020-02-20 …
页数: 192頁页
最新访问:2020-05-25 …
网友评分: 9.3
经典好书《機器娃娃(5)》读书内容简介:本爱知县人,生于1955年4月5日。 1974年从县立工业高中设计科毕业,进了一家广告设计公司,从事设计工作。由于他经常迟到,只干了3年就辞职了。有一天,他在茶馆里看见『少年跳跃』周刊,被漫画征稿的奖金吸引住了,满心欢喜地把应征稿...
详情
标签:鸟山明,漫画,鳥山明,阿拉蕾,日本漫画,日本,除《五星物语》和《人间昆虫记》外漫画均不评星仅标签注明之3星,漫畫,
原作名:
作者:[日]鸟山明
出版年月:2020-02-20 …
页数: 200頁页
最新访问:2020-05-25 …
网友评分: 9.2
经典好书《機器娃娃(3)》读书内容简介:本爱知县人,生于1955年4月5日。 1974年从县立工业高中设计科毕业,进了一家广告设计公司,从事设计工作。由于他经常迟到,只干了3年就辞职了。有一天,他在茶馆里看见『少年跳跃』周刊,被漫画征稿的奖金吸引住了,满心欢喜地把应征稿件送去,却落...
详情
标签:鸟山明,漫画,阿拉蕾,日本漫画,鳥山明,日本,除《五星物语》和《人间昆虫记》外漫画均不评星仅标签注明之3星,漫畫,
原作名:
作者:[日]鸟山明
出版年月:2020-02-20 …
页数: 192頁页
最新访问:2020-05-25 …
网友评分: 9.3
经典好书《機器娃娃(8)》读书内容简介: 作者简介
详情