2025年1月7日
星期二
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
国家自然科学基金(60573081)
作品数:
1
被引量:10
H指数:1
相关作者:
孙猛
杨红丽
裘宗燕
张乃孝
更多>>
相关机构:
北京大学
更多>>
发文基金:
国家自然科学基金
更多>>
相关领域:
自动化与计算机技术
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
4个
自动化与计算...
2个
电子电信
2个
文化科学
2个
理学
主题
4个
软件结构
4个
精化
3个
形式化
3个
形式化方法
3个
网络
2个
英文
2个
语言
2个
软件开发
2个
软件开发方法
2个
设计语言
2个
神经网
2个
神经网络
2个
时态逻辑
2个
数据结构
2个
数据结构课程
2个
数据收集协议
2个
状态机
2个
自动机
2个
自动生成
2个
逻辑系统
机构
4个
北京大学
1个
华东师范大学
1个
北京工业大学
资助
4个
国家自然科学...
1个
北京市自然科...
1个
高等学校骨干...
1个
国家高技术研...
1个
中国博士后科...
1个
北京市教育委...
1个
国家教育部博...
1个
上海市科学技...
传媒
4个
北京大学学报...
3个
软件学报
3个
计算机科学
2个
计算机研究与...
2个
计算机学报
2个
传感技术学报
2个
全国程序设计...
1个
传感器世界
1个
Intern...
1个
中国大学教学
1个
北京工业大学...
1个
河南大学学报...
1个
计算机工程与...
1个
计算机应用与...
1个
微电子学与计...
1个
计算机应用
1个
计算机工程与...
1个
中国科学(E...
1个
软件导刊
1个
计算机教育
地区
4个
北京市
共
4
条 记 录,以下是 1-4
全选
清除
导出
裘宗燕
供职机构:北京大学数学科学学院
研究主题:程序设计语言 语言 形式化方法 异常处理 程序设计
发表作品
相关人物
供职机构
所获资助
研究领域
孙猛
供职机构:北京大学
研究主题:UML RSL 形式化 MEDIATOR CSP
发表作品
相关人物
供职机构
所获资助
研究领域
杨红丽
供职机构:北京工业大学
研究主题:XML SCHEMA 数据收集协议 无线传感器网络 XML_SCHEMA
发表作品
相关人物
供职机构
所获资助
研究领域
张乃孝
供职机构:北京大学数学科学学院
研究主题:程序设计语言 程序语言 程序设计 数据结构 语言
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张