李未著2008 年出版255 页ISBN：9787030200969
数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...
尼春雨，罗洪艳，姜彬编著2007 年出版682 页ISBN：7121037947
随着信息技术的飞速发展，越来越多的人在使用电脑进行学习、上网、玩游戏，或者管理日常工作事务等。但在使用过程中，电脑总难免会出现一些问题，如死机、蓝屏、内存不足及系统崩溃等。本书充分考虑到电脑在日常应...
浦东逻辑 浦东开发与经济全球化 the development of Pudong new area & the economic globalization
赵启正著2007 年出版306 页ISBN：7542624504
本书总结、介绍了上海浦东新区开发的经验，以及与经济全球化的关系。
2002-2006国家司法考试历年真题详析与对应考点示例 下
胡夏冰编著2007 年出版1356 页ISBN：9787802174511
本书在充分梳理历年真题的基础上，依据最新法律对其进行全新详解，引导正确的解题思路，细致归纳提炼法条法理精髓，并在研习大纲考点的基础上，对每个真题的考点处设置【示例】，力图让考生举一反三，对考点内容反复......
张玉鹏，宋文斐主编2016 年出版841 页ISBN：9787513044813
本书结合律师和咨询团队近百个PPP案例的实战经验，把PPP项目实践中可能遇到的法律、政策、操作指引、规范性文件汇编成册，以PPP项目实施中的四大法律关系即合同法律关系、物权法律关系、公司法律关系、行政法...
黄景发著2016 年出版199 页ISBN：9787513643207
个人如何成为网红品牌？个人成为网红品牌后，如何将自己的粉丝转化成忠实的消费者？如何参与到网红经济产业链？如何牵手企业品牌？如何创造自己的产品或服务品牌？企业如何借助网红宣传自己的品牌？企业老总是否可以......
（美）AdmirHadzic著；李泉主译2016 年出版470 页ISBN：9787565914027
引导读者逐步完成由传统神经阻滞到超声引导下神经阻滞的学习过程。本书重点放在了周围神经阻滞技术的清晰化、标准化和安全性方面。一个显著特征是紧密联系神经阻滞的基础与临床应用。该书既包含纽约局麻学...
树莓派3实战指南 手把手教你掌握Raspberry Pi3与Windows 10 loT Core项目开发
柯博文著2016 年出版386 页ISBN：9787302446922
马占国，王泽民著2016 年出版279 页ISBN：7564621664
本书主要内容包括：矿区煤岩物理力学特性、快速建井创新体系、浅埋薄基岩极厚松散煤层围岩控制体系、极厚煤层大采高大采放比综放开采技术、极厚煤层大采高综放开采安全保障体系。本书可供从事采矿工程及相关...
（印度）S.V.库卡尼，S.A.科哈帕得著；陈玉国译2016 年出版539 页ISBN：9787111539544
本书由2013年出版于美国的《Transformer Engineering:Design,Technology,and Diagnostics(Second Edition)》英文版译出，书中系统全面地介绍了变压器设计、技术与诊断的主要理论与应用。全书共15章，内容主要...
