Master of Science in Engineering, Computer Science
Master of Science in Engineering, Computer Science
2 个月之前
jhu.edu
We present check50, an open-source, extensible tool for assessing the correctness of students' code that provides a simple, functional framework for writing checks as well as an easy-to-use API that abstracts away common tasks, among them compiling and running programs, providing their inputs, and checking their outputs. As a result, check50 has allowed us to provide students with immediate feedback on their progress as they complete an assignment while also facilitating automatic and consistent
8:04
We present check50, an open-source, extensible tool for assessi…
已浏览 4977 次2020年5月30日
FacebookCS50
The Importance of Requirement Quality Criteria
31:00
The Importance of Requirement Quality Criteria
3 周前
YouTubeComputer Science & IT Conference Proceedings
Investigation of the Importance of Quality Criteria in Software Requirements Specifications
24:21
Investigation of the Importance of Quality Criteria in Software Requir…
已浏览 2 次3 周前
YouTubeComputer Science & IT Conference Proceedings
Algorithms Explained Clearly: Correctness, Structure & Logic
5:38
Algorithms Explained Clearly: Correctness, Structure & Logic
已浏览 44 次1 个月前
YouTubeCore Computer Science
LeetCode Weekly Contest 493 | Problems A–D Full Solutions (Explained) | Arbaz - IIT BHILAI
57:46
LeetCode Weekly Contest 493 | Problems A–D Full Solutions (Expl…
已浏览 94 次2 周前
YouTubeArbaz Shaikh - IIT Bhilai
Wojciech Różowski - Coinductive predicates in Lean (Lean Together 2026)
25:10
Wojciech Różowski - Coinductive predicates in Lean (Lean Togethe…
已浏览 104 次2 个月之前
YouTubeleanprover community
1:38:13
CHM Live | Apple at 50: Five Decades of Thinking Different
已浏览 2.1万 次2 周前
YouTubeComputer History Museum
0:41
The RTX 5050 is a gift. #pcgaming #rtx5050 #ziczaccomputer
已浏览 5458 次1 周前
YouTubeZICZAC Computer
57:58
GSC Webinar | Sridhar Radhakrishnan | Rethinking CS Th…
已浏览 1 次1 个月前
YouTubeGraduate Student Community at GCOE OU (G…
0:44
Hidden Tech Legends (Part 1) - Tony Hoare
已浏览 386 次3 周前
YouTubeexitCode0
7:00
System Design EP 8 - Serializable Isolation (Tamil)
已浏览 345 次3 个月之前
YouTubeProcess With Pavi
7:02
The Algebra of Programs: Coding Without Names
已浏览 8 次2 周前
YouTubeClear Tech
1:44
✓ CS50's Introduction to Computer Science, Harvard University
已浏览 53 次1 个月前
bilibililame_dog
Computer Science
2025年2月18日
sheffield.ac.uk
2:59:32
AS Computer Science Revision Stream
已浏览 1.7万 次2021年4月23日
YouTubeJB Computer Science
11:49
1. Introduction to Algorithms
已浏览 701.2万 次2018年1月18日
YouTubeAbdul Bari
16:40
理论计算机科学工具包CS Theory Toolkit: Error-Correcting Codes || …
已浏览 222 次2021年3月9日
bilibiliRyanODonnell
26:03
How Do I Revise Computer Science?
已浏览 6.6万 次2018年3月30日
YouTubeMrBrownCS
2:32
Marco Rubio rips Donald Trump's view on Muslims
已浏览 87.1万 次2016年3月11日
YouTubeCNN
13:27
5 Tips for Computer Science Students
已浏览 17.5万 次2020年1月12日
YouTubeTech With Tim
Playboy To Kill [1967]
2020年7月30日
weebly.com
1:36
Correctness of an algorithm
已浏览 2.7万 次2016年10月10日
YouTubeMd Sahinul Hoq
1:44
哈佛大学CS50x 2026 哈佛大学计算机科学导论课程 2026版 双语字幕 4…
已浏览 3.6万 次2 个月之前
bilibiliDigital_Life
20:11
Algorithms Lecture 16: Greedy Algorithms, Proofs of Correctness
已浏览 3.9万 次2019年1月6日
YouTubeGhassan Shobaki Computer Science Lectures
7:51
L-1.2: What is Algorithm | How to Analyze an Algorithm | Priori vs P…
已浏览 164.3万 次2020年1月8日
YouTubeGate Smashers
13:41
How-to Install OpenBSD 6.0 plus XFCE desktop and basic applicati…
已浏览 3.4万 次2016年9月17日
YouTubeRiba Linux
1:02:43
Bubble Sort - Loop Invariant - Proof of Correctness - Discrete Math for …
已浏览 1.1万 次2020年10月21日
YouTubeChris Marriott - Computer Science
0:10
Brute Force Algorithm
已浏览 12.4万 次2 个月之前
YouTubeonjsdev
2:30:18
CS50x 2026 - Lecture 1 - C
已浏览 19.5万 次2 个月之前
YouTubeCS50
观看更多视频
静态缩略图占位符