English
全部
搜索
图片
视频
地图
资讯
更多
购物
航班
旅游
笔记本
报告不当内容
请选择下列任一选项。
无关
低俗内容
成人
儿童性侵犯
时长
全部
短(小于 5 分钟)
中(5-20 分钟)
长(大于 20 分钟)
日期
全部
过去 24 小时
过去一周
过去一个月
去年
清晰度
全部
低于 360p
360p 或更高
480p 或更高
720p 或更高
1080p 或更高
源
全部
Dailymotion
Vimeo
Metacafe
Hulu
VEVO
Myspace
MTV
CBS
Fox
CNN
MSN
价格
全部
免费
付费
清除筛选条件
安全搜索:
中等
严格
中等（默认）
关闭
筛选器
41:09
Interactive TLA (Jesse Davis and Samyukta Lanka)
已浏览 4万 次
2021年10月14日
bilibili
ant-hengxin
44:05
Model-Based Testing for the Zephyr RTOS - Philipp Panzer, UL Solutions
已浏览 47 次
2 个月之前
YouTube
The Linux Foundation
1:09:40
Specula: Generating TLA+ Specifications from System Code
…
已浏览 12 次
2 周前
YouTube
TLA+ - The Temporal Logic of Actions
1:25
Converting Number to String in TLA+
6 个月之前
YouTube
vlogize
3:18
Die Hard with animations
已浏览 44 次
2 周前
YouTube
TLA+ - The Temporal Logic of Actions
12:15
Lamport亲自授《TLA 课程》8 - Paxos算法 - 2
已浏览 388 次
2022年10月23日
bilibili
并发笔记
1:52
Defining Sequential Actions in TLA+ : A Comprehensive Guide
已浏览 1 次
1 个月前
YouTube
vlogize
5:59
Specula: A Framework for Synthesizing High-Quality TLA+ S
…
已浏览 18 次
4 个月之前
YouTube
Qian Cheng
15:41
Lamport亲自授《TLA 课程》2 - 用TLA 描述状态机
已浏览 738 次
2022年8月11日
bilibili
并发笔记
1:31:07
【达坦科技DatenLord】使用 TLA 为分布式算法验证正确性
已浏览 645 次
2023年1月9日
bilibili
达坦科技DatenLord
观看更多视频
更多类似内容
短视频
41:09
Interactive TLA (Jesse Davis and Samyukta Lanka)
已浏览 4万 次
2021年10月14日
bilibili
ant-hengxin
44:05
Model-Based Testing for the Zephyr RTOS - Philipp Pan
…
已浏览 47 次
2 个月之前
YouTube
The Linux Foundation
1:09:40
Specula: Generating TLA+ Specifications from Syste
…
已浏览 12 次
2 周前
YouTube
TLA+ - The Temporal Logic of Actions
1:25
Converting Number to String in TLA+
6 个月之前
YouTube
vlogize
3:18
Die Hard with animations
已浏览 44 次
2 周前
YouTube
TLA+ - The Temporal Logic of Actions
12:15
Lamport亲自授《TLA 课程》8 - Paxos算法 - 2
已浏览 388 次
2022年10月23日
bilibili
并发笔记
1:52
Defining Sequential Actions in TLA+ : A Comprehensiv
…
已浏览 1 次
1 个月前
YouTube
vlogize
5:59
Specula: A Framework for Synthesizing High-Quality
…
已浏览 18 次
4 个月之前
YouTube
Qian Cheng
15:41
Lamport亲自授《TLA 课程》2 - 用TLA 描述状态机
已浏览 738 次
2022年8月11日
bilibili
并发笔记
1:31:07
【达坦科技DatenLord】使用 TLA 为分布式算法验证正确性
已浏览 645 次
2023年1月9日
bilibili
达坦科技DatenLord
反馈
反馈