Design Verification and Test of Digital VLSI Circuits (View More...)
| Equivalence between CTL Formulas | lec18 | 01:05 to 03:33 | VIDEO | |
| Equivalence between CTL Formulas | lec18 | 36:06 to 39:15 | VIDEO | |
| Equivalence between CTL Formulas | lec18 | 39:15 to 41:10 | VIDEO |
Discrete Mathematical Structures (View More...)
| Propositional Logic | lec1 | 37:55 to 39:45 | VIDEO | |
| Propositional Logic (contd.) | lec2 | 17:51 to 21:45 | VIDEO | |
| Module - 1 Order Relations and Equivalence Relations | lec22 | 29:36 to 34:27 | VIDEO |
Logic for CS (View More...)
| Propositional Logic Syntax | lec2 | 07:08 to 11:43 | VIDEO | |
| Propositional Logic Syntax | lec2 | 19:27 to 22:06 | VIDEO | |
| Propositional Logic Syntax | lec2 | 22:30 to 27:42 | VIDEO |
Theory of Automata, Formal Languages and Computation (View More...)
| Myhill-Nerode Theorem | lec17 | 00:27 to 02:45 | VIDEO | |
| Myhill-Nerode Theorem | lec17 | 02:45 to 04:32 | VIDEO | |
| Myhill-Nerode Theorem | lec17 | 04:32 to 10:23 | VIDEO |
No Records Found