Loading...
Ashutosh Gupta - CSE IITB - 印度孟买理工学院
机构名称：

Ashutosh Gupta - CSE IITB - 印度孟买理工学院

¥ 1.0
热度

研究兴趣 形式化方法与人工智能：安全关键型学习系统 验证：顺序和并发软件的形式化验证、不变式生成 综合：程序代码的自动生成 约束求解：约束逻辑编程、决策程序、自动定理证明 建模：生物系统建模，例如基因调控

添加pdf代下载 VIP点击下载文件

Ashutosh Gupta - CSE IITB - 印度孟买理工学院

Facebook Twitter Instagram Mail

主要关键词

Ashutosh Gupta - CSE IITB - 印度孟买理工学院PDF文件第1页

Ashutosh Gupta - CSE IITB - 印度孟买理工学院PDF文件第2页

Ashutosh Gupta - CSE IITB - 印度孟买理工学院PDF文件第3页

Ashutosh Gupta - CSE IITB - 印度孟买理工学院PDF文件第4页

Ashutosh Gupta - CSE IITB - 印度孟买理工学院PDF文件第5页

相关文件推荐

印度孟买理工学院
2025 年

印度孟买理工学院

¥5.0
印度孟买理工学院新闻
2024 年

印度孟买理工学院新闻

¥1.0
简介 - 印度孟买理工学院
2013 年

简介 - 印度孟买理工学院

¥30.0
简介 - 印度孟买理工学院
2013 年

简介 - 印度孟买理工学院

¥30.0
CDEEP-印度理工学院孟买分校
2018 年

CDEEP-印度理工学院孟买分校

¥1.0
信息手册 - 印度孟买理工学院
2024 年

信息手册 - 印度孟买理工学院

¥4.0
CDEEP-印度理工学院孟买分校
2018 年

CDEEP-印度理工学院孟买分校

¥1.0
选修课 - 航空航天工程 - 印度孟买理工学院
2024 年

选修课 - 航空航天工程 - 印度孟买理工学院

¥1.0
邀请招标文件通知 - 印度孟买理工学院
2023 年

邀请招标文件通知 - 印度孟买理工学院

¥44.0
太空研究领域 - CSRE，孟买印度理工学院
2023 年

太空研究领域 - CSRE，孟买印度理工学院

¥34.0
招标文件邀请通知 - 印度孟买理工学院
2023 年

招标文件邀请通知 - 印度孟买理工学院

¥44.0
印度理工学院印多尔分校
2024 年

印度理工学院印多尔分校

¥1.0
印度理工学院鲁尔基分校
2024 年

印度理工学院鲁尔基分校

¥4.0
印度理工学院印多尔分校
2024 年

印度理工学院印多尔分校

¥1.0
印度理工学院（BHU）瓦拉纳西
1900 年

印度理工学院（BHU）瓦拉纳西

¥1.0
印度理工学院海得拉巴分校
2024 年

印度理工学院海得拉巴分校

¥1.0
印度理工学院印多尔分校
2024 年

印度理工学院印多尔分校

¥1.0
印度理工学院鲁尔基分校
2024 年

印度理工学院鲁尔基分校

¥19.0
印度理工学院印多尔分校
2024 年

印度理工学院印多尔分校

¥1.0
印度理工学院 KHARAGPUR ...
2023 年

印度理工学院 KHARAGPUR ...

¥1.0
印度理工学院坎普尔分校
2016 年

印度理工学院坎普尔分校

¥1.0
印度理工学院曼迪分校课程
2024 年

印度理工学院曼迪分校课程

¥149.0
课程表 - 印度理工学院古瓦哈提分校
2021 年

课程表 - 印度理工学院古瓦哈提分校

¥26.0
各种职位的广告 - 印度理工学院...
2024 年

各种职位的广告 - 印度理工学院...

¥1.0
印度理工学院 Kharagpur 分校 - 印度理工学院...
2024 年

印度理工学院 Kharagpur 分校 - 印度理工学院...

¥1.0
印度理工学院曼迪分校课程
2024 年

印度理工学院曼迪分校课程

¥145.0
内容 - 印度理工学院坎普尔分校
2009 年

内容 - 印度理工学院坎普尔分校

¥30.0
摘要 - 印度理工学院马德拉斯分校
2024 年

摘要 - 印度理工学院马德拉斯分校

¥1.0
内容 - 印度理工学院坎普尔分校
2009 年

内容 - 印度理工学院坎普尔分校

¥30.0
QIP - 印度理工学院德里分校
2018 年

QIP - 印度理工学院德里分校

¥11.0