Design Verification and Test of Digital VLSI Circuits (View More...)
| Heuristic Minimization of Two-Level Circuits | lec11 | 01:13 to upto | VIDEO | |
| Heuristic Minimization of Two-Level Circuits | lec11 | 07:33 to 12:13 | VIDEO | |
| Heuristic Minimization of Two-Level Circuits | lec11 | 12:13 to 17:49 | VIDEO |
Logic for CS (View More...)
| The Hilbert System : Completeness | lec16 | 23:32 to upto | VIDEO | |
| Semantics of Propositional Logic | lec3 | 26:55 to upto | VIDEO | |
| Verification of WHILE Programs | lec38 | 32:58 to upto | VIDEO |
Real Time Systems (View More...)
| RMA Scheduling: Further Issues | lec10 | 06:02 to 06:39 | VIDEO | |
| RMA Scheduling: Further Issues | lec10 | 06:43 to 09:13 | VIDEO | |
| RMA Scheduling: Further Issues | lec10 | 20:00 to 20:27 | VIDEO |
Software Engineering (View More...)
| Software Testing-I | lec18 | 09:04 to 12:20 | VIDEO | |
| Software Testing II | lec19 | 05:50 to 08:25 | VIDEO | |
| Software Testing II | lec19 | 08:25 to 09:02 | VIDEO |
No Records Found