Fully abstract models for effectful λ-calculi via category-theoretic logical relations | Proceedings of the ACM on Programming Languages
Fully abstract models for effectful λ-calculi via category-theoretic logic…
2022年1月25日
acm.org
Computational Linear Algebra 1: Matrix Math, Accuracy, Memory, Speed, & Parallelization
Computational Linear Algebra 1: Matrix Math, Accuracy, Memory, S…
已浏览 17.1万 次2017年5月24日
YouTubeRachel Thomas
Intro to Algorithms - Georgia Tech - Computability, Complexity, Theory: Algorithms
Intro to Algorithms - Georgia Tech - Computability, Complexity, Theor…
已浏览 1.2万 次2015年2月23日
YouTubeUdacity
Computational mathematics
1:56
Computational mathematics
已浏览 3446 次2016年1月22日
YouTubeWikiAudio
What is Computational Design? And 9 Concepts Related to It
What is Computational Design? And 9 Concepts Related to It
已浏览 4.9万 次2020年5月3日
YouTubeDigital Design Unit - TU Darmstadt
Quantum Computing: Algorithms, Models, Challenges and Applications
Quantum Computing: Algorithms, Models, Challenges and Applicati…
2024年11月6日
geekflare.com
Computer Science Field Guide: Algorithms
4:00
Computer Science Field Guide: Algorithms
已浏览 1.2万 次2013年7月3日
VimeoUC CS Education Research Group
Coding: Algorithms - Algorithms - Introduction to Algorithms - Floca…
2016年9月25日
flocabulary.com
40:09
Computational Thinking
已浏览 4.6万 次2016年6月22日
YouTubeMicrosoft Research
13:49
Computational Thinking
已浏览 7.7万 次2020年11月3日
YouTubeComputer Science Lessons
1:21
Computational Thinking
已浏览 5.1万 次2019年4月17日
YouTubeCobi Computer Science
1:36
Unplugged - Computational Thinking
已浏览 31.1万 次2015年10月2日
YouTubeCode.org
3:55
Numerical Analysis & Computation (Course Overview)
已浏览 2.8万 次2020年9月19日
YouTubeATTIQ IQBAL
11:49
1. Introduction to Algorithms
已浏览 674万 次2018年1月18日
YouTubeAbdul Bari
14:06
Computational Thinking: Algorithm Design
已浏览 3.1万 次2016年3月2日
YouTubeCurriki
21:23
Algorithms Explained: Computational Complexity
已浏览 3万 次2021年3月12日
YouTubeDataDaft
1:22:11
MIT CompBio Lecture 01 - Introduction
已浏览 4.9万 次2018年10月3日
YouTubeManolis Kellis
15:07
Introduction to Computational Linguistics
已浏览 3.6万 次2018年8月22日
YouTubeJordan Boyd-Graber
43:06
1. What is Computation?
已浏览 213.6万 次2019年7月31日
YouTubeMIT OpenCourseWare
8:15
Episode 02: Computational Thinking
已浏览 6.3万 次2019年9月2日
YouTubeHello Ruby
1:46
Introduction to Decomposition
已浏览 5.6万 次2016年6月24日
YouTubeRobotics Academy
5:33
What is Computational Engineering?
已浏览 7.3万 次2018年10月8日
YouTubeTexas Engineering
2:29
Abstraction - Computational Thinking
已浏览 9.2万 次2016年2月24日
YouTubeRobotics Academy
7:58
Computational Thinking - Introduction to Course
已浏览 14.3万 次2020年7月7日
YouTubeIIT Madras - B.S. Degree Programme
28:46
What Is An Algorithm
已浏览 1044 次2021年5月4日
YouTubeUniversity of Colorado Boulder
53:22
Lecture 1: Algorithmic Thinking, Peak Finding
已浏览 588.8万 次2013年1月14日
YouTubeMIT OpenCourseWare
11:50
Leapster : Rock the World
已浏览 3.3万 次2018年6月11日
YouTubeGames Gameplay
1:27:52
Advanced Algorithms (COMPSCI 224), Lecture 4
已浏览 7.7万 次2016年7月11日
YouTubeHarvard University
2:29
Computational Science & Engineering | Brief Introduction
已浏览 1.2万 次2018年7月25日
YouTubeBarengific
观看更多视频
静态缩略图占位符