数理逻辑：基本原理与形式演算 【数理化】

数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...

会计电算化原理与实训 【经济】

本书根据新会计准则组织编写。本书是全国高职高专教育“十一五”规划教材。本书注重理论与实践的深度融合，并依据新会计准则的实施而编写，具有实现性先进性和系统性。参加本书编写的老师均为长期从事会计教学...

单片机原理与接口技术 【工业技术】

本书作为电子、通信、计算等专业的技术基础课程，其内容的安排紧跟IT行业的发展方向。主要内容有：单片机的发展和应用总括，MCS-51系列单片机基本组成以及工作原理（包括CPU的结构、存储器、时钟电路以及时序、输...

设计与对话：127位室内设计师访谈录 【工业技术】

本书介绍室内设计理念，方法等。

室内装饰设计与课程设计题型解析 【工业技术】

本书概述介绍了建筑设计的基本知识，论述了室内设计与建筑设计的密切关系，讲述了如何将室内设计方法表现于室内设计的技巧和实用方法。

经典报纸版式设计 报纸的版式设计与品牌提升 【工业技术】

本书汇集了大量国内外优秀的报纸版面设计作品，还逐一进行作品点评分析，归类总结。

物权变动的模式原理与制度选择 【政治法律】

本书在反思传统物权变动理论的基础上，从动态和静态双重视角分析了物权的含义；界定了物权变动模式理论的理论框架和制度体系，建立了以物权、物权行为、公示公信、善意取得、无权处分为中心的制度分析框架。对我...

数据库系统原理与应用 Oracle版 【工业技术】

本书是按高职高专和应用型本科计算机类相关专业对数据库课程的要求进行编写的，并以Oracle 10g中文版作为背景，通过大量实例系统地介绍了数据库的基本概念、数据库设计理论及数据库应用知识。以原理为基础，以应...

单片机原理与接口技术 【工业技术】

本书以MCS-51为基础，详细介绍了MCS-51系列单片机的硬件结构，指令系统和各种应用程序的设计方法。全书共分15章，内容包括单片机的基本硬件结构、C程序的设计、C51 函数、单片机的最小系统及系统扩展、输入/输出...

城市的想像 建筑设计与城市设计作品集 （上册） 【其他书籍】