2024年11月13日
星期三
|
欢迎来到营口市图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
张乃孝
作品数:
24
被引量:125
H指数:8
供职机构:
北京大学数学科学学院
更多>>
发文基金:
国家自然科学基金
国家高技术研究发展计划
高等学校骨干教师资助计划
更多>>
相关领域:
自动化与计算机技术
文化科学
电子电信
更多>>
合作作者
郑红军
北京大学数学科学学院信息科学系
孙猛
北京大学数学科学学院
裘宗燕
北京大学数学科学学院信息科学系
范少锋
北京大学数学科学学院信息科学系
屈婉玲
北京大学信息科学技术学院计算机...
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
12个
自动化与计算...
5个
理学
4个
文化科学
3个
电子电信
2个
经济管理
2个
生物学
2个
自然科学总论
1个
天文地球
1个
化学工程
1个
金属学及工艺
1个
机械工程
1个
电气工程
1个
建筑科学
1个
水利工程
1个
轻工技术与工...
1个
交通运输工程
1个
环境科学与工...
1个
医药卫生
1个
农业科学
1个
一般工业技术
主题
6个
程序设计
5个
软件开发
5个
网络
4个
形式化
4个
形式化方法
4个
语言
4个
自动生成
4个
领域语言
3个
一致性
3个
软件结构
3个
软件开发方法
3个
设计语言
3个
神经网
3个
神经网络
2个
银行
2个
商业银行
2个
时态逻辑
2个
实证
2个
实证分析
2个
数据结构
机构
11个
北京大学
3个
吉林大学
1个
长春邮电学院
1个
大连大学
1个
华东师范大学
1个
吉林大学中日...
1个
北京工业大学
1个
教育部
1个
上海财经大学
1个
新疆农业大学
1个
新疆畜牧科学...
1个
吉林化建安装...
1个
吉林省电力有...
资助
12个
国家自然科学...
4个
国家高技术研...
3个
国家重点基础...
2个
高等学校骨干...
2个
中国博士后科...
2个
国家教育部博...
2个
吉林省科委基...
1个
北京市自然科...
1个
吉林大学研究...
1个
国家科技支撑...
1个
吉林省科技发...
1个
吉林省自然科...
1个
教育部科学技...
1个
吉林省科技厅...
1个
国家大学生创...
1个
“十一五”国...
1个
北京市教育委...
1个
长春市科技局...
1个
国家基础科学...
1个
国家农业科技...
传媒
7个
计算机科学
5个
计算机研究与...
5个
北京大学学报...
5个
软件学报
4个
计算机学报
3个
吉林大学自然...
2个
计算机工程与...
2个
传感技术学报
2个
全国程序设计...
1个
传感器世界
1个
金融电子化
1个
土壤通报
1个
中国实验诊断...
1个
Intern...
1个
硅酸盐通报
1个
中国农村水利...
1个
中国兽医学报
1个
光学精密工程
1个
吉林大学学报...
1个
高等学校化学...
地区
9个
北京市
2个
上海市
1个
吉林省
共
12
条 记 录,以下是 1-10
全选
清除
导出
郑红军
供职机构:北京大学数学科学学院信息科学系
研究主题:程序设计语言 GARMENT 部分求值技术 部分求值 软件自动生成
发表作品
相关人物
供职机构
所获资助
研究领域
范少锋
供职机构:北京大学科学研究部
研究主题:科学基金 863计划 经费预算 国家创新体系 共同体
发表作品
相关人物
供职机构
所获资助
研究领域
屈婉玲
供职机构:北京大学信息科学技术学院
研究主题:PETRI网 工作流 工作流模式 连接器 程序设计
发表作品
相关人物
供职机构
所获资助
研究领域
裘宗燕
供职机构:北京大学数学科学学院
研究主题:程序设计语言 语言 形式化方法 异常处理 程序设计
发表作品
相关人物
供职机构
所获资助
研究领域
孙猛
供职机构:北京大学
研究主题:UML RSL 形式化 MEDIATOR CSP
发表作品
相关人物
供职机构
所获资助
研究领域
珺小明
供职机构:华东师范大学软件学院
研究主题:GARMENT 集成开发环境 领域语言 自动生成 GARDEN
发表作品
相关人物
供职机构
所获资助
研究领域
杨红丽
供职机构:北京工业大学
研究主题:XML SCHEMA 数据收集协议 无线传感器网络 XML_SCHEMA
发表作品
相关人物
供职机构
所获资助
研究领域
刘英
供职机构:北京大学数学科学学院信息科学系
研究主题:JAVA语言 JAVA 面向对象 程序自动并行化 程序设计
发表作品
相关人物
供职机构
所获资助
研究领域
张明恒
供职机构:上海财经大学经济学院
研究主题:金融资产 COPULA VAR 概率论 基础资产
发表作品
相关人物
供职机构
所获资助
研究领域
刘磊
供职机构:吉林大学
研究主题:程序设计 本体 检定装置 汽车 营运汽车
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共2页
<
1
2
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张