经典好书《电机电磁场的分析与计算》读书内容简介:大学(原哈尔滨电工学院)教授，中国电工技术学会名誉理事。1953年毕业子东北工学院，1955年毕业于哈尔滨工业大学研究生班。1955，1962年在哈尔滨工业大学任讲师，1962-1978年任副教授，1979年在哈尔滨电工学院任教授至今。长期从事电机专...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《云计算安全与隐私》读书内容简介:给云计算时你所面临的风险，以及为了保障虚拟基础设施和网络应用程序的安全可以采取的行动。本书是由信息安全界知名专家所著，作者在书中给出许多中肯的忠告和建议。本书的读者对象包括：IT职员、信息安全和隐私方面的从业人士、业务经理、服务提供商，以及投资机构等...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《昆侖（貳）天機算盡》读书内容简介:輸工具木牛流馬、無需人力操縱的千里船，還有立著八百聖賢像、暗藏高深武學的兩儀幻塵陣，大開眼界！天機宮的武學均以算術為基礎，識字無多的梁蕭又該如何入手？　天機宮主花無媸以傳授「太乙分光劍」為誘餌，誘騙梁蕭試解天機宮的至高難題「天機十問」，面對這古往今來...详情

经典好书《计算机组成与设计：硬件/软件接口》读书内容简介: Pardee Professor of Computer Science, Emeritus at the University of California at Berkeley, which he joined after graduating...详情

经典好书《传统与个人才能》读书内容简介:-1965)，诗人、剧作家和文学批评家，诗歌现代派运动领袖。出生于美国密苏里州的圣路易斯。一九二二年发表的《荒原》为他赢得了国际声誉，被评论界看作是二十世纪最有影响力的一部诗作，至今仍被认为是英美现代诗歌的里程碑。一九二七...详情

电视剧【算盘武士风之市兵卫SP天空之鹰】剧情介绍:帰ってくる！ 　　市兵卫の今度の主は息子の死の真相を探る老侍。そこには莫大な借财をめぐる藩ぐるみの阴谋...详情

电视剧【天机算】剧情介绍: 中国奇书《推背图》是唐初李淳风与袁天罡合撰，预言历代变革之事，准确灵验。唐太宗翻看此书后，大为赞赏，重赏李淳风，袁天罡因妒忌李淳风夺其功，怀恨在心。太宗死后，两人更将《推背图》图、文分家，两家成为世仇。而《推背图》从此绝迹民间。数百年后，两家后人阴差阳错结成夫妇……详情

经典好书《虚拟化与云计算》读书内容简介:技术——虚拟化与云计算。云计算的目标是将各种IT资源以服务的方式通过互联网交付给用户。计算资源、存储资源、软件开发、系统测试、系统维护和各种丰富的应用服务，都将像水和电一样方便地被使用，并可按量计费。虚拟化实现了IT资源的逻辑抽象和统一表示，在大规模...详情