《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征,并且适应计算机科学的要求,《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演,以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。
《你就适可而止吧》内容简介:自以为聪明的吝啬,送礼就送一箱奶。一言不合就毒舌,情伤要绝食?跳楼吧!比较快。维持表面风光生活
资深Linux/Unix系统管理专家兼架构师多年一线工作经验结晶,51CTO和ChinaUnix等知名社区联袂推荐。结合实际生产环境,从Linux虚拟
H.264视频编码标准被称为新一代视频编码标准。《新一代视频压缩编码标准:H.264/AVC(第2版)》在介绍数字视频和视频编码基本原理的
《伤寒论》内容简介:东汉张仲景的《伤寒论》是现存早的中医临床经典著作,它所确立的六经辨证论治体系,开拓了中医临证医学的新纪
《风物》内容简介:《风物》是有名摄影随笔作家青简对中国地域风俗的可视化记录。文稿集中选取了拥有有中国特点的文化美学关键词“
TheauthorofFreeCultureshowshowweharmourchildren—andalmostanyonewhocreates,enjoys...
《趣学Python算法100例》内容简介:本书从一些经典算法出发,为读者展示了100个Python趣味编程实例。本书共12章,涵盖趣味算法入门
《MATLAB小波分析超级学习手册》内容简介:本书对小波分析在MATLAB中的应用进行了详细的介绍,全书以小波为主题展开叙述,不仅对小
《Microsoft.NET框架程序设计》(修订版)是《微软.NET程序员系列》丛书之一,主要介绍如何开发面向Microsoft.NET框架的各种应用程
TheHyperTextTransferProtocol,orHTTP,isthebackboneoftheWorldWideWeb.HTTPisthelang...
互联网时代:全球第一部全面、系统、深入、客观解析互联网的纪录片 本书特色 全球**次全面、系统、深入、客观解析互联网中央电视台热播纪录片《互联网时代》同名书免费...
《古文观止》内容简介:《古文观止》是清人吴楚材、吴调侯编选的古代散文选本,原是为学生编的教材。书名中的“古文”意指明代归有
乍一看这本书的名字,ExpertoneononeJ2EEdevelopmentwithoutEJB并没有给人带来太冲击。毕竟关于J2EE的书太多了,而witho...
《手机摄影技巧150例》内容简介:本书内容涵盖手机摄影从前期到后期的150个技法,涉及手机拍摄基础、构图、用光技法以及人像、美食
《大数据云图》内容简介:★亚马逊、Google、IBM、Facebook、LinkedIn……超过一百家大数据公司的商业法则深度解密。教育、医疗、电
《DSP原理及其C编程开发技术》可作为电子、通信、自动化及计算机工程专业高年级本科生或研究生学习DSP的教材,也可作为专业工程技
《XilinxFPGA开发实用教程》系统讲述了XilinxFPGA的开发知识,包括FPGA开发简介、VerilogHDL语言基础、基于Xilinx芯片的HDL语...
《黄帝内经·望诊奇术》内容简介:★来自《黄帝内经》中数十种望诊智慧,不仅知面,更能知身体五脏六腑的盛衰 人的命、运,往往会反
Weareonthevergeofarevolution.Thewebisbecomingthemaindevelopingplatformandtheprim...
《上市公司股价崩盘风险研究》内容简介:“股价崩盘风险”是近年来财务学研究的一个热点问题。资本市场的有效运行关系到一国经济、