个人资料图片
English
  • 全部
  • 搜索
  • 图片
  • 视频
  • 地图
  • 资讯
  • 更多
    • 购物
    • 航班
    • 旅游
  • 笔记本
报告不当内容
请选择下列任一选项。
  • 时长
    全部短(小于 5 分钟)中(5-20 分钟)长(大于 20 分钟)
  • 日期
    全部过去 24 小时过去一周过去一个月去年
  • 清晰度
    全部低于 360p360p 或更高480p 或更高720p 或更高1080p 或更高
  • 源
    全部
    Dailymotion
    Vimeo
    Metacafe
    Hulu
    VEVO
    Myspace
    MTV
    CBS
    Fox
    CNN
    MSN
  • 价格
    全部免费付费
  • 清除筛选条件
  • 安全搜索:
  • 中等
    严格中等（默认）关闭
筛选器
Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD)
20:19
Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD)
已浏览 4.7万 次2018年2月1日
YouTubeTLA+ Video Course
Lamport TLA+ Course Lecture 3: Resources and Tools (HD)
11:14
Lamport TLA+ Course Lecture 3: Resources and Tools (HD)
已浏览 1.5万 次2018年2月1日
YouTubeTLA+ Video Course
Lamport TLA+ Course Lecture 2: State Machines in TLA+ (HD)
15:41
Lamport TLA+ Course Lecture 2: State Machines in TLA+ (HD)
已浏览 2.1万 次2018年2月1日
YouTubeTLA+ Video Course
Alloy for TLA+ users - Jay Parlar
45:31
Alloy for TLA+ users - Jay Parlar
已浏览 6096 次2019年10月21日
YouTubeMarkus Kuppe
Lamport TLA+ Course Lecture 5: Transaction Commit (HD)
24:40
Lamport TLA+ Course Lecture 5: Transaction Commit (HD)
已浏览 1.4万 次2018年2月1日
YouTubeTLA+ Video Course
Dharma Shukla: TLA+ at Microsoft to build planetary-scale systems - Keynote TLA+ Community Event
33:55
Dharma Shukla: TLA+ at Microsoft to build planetary-scale systems - …
已浏览 4207 次2020年12月11日
YouTubeTLA+ - The Temporal Logic of Actions
Lamport TLA+ Course Lecture 8: Paxos Commit Part 1: Preliminaries (HD)
15:54
Lamport TLA+ Course Lecture 8: Paxos Commit Part 1: Preliminarie…
已浏览 4121 次2018年2月1日
YouTubeTLA+ Video Course
46:26
Keynote: TLA+ at Microsoft: 16 Years in Production - David Lang…
已浏览 3016 次2019年9月18日
YouTubeTLA+ - The Temporal Logic of Actions
3:26
TLA+ Toolbox 1.7.1 Basics(use)
已浏览 409 次2021年3月13日
YouTubecodingcl
42:29
Elixir Code Generation from TLA + specifications - Gabriela Moreira …
已浏览 1066 次2021年10月11日
YouTubeTLA+ - The Temporal Logic of Actions
观看更多视频
静态缩略图占位符
更多类似内容
反馈
  • 隐私
  • 条款