科技工具书
-
工程建设法规 马俊文马俊文暂缺简介... -
测绘行业标准 倾斜数字航空摄影成果质量检验技术规程中华人民共和国自然资源部暂缺简介... -
中国陆相油藏开发地震技术与实践撒利明，甘利灯，曹宏本书在分析中国陆相油藏基本地质特征与开发地震技术需求的基础上，全面介绍了地震分辨率、地震岩石物理和地震反演等开发地震技术基础；系统总结了面向开发地震的资料采集、保幅与高分率处理和井控构造解释技术，面向油藏的井震藏一体化技术，以及面向开发工程的工程参数地震预测、地震导向钻井和微地震监测技术；深入剖析了陆相油藏开发不同阶段的5个典型应用实例；提出了开发地震技术发展展望。全书比较全面地展示了中国陆相油藏开发地震理论基础、主体技术、应用效果和发展方向。 本书可供地球物理勘探、油气藏开发与工程技术人员及相关专业的师生参考使用。 -
中国当代青年建筑师XI何建国《中国当代青年建筑师XI（上册）》收录了：中国电建集团华东勘测设计研究院有限公司/陈楠、中国美术学院风景建筑设计研究总院有限公司/陈夏未、甘肃省建筑设计研究院有限公司/党晓晖、华东建筑设计研究院有限公司/丁荣、汉嘉设计集团股份有限公司/盖东民、中国建筑设计研究院有限公司/关午军、同济大学建筑设计研究院（集团）有限公司/胡仁茂、重庆市设计院有限公司/黄非疑、中南建筑设计股份有限公司/姜俊杰、中国建筑西北设计研究院有限公司/雷斌、上海建筑设计研究院有限公司/李定、中国建筑上海设计研究院有限公司/李犁等一批优秀青年建筑师的最新作品。本书详尽介绍了所收录建筑设计院及设计师的概况、业绩及设计作品，作品内容涵盖教育建筑、医疗建筑、办公建筑、商业建筑、文化建筑，体育建筑等各种类型的建筑设计，以图文并茂的形式进行诠释，经济技术指标及设计风格解读对于建筑设计师有极高的参考价值。 -
区块链技术基础教程聂长海，陆超逸，高维忠，郑志强本书首先介绍了区块链的起源、概念、技术和特征，并介绍了密码学原理和共识机制等基础理论，在比特币、以太坊和超级账本等典型实践的基础上介绍了一般的区块链技术架构，还专门介绍了公有链、区块链即服务（BaaS）等区块链技术，然后特别介绍了区块链安全与监管、区块链的测试与验证、区块链技术的一些应用及存在的问题，最后介绍了区块链的发展趋势。本书适用于计算机相关专业的高校师生，其中一些内容（如加密学和区块链应用项目开发）涉及高等代数、计算机编程和软件工程开发等知识，因此更适合作为研究生课程的教材。 -
胆汁酸在动物养殖中的应用胡祥正暂缺简介... -
加幻方与乘幻方构造法王存吉，李健美本书是关于构造方阵型加幻方与乘幻方的方法介绍。这套方法易学易记，并经过数学论证，可以较好地解决幻方构造入门难和构造难的问题。幻方源于我国2000多年前的洛书。公元13世纪，宋代数学家杨辉对幻方进行了系统研究，创造了“斜排易更”构图法，至今仍是构造奇数阶幻方的最简明方法。与其相比，本构造法适用范围广，操作灵活，且经过数学论证，适用于中小学生（四则运算、平均值、参数方程、方程组、数学建模等），学编程的大学生以及工艺品生产商等。 -
建筑工程施工信息化技术应用管理研究子重仁在信息技术发展的带动下，我国的建筑工程施工信息化建设得到了飞速的发展与进步。建筑工程施工信息化技术的应用管理是一个非常复杂的过程，涉及到人员、设备、材料、资金等内容，做好该方面的工作，对于建筑工程的施工质量和施工安全都非常重要。《建筑工程施工信息化技术应用管理研究》根据工程的特点与工程的施工过程，分为安全技术防范、防火报警消防、综合布线、建筑设备监控、通信网络、有线电视、BIM技术应用等七个项目来实施。在建筑工程施工信息化技术的理论与实践探索等方面的内容进行了较为系统、全面地探讨，本书深入浅出、结构合理、有利于帮助读者加强理论修养。本书既适用于建筑电气、建筑设备、消防工程等专业学生的学习，也适合电子类专业和希望从事建筑工程施工信息化管理的人士阅读，尤其适合从事相关领域的管理人员和技术人员阅读。 -
复杂软件系统可信性分析与验证方法符宁以通信、存储和计算为核心的信息基础设施已经渗透到政治、经济、军事、文化以及社会生活的各个层面，成为当代生产力发展和人类文明进步的强大动力。软件是信息基础设施的灵魂，随着人们对功能需求的不断增加，软件系统变得日趋庞大和难以驾驶，缺陷和漏洞难以避免，系统越来越脆弱，很多时候不以人们期望的方式工作，经常发生各种故障和失效，直接或间接地给用户带来损失。在开放动态网络环境中，如何保证复杂软件系统的可信性是近年来学术界和工业界非常关注的问题。本书以开放网络环境下复杂软件的可信性需求为背景，系统的研究和论述复杂软件系统的可信性分析与验证的关键性理论和技术问题。重点论述了复杂软件系统及其组合可信性质评价方法、软件系统过程建模与验证、软件系统过程可信性质建模与分析、组合软件多维可信可信性保障方法等问题。并结合航空电子软件系统探讨了相关方法的实际应用。论著以国家关键应用领域中复杂软件系统的可信性主题为主攻目标，分析、研究和解决相关科学问题，旨在为提高国家重大工程中的软件可信度提供科学支撑。著述从可信性分析的角度入手系统论述复杂软件系统的分析与验证方法；系统的论述了形式化方法在复杂软件系统中建模、分析与验证的理论和方法；所论述的理论和方法具有一定的理论创新性；并结合航空电子软件系统这一典型的复杂软件系统进行所论述方法的实例分析，具有较高的理论意义和应用价值。本书面向软件工程、软件可信性方向的研究人员，软件工程方向的高年级研究生，和工业界对软件产品高可靠性有要求的技术人员。 -
临床护理技术与应用史敏 等 编暂缺简介...
