国内版
国际版

个人资料图片
  • 网页
  • 图片
  • 视频
    • 短视频
  • 学术
  • 词典
  • 地图
  • 更多
    • 航班
  • 笔记本
报告不当内容
请选择下列任一选项。
  • 时长
    全部短(小于 5 分钟)中(5-20 分钟)长(大于 20 分钟)
  • 日期
    全部过去 24 小时过去一周过去一个月去年
  • 清晰度
    全部低于 360p360p 或更高480p 或更高720p 或更高1080p 或更高
  • 源
    全部
    优酷
    酷6
    土豆
    6.cn
    Joy
    新浪
    搜狐
    CCTV
  • 价格
    全部免费付费
  • 清除筛选条件
    筛选器
    Who is Abby Dow: Ten things you should know about the England wing
    Who is Abby Dow: Ten things you should know about the England wing
    2021年10月22日
    rugbyworld.com
    Requet: Real-Time QoE Metric Detection for Encrypted YouTube Traffic: ACM Transactions on Multimedia Computing, Communications, and Applications: Vol 16, No 2s
    Requet: Real-Time QoE Metric Detection for Encrypted YouTube Tr…
    2020年7月10日
    acm.org
    宾夕法尼亚大学《Coq中的软件基础|Software Foundations in Coq 2022》中英字幕（deepseek）
    2:27
    宾夕法尼亚大学《Coq中的软件基础|Software Foundations in Coq 2022 …
    已浏览 1304 次2024年12月17日
    bilibiliGPT中英字幕课程资源
    【软件基础·逻辑基础】09 Coq开发环境
    8:04
    【软件基础·逻辑基础】09 Coq开发环境
    已浏览 1705 次2022年11月8日
    bilibili公开课译注
    Coq Coq correct! verification of type checking and erasure for Coq, in Coq | Proceedings of the ACM on Programming Languages
    Coq Coq correct! verification of type checking and erasure for Coq, in Co…
    2020年2月1日
    acm.org
    观看更多视频
    静态缩略图占位符
    反馈
    • 隐私
    • 条款