经典好书《计算机网络――自顶向下方法与Internet特色(影印版)》读书内容简介:学阿默斯特分校的计算机科学系教授。他曾多次荣获杰出教师奖,并获得IEEE Taylor Booth教育奖章,还获得通气电气公司提供的研究基金、IBM教职员发展奖和Lilly教学奖。陈鸣,江苏无锡人,分别于1982、1988和1991年在...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
经典好书《Virtual.Lab Acoustics声学仿真计算从入门到精通》读书内容简介:声学仿真计算从入门到精通》重点介绍的LMS Virtual.Lab Acoustics软件是专门从事噪声分析的CAE软件。书中详细讲解了声学有限元方法和声学边界元方法。在传统振动声学问题的基础上,还重点介绍了气动噪声、随机声振、时域声学计算以及声线法...详情
从计量、叙事到文本解读 书籍
经典好书《从计量、叙事到文本解读》读书内容简介:整体,展示了作者学术研究方法的转变。这些文章涉及不同的主题,写作于不同的时期,在方法上都有一定的特点,体现了作者方法上的自觉,可以说是作者近三十年来学术探索的一个总结。从这本书我们可以看到作者从计量、叙事到文本解读的学术轨迹,从数据和社会结构的分析开...详情
影片剧情摘要:
《我才不会对黑崎君说的话言听计从真人电影》讲述电影改编自マキノ创作的少女爱情类漫画。因为父亲人事调动而开始了宿舍生活的由宇,本以为能够和白王子同居人兴奋,但却被人称黑恶魔的黑崎盯上。因为反抗黑崎而被夺取初吻,之后一直要对黑崎言听计从。
详情
影片剧情摘要:彦、元太随博士这日露营完毕,绕道参观西多摩市新建于富士山前的日本第一双塔摩天大楼,毛利小五郎恰也应双塔所有者、他的学妹常盘美绪之邀,携小兰、园子参加开幕典礼。美绪介绍下,他们认识以画富士山闻名的画师如月峰水、市议员大木岩松、双塔的设计者风间英彦(森谷...详情
亲爱的设计师 电视剧
电视剧【亲爱的设计师】剧情介绍:灿然执导,张佳宁、蒋毅、蒋方婷、盛冠森等领衔主演的中国首部时尚设计师写实现象大剧。亲爱的设计师剧情围绕着影子设计师沈天天(张佳宁饰)的时尚设计之路展开,因身世苦楚从小被李氏制衣集团老总李曼丽(何赛飞饰)收养,为报答恩情,甘当李曼丽亲生女儿唐果儿(蒋方...详情
影片剧情摘要:风编剧,许玮甯、莫子仪等主演。我的恋爱时代剧情以时尚设计为背景,用一种诙谐幽默的形式,以七个设计师之间的暧昧关系为主线,讲述了发生在小公司里明争暗斗的办公室故事,以及一场复杂搞笑的多角恋情。 在设计公司担任业务经理的霸子(莫子仪饰)为...详情
设计心理学 书籍
经典好书《设计心理学》读书内容简介: 设计心理学,ISBN:9787800739255,作者:(美)唐纳德·A.·诺曼(Donald A. Norman)著;梅琼译;梅琼译作者简介详情