智能化软件工程前沿技术系列论坛，第二期：开发者测试
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
电子设计自动化软件验证论坛2.mp4
...
轨道交通系统安全保障与智能化关键技术
...
2024最新！（中英字幕）公认最好的【吴恩达大模型LLM】系列教程，斯坦福人工智能顶级专家带你掌握前沿大模型技术（RAG模型应用_agent_ChatGPT）
...
2021 CCF软件大会 优秀博士论坛
...
软件漏洞自动利用研究的价值与挑战
...
编译原理课程Flex+Bison使用讲解
...
第四届世界顶尖科学家论坛，开放科学：构建开放创新生活
...
2021年中国软件大会-系统软件安全论坛-2
...
芯片形式验证技术及应用--华为
...
2021年中国软件大会-百答论坛
...
2022年3月人工智能论坛机器之心AI科技年会（下午前两个）
...
2021年中国软件大会-高可信嵌入式软件工程技术论坛
...
江贺-编译器的可信保障与智能化
...
思维力训练：用框架解决问题！从0到1构建解决力【全46集】
...
形式化方法与系统软件：一个实践者的视角
...
区块链安全与应用技术的研究进展--张小松
...
记忆力好的千万不要进，我怕你背书会上瘾！【超神奇记忆法】记忆力暴涨！学渣变学霸！史上最强的海马体记忆法！一天背完500页【暴涨记忆力】学习1小时抵过10小时！
...
这绝对是2024年【人工智能入门】天花板教程！清华大佬强力打造，68集带你吃透AI基础知识点！
...
030毛泽东文献读后三百讲(毛选讲读) 第30讲
...
《芯片形式验证技术及应用》+《硬件形式验证应用》+《形式化工具在 EDA 领域最新发展方向研究》
...
智能算法的形式验证与分析
...
数字粮库
...
信息安全发展历程与趋势--冯登国
...
2024版Java架构师课程全套视频教程200集，涵盖java所有主流核心技术，逼自己30天学完，少走99%弯路！
...
openEuler 与基础软件创新+自然语言驱动的程序生成和分析+程序合成——从补丁合成到算法合成+规约驱动的嵌入式系统综合与验证
...
【习题班】2024年安全工程师技术宋晓婷注安技术习题班2024年中级注册安全工程师技术基础宋晓婷实战提分班
...
给我五分钟夺走你女神的所有信息，真实可拷！（本视频提供暗网黑客技术/网络安全教程）-网络安全/信息安全/渗透测试/黑客技术
...
万物智联时代的操作系统与OpenHarmony实践
...
软件工程未来趋势研讨会-2022.7.16
...
RobOT Robustness-Oriented Testing for Deep Learning+面向TCP 协议栈的模糊测试框架+Practical V
...
士气 | Style 3D Atelier 软件零基础入门/案例演示【公益课程】
...
2022.10-可信软件漫谈：软件可信吗？（南京大学李宣东教授）
...
【斯坦福大学公开课】：量子力学（中英双语）
...
自动驾驶与网络安全
...
数据驱动的编译器测试-北大郝丹教授
...
【公开课】《麦肯锡46种思考模型框架合集》(绝对干货)透过结构看世界，洞悉事物本质
...
中国计算机学会形式化方法专委战略研讨会--人机物融合系统设计、综合与监控 Panel，下午Panel
...
2021年12月CNCC2021 分片区块链中的编程模型初探
...
基于名义内存模型的C程序编译验证+归纳类型可数性在Coq中的形式化+并行嵌入式软件的时间正确性验证