经典好书《交互式定理证明与程序开发》读书内容简介:算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》给出了大量的例子，所有例子都町以在计算机上执行。从《交互式定理证明与程序开发：Coq归纳构造演算的艺术》配套网站可...详情

影片剧情摘要:调查一宗巨窃案。神偷阿空（许不了饰演）与乡巴佬（柯受良）混骗度日，偶然得知巨窃赃款藏于某公园之中。众人闻后财迷心窍……高鸿云此时也起贪念，欲将赃款独占，众人心有不甘，展开追逐。结果汽车冲入大海，钞票满天飞舞，随波即逝。本片以喜剧手法处理，告戒人们黄金...详情

影片剧情摘要: 家住巴尔的摩的胖女孩翠茜怀揣明星梦想，一心想要名扬四海，但却因为外貌因素频频受挫。时间适逢上世纪60年代，美国黑人运动如火如荼地开展着，电视秀也遭受波及。翠茜能否在新旧两股势力的博弈中之中找到属于自己的位置并实现自己的梦想呢。 详情

影片剧情摘要:饰）刚刚成为武当派的新掌门人，藉此良机，他奉紫阳道长之命前往京城进奉红丸。谁知巨阉魏忠贤（倪大红饰）从中作梗，用假红丸毒死登基不久的明光宗，之后把持朝政，派出锦衣卫追杀卓一航。与此同时，川陕副将金独异（赵文卓饰）图谋害死卓仲廉，栽赃救助灾民的魔教女子...详情

影片剧情摘要:远足露营，回到家时发现澳大利亚已经陷入战争，他们不得不拿起武器展开反击……　　艾利和自己的好朋友奥莫、塔卡姆、凯文、科瑞、罗比恩和菲奥娜一起去野营,一个星期之后,他们从野营地归来。　　可是当他们回到城市之后,却发现城市里人在不断地失踪,人们喂养的宠物...详情

影片剧情摘要:、零零财是宫廷四大高手，专职保卫皇帝（张达明饰）的安全。虽号称四大高手之一，零零发实际上只会搞些小发明完全不会武功，某次因为未完成皇帝交办的捉拿江湖四大怪杰的任务，他被开除出宫。回家后，零零发开了一家妇科诊所，时常会用一些小发明讨得老婆（刘嘉玲饰）心...详情

影片剧情摘要:美伢（楢桥美纪配音）被一群神秘人物绑架，醒来之后发现身处一间神秘的基地之内，原来，这里是名为“温泉G组”的秘密组织，意在保护对于日本来说十分珍贵的温泉。然而，横空出世的污垢达人博士（家弓家正配音）企图利用“地球温泉计划”将温泉G组彻底击垮。 ...详情

影片剧情摘要:eofdepression.TheyspendmostofthetimeinHellwhilstthewarragesonoutsideinWirraweeandAustralia.Withrelationshipsbeginningtogrowan...详情

影片剧情摘要:perreporter(DickPowell),eagertoscoopthecompetition,wisheshecouldknowthenewsbeforeithappens.Amysteriousoldman(JohnPhilliber)gr...详情

电视剧【大军师司马懿之军师联盟剧情介绍】剧情介绍:下大乱。一代枭雄曹孟德（于和伟 饰）在逐鹿的群雄中间声名鹊起。他将落难的献帝刘协接到许都，以天子威名号令诸侯，更渐渐滋长着一颗霸主的不臣之心。在毫不留情地铲除异己的同时，曹丞相遍觅孝廉贤良，唯才是举，从早期的荀彧，到之后的荀攸、杨修（翟天临 饰），均...详情