Artificial Intelligence IIT Kgp (View More...)
Interface in Propositional Logic | lec12 | 29:00 to 32:15 | VIDEO | |
Reasoning using First -Order Logic | lec14 | 34:30 to 37:05 | VIDEO | |
Reasoning using First -Order Logic | lec14 | 37:05 to 39:45 | VIDEO |
Compiler Design IISc Bangalore (View More...)
Control Flow Analysis-Part2 | lec23 | 47:05 to 48:35 | VIDEO | |
Control Flow Analysis-Part2 | lec23 | 48:35 to 50:07 | VIDEO | |
Control Flow Analysis-Part2 | lec23 | 52:05 to 53:28 | VIDEO |
Design Verification and Test of Digital VLSI Circuits (View More...)
Symbolic Model Checking | lec27 | 08:37 to 13:20 | VIDEO | |
Symbolic Model Checking | lec27 | 18:27 to 25:34 | VIDEO | |
Built in Self Test | lec41 | 00:42 to 02:50 | VIDEO |
Discrete Mathematical Structures (View More...)
Special Properties of Relations | lec18 | 10:49 to 13:45 | VIDEO | |
Special Properties of Relations | lec18 | 13:45 to 16:50 | VIDEO | |
Special Properties of Relations | lec18 | 3:46 to 5:48 | VIDEO |
Electronic Design Automation (View More...)
Testing (Part II) | lec31 | 31:29 to 38:56 | VIDEO | |
Testing (Part IV) | lec33 | 53:01 to upto | VIDEO | |
Testing - V | lec34 | 02:24 to 04:33 | VIDEO |
Introduction to Computer Graphics (View More...)
Fractals | lec31 | 02:05 to 04:30 | VIDEO | |
Fractals | lec31 | 08:30 to 08:53 | VIDEO | |
Fractals | lec31 | 12:29 to 14:14 | VIDEO |
Logic for CS (View More...)
The Completeness Theorem | lec10 | 07:36 to 10:11 | VIDEO | |
Proof, Theory: Hilbert-Style | lec13 | 13:36 to 16:53 | VIDEO | |
Structures and Substructures | lec21 | 11:11 to 16:19 | VIDEO |
Low Power VLSI Circuits Systems (View More...)
Finite State Machines | lec17 | 19:43 to 22:42 | VIDEO | |
Finite State Machines | lec17 | 51:20 to upto | VIDEO | |
Minimizing Switched Capacitance - IV | lec30 | 04:14 to 05:46 | VIDEO |
Natural Language Processing (View More...)
Introduction | lec1 | 01:40 to 11:09 | VIDEO | |
Introduction | lec1 | 11:23 to 28:48 | VIDEO | |
POS Tagging contd... Indian Language Consideration; Accuracy Measure | lec13 | 15:57 to 19:47 | VIDEO |
Real Time Systems (View More...)
Deadline Monotonic Scheduling and Other Issues | lec11 | 28:26 to 31:27 | VIDEO | |
Deadline Monotonic Scheduling and Other Issues | lec11 | 31:27 to 32:11 | VIDEO | |
Deadline Monotonic Scheduling and Other Issues | lec11 | 32:11 to 39:53 | VIDEO |
Software Engineering (View More...)
Process Modelling DFD, Function Decomp (Part 2) | lec10 | 16:10 to 18:53 | VIDEO | |
Data Modeling- ER diagrams, Mapping to relational model | lec11 | 34:00 to 37:43 | VIDEO | |
Case Study: Part I Library Book Circulation System | lec23 | 37:10 to 38:54 | VIDEO |
System Analysis and Design (View More...)
lec11 | lec11 | 06:06 to 35:36 | VIDEO | |
lec17 | lec17 | 48:00 to 55:15 | VIDEO | |
lec18 | lec18 | 44:29 to 46:44 | VIDEO |
Theory of Automata, Formal Languages and Computation (View More...)
FSA with Output Moore and Mealy Machines | lec19 | 25:54 to upto | VIDEO | |
Problems and Solutions | lec25 | 13:54 to 17:01 | VIDEO | |
Turing Machines | lec26 | 02:47 to 07:35 | VIDEO |
No Records Found