城市建筑学是研究城市的建筑设计与建筑群的规划设计及其环境的科学。
本书主要从航空装备任务可靠性工作需求出发，介绍任务可靠性设计与验证基础理论、关键技术方法及典型案例。全书共分７章，其中，第１章介绍任务可靠性基本内涵及国内外相关研究进展，第２章介绍任务可靠性设计与验证技术的理论基础、实现原理与工作流程，第３章介绍一种数字化环境下基于功能模型的任务可靠性设计分析方法，? 第４~第６章重点介绍针对工程中３类复杂系统的任务可靠性建模方法，包括动态可重构航电系统的任务可靠性建模与评估方法、复杂机电系统的任务可靠性建模与评估方法、多阶段系统任务可靠性建模与评估方法，第７章介绍一种基于运行
![安腾体系结构：理解64位处理器和EPIC原理 [英]埃文斯,[英]特林普尔 著 清华大学出版社【正版书】](http://img3m0.ddimg.cn/1/26/11765446210-1_l.jpg)
本书全面介绍了新型的64位安腾体系结构及其具有突破性的性能。通过使用标准命令行工具和大量实例，作者循序渐进地介绍了安腾汇编语言，以及安腾显式并行指令计算（EPIC）的指令集、寻址、寄存器栈引擎、谓词、I/O、过程调用、浮点操作等内容，并结合现代计算机体系结构的发展，详细阐述了安腾体系结构设计。每章都包括翔实的数字、论述以及编程练习，并且提供了大量的参考书目和丰富的网上资源。 本书既可作为计算机及相关专业师生学习计算机体系结构或汇编语言的教材，也是有关研究人员系统了解安腾体系结构的很好参考书。
![混凝土构造手册 [德]金德－巴尔考斯卡斯 著；袁海贝贝 译 9787561131572 大连理工大学出版社【售后无忧】](http://img3m1.ddimg.cn/9/33/12342478311-1_l.jpg)
