Database Design (View More...)
| ER Model to Relational | lec10 | 00:04 to 00:07 | VIDEO | |
| Case Study - Part One Database Design | lec42 | 23:46 to 24:53 | VIDEO | |
| Case Study - Part One Database Design | lec42 | 32:26 to 34:07 | VIDEO |
Design Verification and Test of Digital VLSI Circuits (View More...)
| Introduction to Model Checking | lec19 | 00:51 to 02:56 | VIDEO | |
| Introduction to Model Checking | lec19 | 20:54 to 24:40 | VIDEO | |
| Introduction to Model Checking | lec19 | 47:22 to 48:00 | VIDEO |
Logic for CS (View More...)
| Verification of Imperative Programs | lec37 | 11:03 to 16:21 | VIDEO | |
| Verification of Imperative Programs | lec37 | 18:30 to 22:30 | VIDEO | |
| Verification of Imperative Programs | lec37 | 27:14 to 38:48 | VIDEO |
No Records Found