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

经典好书《证券组合定量管理》读书内容简介:策略》内容简介：证券市场的深刻理解与专业的定量管理技术相结合，从基本原理到技术规范，涵盖各种证券组合定量策略与管理方法。这是一本必备理论指南，阐释了对证券市场的深刻理解，讲述构建和管理一个高收益证券组合的全过程。这是一本实用性很强的工作手册，既可以服...详情

经典好书《遇上是劫数爱上是注定（全2册）》读书内容简介:：为了报复抛弃她们母女的父亲、为了教训同父异母的“妹妹”，为了自己赖以生存的一块地，所以她民甘情愿地陪他演这出戏，她以他最爱的温柔面目，在他面前巧笑倩兮，做一个善解人意的女孩，做一个他以为的福星。她用尽心计，制造各种机会，吸引他的注意——只为能将他勾...详情

影片剧情摘要: 影片讲述德川时期发生的两个残酷故事： 详情

影片剧情摘要: 貝拉.塔爾(本片監製)戰友的作品，別指望會走正途。 详情

影片剧情摘要:好友安道全那里得知知府指使手下劫持了朝廷贡品“玉灵芝”，王定六早就有投奔梁山之意，灵机一动想将“玉灵芝”作为见面礼送与受伤的宋江。素有“活闪婆”之称的王定六将“玉灵芝”轻松窃取，不料知府动用一切手段追寻，安道全也因此被王定六连累。最终，两位侠士不甘受...详情

影片剧情摘要:an）的受严格统治而失去人性的社会，国家的上层建筑为了监视人民控制思想，将眼线散布在生活、工作场所，甚至网络上。克里斯托弗·瓦尔兹饰演一名性格古怪的计算机天才QohenLeth，然而生活本来按部就班的他注意力却渐渐为一系列“虚拟性骚扰”所分散，并且“...详情

影片剧情摘要:ceStamp饰）的到来彻底改变了一个家庭的生活，虽然这个访客没有身份，没有历史，甚至连名字都没有，但家庭中的每一个人都被他诱惑为他癫狂。妻子（肖瓦娜·曼加诺SilvanaMangano饰），丈夫（马西莫·吉洛提MassimoGirotti饰），女儿...详情

影片剧情摘要: 前传电影敲定将由《帕丁顿熊》导演保罗·金执导，不过他手头正忙于真人版《木偶奇遇记》的项目。 详情

电视剧【丑闻：极具冲击性与不道德的事件剧情介绍】剧情介绍: 因建筑坍塌而失去儿子的父亲的儿子,杀死了绑架,他儿子长大,自己的父亲,在得知诱拐犯的内容和生活之后的报复,克服伤痛和相关的故事。详情