English
全部
搜索
图片
视频
短视频
地图
资讯
更多
购物
航班
旅游
笔记本
报告不当内容
请选择下列任一选项。
无关
低俗内容
成人
儿童性侵犯
时长
全部
短(小于 5 分钟)
中(5-20 分钟)
长(大于 20 分钟)
日期
全部
过去 24 小时
过去一周
过去一个月
去年
清晰度
全部
低于 360p
360p 或更高
480p 或更高
720p 或更高
1080p 或更高
源
全部
Dailymotion
Vimeo
Metacafe
Hulu
VEVO
Myspace
MTV
CBS
Fox
CNN
MSN
价格
全部
免费
付费
清除筛选条件
安全搜索:
中等
严格
中等(默认)
关闭
筛选器
1:04:55
Microsoft
Laws of Concurrent Programming
A simple but complete set of algebraic laws is given for a basic language (e.g., at the level of boogie). They include the algebraic properties of concurrency, similar to those of sequential composition. The laws are valid equally for interleaved concurrency and separated concurrency, and mixtures between them (e.g., as used in VCC). Most ...
2011年8月28日
Concurrent Programming
Complete Guide to Parallel and Concurrent Programming with Java
git.ir
2025年2月1日
L4: Introduction to Concurrent Programming | Multicore Programming Primer | Electrical Engineering and Computer Science | MIT OpenCourseWare
mit.edu
2022年4月4日
Introduction to Concurrent Programming with GPUs
git.ir
8 个月之前
热门视频
57:21
Lecture 1 - Programing Basics
YouTube
nptelhrd
已浏览 43.9万 次
2008年1月18日
8:43
Introduction to IRAC
YouTube
Eugene Kim
已浏览 16.5万 次
2013年8月13日
4:43
Mathematics at MIT
YouTube
Massachusetts Institute of
已浏览 301.8万 次
2014年6月25日
Concurrent Computing
Introducing the Threads ability for safer structured concurrency | Unison Computing
linkedin.com
已浏览 788 次
4 周前
Symbolic Counter Abstraction for Concurrent Software
Microsoft
2009年11月23日
Precise and Automated Symbolic Analysis of Concurrent Programs
Microsoft
2010年4月16日
57:21
Lecture 1 - Programing Basics
已浏览 43.9万 次
2008年1月18日
YouTube
nptelhrd
8:43
Introduction to IRAC
已浏览 16.5万 次
2013年8月13日
YouTube
Eugene Kim
4:43
Mathematics at MIT
已浏览 301.8万 次
2014年6月25日
YouTube
Massachusetts Institute of Technology (MIT)
6:10
C Programming (Important Questions Set 2)
已浏览 55.6万 次
2018年3月16日
YouTube
Neso Academy
22:21
Lec 1: Introduction to DBMS | Database Management System
已浏览 326.2万 次
2019年11月19日
YouTube
Jenny's Lectures CS IT
6:21
Introduction to Linked List
已浏览 212万 次
2020年6月22日
YouTube
Neso Academy
7:40
Fundamental Data Types − Integer (Part 1)
已浏览 57.4万 次
2018年2月26日
YouTube
Neso Academy
44:38
Lecture 14 | Programming Paradigms (Stanford)
已浏览 4.6万 次
2008年7月19日
YouTube
Stanford
59:24
Core Java With OCJP/SCJP: Collections Part-1 || Introduction
已浏览 77.1万 次
2016年3月12日
YouTube
Durga Software Solutions
51:58
Lecture 19 | Programming Paradigms (Stanford)
已浏览 5.2万 次
2008年7月19日
YouTube
Stanford
51:24
Lecture 4 | Programming Paradigms (Stanford)
已浏览 20.5万 次
2008年7月19日
YouTube
Stanford
6:33
Introduction to data structures
已浏览 318.9万 次
2013年3月25日
YouTube
mycodeschool
48:39
Lecture 24 | Programming Paradigms (Stanford)
已浏览 5.5万 次
2008年7月19日
YouTube
Stanford
17:26
Lecture 1 | Programming Paradigms (Stanford)
已浏览 116.6万 次
2008年7月19日
YouTube
Stanford
48:28
Lecture 4 | Programming Methodology (Stanford)
已浏览 51万 次
2008年7月3日
YouTube
Stanford
52:16
Lecture 5 | Programming Paradigms (Stanford)
已浏览 14.3万 次
2008年7月19日
YouTube
Stanford
50:44
Lecture 8 | Programming Paradigms (Stanford)
已浏览 7.8万 次
2008年7月19日
YouTube
Stanford
49:00
Lecture 17 | Programming Paradigms (Stanford)
已浏览 4.5万 次
2008年7月19日
YouTube
Stanford
7:07
Core Java With OCJP/SCJP:Concurrent Collection
…
已浏览 5万 次
2016年4月1日
YouTube
Durga Software Solutions
43:03
Lecture 1 | Programming Abstractions (Stanford)
已浏览 44.5万 次
2008年7月16日
YouTube
Stanford
51:04
Lecture 2 | Programming Paradigms (Stanford)
已浏览 51.8万 次
2008年7月19日
YouTube
Stanford
53:22
Lecture 1: Algorithmic Thinking, Peak Finding
已浏览 590.9万 次
2013年1月14日
YouTube
MIT OpenCourseWare
49:47
Lecture 1 | Programming Methodology (Stanford)
已浏览 256.1万 次
2008年7月3日
YouTube
Stanford
57:55
Lecture 27 | Programming Paradigms (Stanford)
已浏览 4.6万 次
2008年7月19日
YouTube
Stanford
44:31
Core Java With OCJP/SCJP: Generics Part-1 || Introduction
已浏览 20.6万 次
2016年3月11日
YouTube
Durga Software Solutions
1:04:58
Core Java With OCJP/SCJP: Collections Part-9 || comparator
已浏览 26.5万 次
2016年3月12日
YouTube
Durga Software Solutions
19:14
Core Java With OCJP/SCJP: Concurrent Collections Part-4 || C
…
已浏览 16万 次
2016年3月24日
YouTube
Durga Software Solutions
51:47
Lecture 19: Dynamic Programming I: Fibonacci, Shortest Paths
已浏览 288.5万 次
2013年1月14日
YouTube
MIT OpenCourseWare
48:20
Lecture 2 | Programming Methodology (Stanford)
已浏览 108万 次
2008年7月3日
YouTube
Stanford
观看更多视频
更多类似内容
反馈