您的位置： 专家智库 > >

刘瑛

作品数：3 被引量：6H指数：1
供职机构：北京理工大学更多>>
相关领域：文化科学自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇学位论文

领域

  • 1篇自动化与计算...
  • 1篇文化科学

主题

  • 1篇电脑
  • 1篇电脑配件
  • 1篇短路
  • 1篇短路故障
  • 1篇形式化
  • 1篇形式化验证
  • 1篇学术
  • 1篇学术自由
  • 1篇社会责任
  • 1篇主板
  • 1篇逻辑
  • 1篇内存
  • 1篇教育
  • 1篇开关
  • 1篇高等教育
  • 1篇PCL
  • 1篇PKCS#1...
  • 1篇CPU
  • 1篇CRYPTO

机构

  • 3篇北京理工大学

作者

  • 3篇刘瑛
  • 2篇吴晓兵

传媒

  • 1篇农村电气化
  • 1篇北京理工大学...

年份

  • 1篇2011
  • 2篇2003
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
基于PCL逻辑的密码API安全性分析
刘瑛
关键词：PKCS#11形式化验证CRYPTO
劣质电脑配件的危害
2003年
吴晓兵刘瑛
关键词：电脑配件主板内存开关CPU短路故障
学术自由历程及其启示被引量：6
2003年
本文通过学术自由发展过程中不同环境条件下导致相去甚远结果的论述,启迪人们摈弃偏见、公正客观的理解和处理学术自由和高等教育的关系,造就融洽的教育发展氛围,促进高等教育再上新台阶。
吴晓兵刘瑛
关键词：学术自由高等教育社会责任
全选 清除 导出
共1页<1>
聚类工具0