交通运输前沿技术导论.pdf
本书结合新兴的物联网、云计算、大数据、人工智能、移动互联网等技术，以智慧交通为核心，结合世界范围内交通运输前沿技术及发展趋势，在深入分析国内交通运输行业发展的基础上，重点针对智能交通运输系统的体系框架、信息平台、车联网技术及智慧高速公路应用实践等方面，介绍交通运输的相关前沿技
张健
逻辑公式的可满足性判定 : 方法、工具及应用.pdf
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应用。
四十多岁的张健在一家大银行做经理助理，已经11年了。长期以来，张健的工作成绩平平，以致没有一个分行经理愿意要他给银行老总当助理，老总经常把他安排到新开出的分行去，设法耙他调开。所以，他11年来换了8个分行。张健被调到第九个分行做经理助手时，人家很快了解了他以前的工作档案，尽管这位经理不情愿接收他，但还是愿意尝试一下对他实行激励。张健这个人经济上不紧张，他已继承了一套舒适的住宅，妻子在家料理，孩子已大学毕业，有了收入不错的职业，所以，他是满足的。 这位经理在与张健相处的一段时间里，两次都想解雇他。有时候
四十多岁的张健在一家大银行做经理助理，已经11年了。长期以来，张健的工作成绩平平，以致没有一个分行经理愿意要他给银行老总当助理，老总经常把他安排到新开出的分行去，设法耙他调开。所以，他11年来换了8个分行。张健被调到第九个分行做经理助手时，人家很快了解了他以前的工作档案，尽管这位经理不情愿接收他，但还是愿意尝试一下对他实行激励。张健这个人经济上不紧张，他已继承了一套舒适的住宅，妻子在家料理，孩子已
对话中国 交际文化篇.pdf
《对话中国》是一套面向汉语学习者全面解读中国文化的系列读物，共4册，包括《物态文化篇》《心态文化篇》《行为文化篇》及《交际文化篇》。全套图书以外国人普遍关注的中国文化问题为线索，以对话和案例分析的形式，回答中外文化交流中的问题，语言通俗易懂，图片精美生动，使受众能够更清晰地了解中国以及中国人的生活。本册为《交际文化篇》，通过阐释外国人与中国人交往中遇到的各种困惑和误会，从礼尚往来、做客宴请、社会
- «
- »