《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征,并且适应计算机科学的要求,《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演,以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。
《下一代产品开发:如何提高研发生产率降低成本和缩短开发周期》作者MichaelE.McGrath是国际上产品战略和产品开发领域久负盛名的专
《中国近代铁路事业管理研究》内容简介:本书是台湾学者张瑞德早年的著作,曾由台北“中研院”近代史研究所于1991年出版,列入该所
《用户体验草图设计工具手册(全彩)》是《用户体验草图设计》的配套阅读图书,将指导你如何一步一步地用草图来表达你的设计理念
《大数据与劳动力市场研究》内容简介:利用网络大数据开展就业市场的分析和预测,为政府提供决策咨询,其重要性无论如何强调,应当
《通信网理论基础(修订版)》系统介绍了通信网的理论基础。全书共分为6章,分别介绍了通信网的概念和网络的基本组成,网络的业务分
《C语言从入门到精通》从初学者的角度出发,以通俗易懂的语言,丰富多彩的实例,详细介绍了使用C语言进行程序开发应该掌握的各方
知识就是力量,信息就是能量,数据就是变量。本书全面阐述了人类从IT时代走向DT时代的基本特征和规律。《DT时代》认为,大数据正
社会网络分析在社会和行为科学巾应用甚广,如经济学、市场营销以及工业工程。社会网络的视角主要关注于社会实体之间的关系。具体
学术理论研究著作集萃.理工学科:基于本体数据库的多标签预测模型及生物医药数据挖掘研究 内容简介 《基于本体数据库的多标签预测模型及生物医药数据挖掘研究》共9章。...
Printedentirelyincolor,withhelpfulfiguresandsyntaxcoloringtomakecodesamplesappea...
《一本书读通历史典故》内容简介:华夏民族五千年悠久历史,先人们为我们留下了宝贵的文明遗产。《一本书读通历史典故》采用严谨平
埋弧焊X射线焊缝图像缺陷检测算法研究 本书特色 1)基于x射线焊缝图像的埋弧焊焊缝缺陷自动检测研究现状;2)基于射线缺陷检测的概念、焊缝缺陷检测中常用的特征值,...
虚拟货币现在已经渗透到了世界的每个角落。从《暗黑破坏神3》里的金币、Facebook积分到飞行常客里程数,都是虚拟货币的多种形式。
《温故(之六)》内容简介:《温故》是一种陆续出版的历史文化读物。以今天的视角来追怀与审视过去,并为当下的生存与未来的发展提
《CFA一级闪卡》内容简介:作者根据CFA考试大纲,系统地梳理了CFA一级考试的知识点与复习重点,帮助所有考生迅速掌握CFA一级知识体
GPRS技术继承和发展了GSM体系结构,并为第三代移动通信技术的发展提供了基础。《通用分组无线业务(GPRS)技术与应用》结合GSM相关
《ASP.NET开发实战1200例(第1卷)》简介:《ASP.NET开发实战1200例》包括第I卷、第II卷共计1200个例子,《ASP.NET开发实战1200...
体现日本民艺大师柳宗理“实用之美”的白瓷酱油壶;传承两百年的小久慈烧煎茶碗;当代最受欢迎的工业设计大师马克·纽森充满未来
拍卖之王从0到190亿美金的2100天。EBAY,1995年从创始人皮埃尔·奥米达的梦想出发,如今已然成为:全球最大的电子交易市场,全球
消费已成为中国经济主要发展动力,进一步激活消费的消费金融也上升到国家战略,蕴含70万亿蓝海市场,一大批银行、证券、基金、保