Artificial Intelligence-PD (View More...)
| Inference in First Order Logic | lec10 | 00:48 to upto | VIDEO | |
| Reasoning Under Uncertainty: Issues and other Approaches | lec25 | 41:29 to upto | VIDEO | |
| Knowledge Based Systems: Logic and Deduction | lec8 | 00:03 to 00:04 | VIDEO |
Computer Organization (View More...)
| Controller Design: Micro programmed and hard wired (contd) | lec10 | 00:31 to 00:39 | VIDEO | |
| Controller Design: Micro programmed and hard wired (contd) | lec10 | 00:39 to 00:43 | VIDEO | |
| Introduction to System: Software | lec2 | 00:22 to 00:29 | VIDEO |
Design Verification and Test of Digital VLSI Circuits (View More...)
| Introduction to Formal Methods for Design Verification | lec14 | 23:49 to 26:20 | VIDEO | |
| Introduction to Formal Methods for Design Verification | lec14 | 26:20 to 29:06 | VIDEO | |
| Introduction to Formal Methods for Design Verification | lec14 | 29:06 to 37:40 | VIDEO |
Logic for CS (View More...)
| The Hilbert System: Soundness | lec15 | 02:12 to 09:30 | VIDEO | |
| The Hilbert System: Soundness | lec15 | 10:10 to 16:43 | VIDEO | |
| The Hilbert System: Soundness | lec15 | 25:38 to 33:46 | VIDEO |
Low Power VLSI Circuits Systems (View More...)
| Pass Transistor Logic Circuits-II | lec15 | 00:52 to 01:48 | VIDEO | |
| Pass Transistor Logic Circuits-II | lec15 | 12:15 to 15:38 | VIDEO | |
| Pass Transistor Logic Circuits-II | lec15 | 24:55 to 32:50 | VIDEO |
No Records Found