国内版
国际版
网页
图片
视频
短视频
学术
词典
地图
更多
航班
笔记本
报告不当内容
请选择下列任一选项。
无关
低俗内容
成人
儿童性侵犯
时长
全部
短(小于 5 分钟)
中(5-20 分钟)
长(大于 20 分钟)
日期
全部
过去 24 小时
过去一周
过去一个月
去年
清晰度
全部
低于 360p
360p 或更高
480p 或更高
720p 或更高
1080p 或更高
源
全部
优酷
酷6
土豆
6.cn
Joy
新浪
搜狐
CCTV
价格
全部
免费
付费
清除筛选条件
筛选器
1:17:18
CMU《函数式编程|15-150 Functional Programming, Fall 2023》中英字幕（deepseek
已浏览 1.7万 次
2025年1月4日
bilibili
GPT中英字幕课程资源
FormalGym: Deep Reinforcement Learning Agent Based Formal Compiler Optimization Framework | Proceedings of the International Conference on Research in Adaptive and Convergent Systems
3 个月之前
acm.org
6:20
【新思验证小课堂】【VC Formal】Overview-3
已浏览 1054 次
2023年9月5日
bilibili
新思小课堂
17:26
斯坦福 编程范式 (中英文双字幕)
已浏览 6724 次
2022年11月19日
bilibili
life_code
6:48
【新思小课堂】【VC Formal】自动提取property检查
已浏览 1070 次
2023年11月13日
bilibili
新思小课堂
10:51
【新思小课堂】【Formality】入门：芯片实现流程中的形式验证
已浏览 1701 次
9 个月之前
bilibili
新思小课堂
13:57
【席老师】【formal】VC Formal Overview-1
已浏览 126 次
2023年6月12日
zhihu.com
芯片EDA席老师
20:05
【席老师】Synopsys VC Formal CC APP讲解
已浏览 487 次
2023年6月21日
zhihu.com
芯片EDA席老师
17:29
编程范式【斯坦福大学】
已浏览 1967 次
6 个月之前
bilibili
精选优课译站
3:34
【席老师】【Formal】什么样的设计适合用Formal SEQ去做验证
已浏览 378 次
2023年6月23日
zhihu.com
芯片EDA席老师
17:26
【斯坦福大学公开课】编程范式
已浏览 6803 次
2019年6月21日
bilibili
小美手
7:22
诺丁汉大学 —— 函数式编程 Functional Programming
已浏览 1.5万 次
2021年3月26日
bilibili
会喵喵的小汪
6:17
【席老师】Formal FPV 介绍
已浏览 1064 次
2023年7月9日
bilibili
芯片EDA技术席老师
6:46
基于大学生社团活动管理的微信小程序的设计与实现ssm-计算机毕业设计系统设计
已浏览 97 次
2024年1月8日
zhihu.com
IT实战课堂
17:26
斯坦福：编程范式（含课件）| 全27集
已浏览 2378 次
10 个月之前
bilibili
常春藤中英字幕课
1:47:19
【程序设计】第2讲：通往Pro的第一步｜2024-2025 学年秋冬学期程序设计课程辅学｜浙江大学竺可桢学院学业指导中心
已浏览 974 次
2024年11月19日
bilibili
浙大竺院学业指导中心
17:08
Stanford《编程范式》(中英字幕) | Programming Paradigms
已浏览 1232 次
10 个月之前
bilibili
science中英课程资源
6:38
计算机毕业设计之讲解程序框架结构，这是定制程序讲解的第一步，也是后期讲解的开始
已浏览 1239 次
2020年3月11日
bilibili
若先计算机毕业设计
1:41:18
形式化方法 - 华保健 - 第04节下
已浏览 65 次
2025年1月18日
bilibili
这次去哪玩
2:39:19
这些程序员最应该知道的代码规范！可惜之前没人告诉我...命名风格|常量定义|OOP规约|日期格式|集合处理|并发控制|控制语句|注释规约|前后端规约
已浏览 1.5万 次
2021年7月28日
bilibili
架构师诸葛
20:48
芯片验证基础篇｜形式化验证和功能验证VCFormal
已浏览 690 次
2021年9月2日
bilibili
augusdi
49:53
【麻省理工学院】计算机教育中缺失的一课 08 元编程【中英字幕】Lecture 8 Metaprogramming (2020)
已浏览 420 次
2021年2月2日
bilibili
码农真经
2:45
【席老师】formal 基础通用技术关于Monitor Progress-1
已浏览 616 次
2023年6月26日
bilibili
芯片EDA技术席老师
32:33
讲座录屏 | “如何写出没有Bug的代码？”——初探软件的形式化验证方法
已浏览 2277 次
2020年11月30日
bilibili
北邮微软学生俱乐部
2:15
软件工程速成！ 第四章 形式化方法 形式化的优点 非形式化的缺点 应用形式化的准则 期末速成 考研入门
已浏览 7640 次
2022年10月23日
bilibili
sh0ck1ng
3:31
【席老师】formal 基础通用技术关于Monitor Progress-2
已浏览 574 次
2023年6月26日
bilibili
芯片EDA技术席老师
3:46
【席老师】【Formal】什么样的设计适合用Formal SEQ去做验证
已浏览 911 次
2023年5月21日
bilibili
芯片EDA技术席老师
1:58
【席老师】第一次用formal如何启动formal
已浏览 787 次
2023年6月14日
bilibili
芯片EDA技术席老师
20:34
4.3编译函数声明与调用（形式化部分）-张宏波的程序语言理论与实现公开课
已浏览 529 次
2022年12月5日
bilibili
MoonBit月兔
18:08
掌握这个框架就会写程序了
已浏览 1428 次
11 个月之前
bilibili
工控技能
展开
反馈
反馈