当前位置:首页 > 名称
大约有2,000项符合查询结果项。(搜索耗时:0.1515秒)
为您推荐: 电力系统继电保护 继电保护 计算机控制系统 阴极保护系统维护 牵引变电所继电保护 计算机监控系统
-
-
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
-
有机合成中的保护基 酚、羰基、羧基、巯基的保护
(美)伍斯著2016 年出版909 页ISBN:9787562844365本书主要集合了上海市医疗、养老、社区、矫正、戒毒、青少年、艾滋预防、精神健康等诸多社会工作主要实务拓展领域的优秀案例,尤其是收录了上海市参与云南鲁甸抗震救灾服务的最新案例,一定程度上代表了上海目...
-
有机合成中的保护基 氨基、炔氢、磷酸脂基团的保护
(美)伍斯著2016 年出版1318 页ISBN:9787562844464本书译自第五版《Protective Groups in Organic Synthesis》,原著由Green T.W.和Wuts P.G.M.所编著。全书按官能团分类,对各种保护/去保护方法附有简要说明和评述,此外还列出出了多篇原始参考文献,方便读者获取...
-
-
有机合成中的保护基 羟基(含1,2-二醇,1,3-二醇)的保护
(美)伍斯著2016 年出版473 页ISBN:9787562844334本书译自第五版《Protective Groups in Organic Synthesis》,原著由Green T.W.和Wuts P.G.M.所编著。全书按官能团分类,对各种保护/去保护方法附有简要说明和评述,此外还列出出了多篇原始参考文献,方便读者获取...
-
-
-