V
主页
Principles of Programming Languages (Fall 2021)
发布人
CS 3MI3 by Nick Moore at McMaster University https://www.youtube.com/playlist?list=PLF7ZhwvkczzM3tTaJTVYIcsGsX8uyIeXA Textbook: "Types and Programming Languages" by Benjamin C. Pierce 片头未剪辑,有较长空白视频,无课件
打开封面
下载高清视频
观看高清视频
视频下载器
Software Design (Fall 2020)
Differential Geometry I (Fall 2023)
Differential Forms (Fall 2020)
Classical Mechanics (Fall 2020)
Matrix Theory (Fall 2020)
Analysis 1 (Fall 2020)
Abstract Algebra (Fall 2020)
Combinatorial Optimization (Fall 2020)
Foundations of Reinforcement Learning (Fall 2021)
Calculus on Manifolds (Fall 2020)
Topology (Fall 2020)
Tensor Computations (Fall 2020)
Measure Theory (Fall 2020)
Stochastic Calculus (Fall 2020)
Bayesian Machine Learning and Information Processing (Fall 2020)
General Topology (Fall 2020)
Linear System Theory (Fall 2020)
Cloud Computing and Big Data (Fall 2020)
Topics in Real Analysis (Fall 2020)
Nonlinear Optimization (Fall 2020)
Energy Methods and Computational Mechanics (Fall 2020)
Thermodynamics (Fall 2020)
Applied Probability and Statistics (Fall 2020)
Computer Networks (Fall 2020)
Mathematical Logic (Fall 2020)
Mathematics of Signal Processing (Fall 2020)
Graduate Real Analysis 1 (Fall 2023)
History of Industrial Design (Fall 2020)
Combinatorial Optimization (Fall 2020)
Concurrent Programming (Fall 2020)
Graph Theory (Fall 2020)
LMIs in Systems and Control (Fall 2020)
Autonomous Vehicle System Engineering (Fall 2020)
Adaptive Control and Reinforcement Learning (Fall 2020)
Art History (Fall 2020)
Theories of Programming Languages (Fall 2020)
Fundamental Mathematics (Fall 2020)
Martingale Theory with Applications (Fall 2020)
Computing Foundations (Fall 2018)
Monte Carlo Methods (Fall 2020)