京东 11.11 红包
2021年9月8号Deep Cooperation of CDCL and Local Search for SAT
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
2021年9月8号王怀民院士-云际计算
...
2021年9月8号大数据预训练模型作为知识库的反思
...
2021年11月施巍松教授边缘计算背景应用和挑战讲座
...
SETTA 2021: Mechanically Finding the Right Probabilities in Markov Models
...
2021年11月10日基金申请讲座
...
2021年12月CNCC2021 分片区块链中的编程模型初探
...
TASE 2021 Invited Talk - Moshe Y. Vardi -Program Verification a 70+ Year
...
2021年10月形式化方法专委战略研讨会-上午
...
IJTCS 2021Women in EconCS Panel
...
第七届区块链全球峰会-2021年10月27日下午第一段
...
2021年11月怎么做好科研与写好论文
...
SETTA 2021 香港科技大学的Charles Zhang教授静态程序分析
...
IJTCS 2021 Industry Forum - The Implication of EconCS in Online Markets
...
2021年12月一带一路人工智能大会：人工智能从“三要素”走向“四要素”
...
ISSRE 2021 Code Maintainability and Testing
...
2021年10月形式化方法专委战略研讨会-下午
...
RobOT Robustness-Oriented Testing for Deep Learning+面向TCP 协议栈的模糊测试框架+Practical V
...
ISSRE 2021主旨演讲Program Analysis中国科学院大学张健教授
...
2022年3月人工智能论坛机器之心AI科技年会（上午）
...
Machine Learning Applications to Mobile Communications
...
自动驾驶与网络安全
...
2021 CCF软件大会 优秀博士论坛
...
ISSRE 2021卓越企业论坛：TrustTest-Reliability and Resilience Verification in Huawei
...
DSA 2022特邀报告
...
大数据共享与保护、云服务智能故障预测诊断与优化
...
泛在操作系统：机遇与挑战--梅宏院士
...
2022年3月人工智能论坛机器之心AI科技年会（下午前两个）
...
ISSRE 2021 Defect and Fault Prediction+Cloud Computing and Smart Contract
...
ICCSE 2021：Transforming Manufacturing Industry from Automation to Intelligenizat
...
Some Progressed of SAT-SMT Solving，互补近似可达技术及其应用研究
...
形式化方法与系统软件：一个实践者的视角
...
一种基于GAN的跨项目软件缺陷预测方法
...
AMiner-谷歌学术-Semantic Scholar-百度学术-知网使用方法分享
...
ICCSE 2021- Issues and Challenges of Safety and Reliability in Industrial IOT
...
ISSRE 2021 最佳研究论文候选
...
IJTCS 2021 Industry Forum-Blockchain
...
2022.4.27--片上系统的模块化规范与形式化验证--张弘策（香港科技大学广州校区）
...
ISSRE 2021学术讨论
...
ROSMonitoring， runtime verification
...
2021年中国软件大会-百答论坛