-
张乃孝
-
-
- 所属机构:北京大学数学科学学院
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 郑红军
- 作品数：11被引量：61H指数：4
- 供职机构：北京大学数学科学学院信息科学系
- 研究主题：程序设计语言 GARMENT 部分求值技术 部分求值 软件自动生成
- 范少锋
- 作品数：14被引量：58H指数：5
- 供职机构：北京大学科学研究部
- 研究主题：科学基金 863计划 经费预算 国家创新体系 共同体
- 屈婉玲
- 作品数：23被引量：157H指数：4
- 供职机构：北京大学信息科学技术学院
- 研究主题：PETRI网 工作流 工作流模式 连接器 程序设计
- 裘宗燕
- 作品数：20被引量：68H指数：5
- 供职机构：北京大学数学科学学院
- 研究主题：程序设计语言 语言 形式化方法 异常处理 程序设计
- 孙猛
- 作品数：9被引量：23H指数：3
- 供职机构：北京大学
- 研究主题：UML RSL 形式化 MEDIATOR 循环神经网络
