经典好书《计算机网络――自顶向下方法与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）著；梅琼译；梅琼译作者简介详情