面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
张秀华,张庆灵著2007 年出版182 页ISBN:9787030197528
本书针对非线性微分代数系统,介绍了非线性微分代数系统的稳定性,在无源分析和耗散性理论的基础上,给出了非线性微分代数系统的无源性的定义和研究的新理论和新的结果。主要内容包括:系统的介绍了非线性微分代数...
张藜总主编;罗兴波本册主编2017 年出版483 页ISBN:9787504671493
本册丛书记述了老科学家学术成长采集工程中入选的32位出生于20世纪初,从事气象、农业、动植物及医学专业的科学家学术成长经历和他们对新中国科技发展做出的卓越贡献。各篇文章都为采集工程各个采集小组根据...
杨兆升著2004 年出版294 页ISBN:711306275X
智能化共交通系统(APTS)是智能运输系统(ITS)的核心研究领域,其理信纸也是智能运输系统的基础理论。APTS主要实现对公交车辆动态监控、实时调度、科学管理等功能,从而达到提高公交服务水平的目的。《智能交通系统(I...
李燕萍主编2002 年出版461 页ISBN:7307035170
《人力资源管理》是现代管理学中重要的一个分支。也是我们重视人才地位的体现。逐渐的从管理学中分离出来成为一个全新的领域。本书对那些立志在人力资源领域工作,并努力成为专业人力资源管理者的人具有很重...
华侨大学哲学社会科学文库管理学系列 中国物流通道的区域空间效应
范月娇著2019 年出版292 页ISBN:9787520148269
本书以交通区位论、集聚经济理论、区域空间结构理论为指导,对物流通道的内涵、物流通道的形成及其成因、物流通道区域空间效应的产生机制及其内在动力和外在表现进行了剖析。同时以数理模型和计量经济学模型...
软物质前沿科学丛书 复杂系统的涌现动力学 从同步到集体输运 下
(中国)郑志刚2019 年出版652 页ISBN:9787508855974
由大量单元组成的复杂系统会产生丰富多彩的自组织与集体行为,近几年成为多交叉领域长盛不衰的研究热点。复杂系统的一个重要特征是涌现,即在整体层面会呈现出各种各样个体所不具备的行为。本书以复杂系统中普...
孙春雷著1999 年出版138 页ISBN:7801188667
家庭缺少科学的管理,导致父母离异和孩子无能以及精神的乏味……企业缺少科学的管理,导致人心涣散、资财浪费、效益低迷、破产倒闭……社会缺少科学的管理,导致政局动荡,国力衰退、主权沦丧、民不聊生……世界缺...
王益明主编;孙卫敏,王怀明副主编2006 年出版411 页ISBN:720902879X
《21世纪管理学系列教材:人力资源管理》的编写力求贯彻丛书总的指导思想,即注意扩大信息量,吸收人力资源管理理论发展的新成果;反映理论和实践新动向;处理好借鉴、与实际结合以及创新的关系。本书共分十一章,在.....
优路教育 全国一级建造师执业资格考试辅导用书 建设工程项目管理 第6版 2016版 名师版
优路教育一级建造师考试命题研究组组编;左红军主编2016 年出版265 页ISBN:9787111530541
本书紧扣教材与考试大纲,体例设置与教材保持一致,各个章节重点有精讲,考点有精练,知识点和题库的完美结合很好地强化了考生的应试能力。同时书后附有代表性极强的全真模拟试卷及近几年考试真题,让考生在准确把握...