Media Summary: Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For more details on NPTEL visit ... Coding Theory by Dr. Andrew Thangaraj, Department of Electronics & Communication Engineering, IIT Madras. For more details ... Modern Surveying Techniques by Prof. S.K. Ghosh,Department of Civil Engineering,IIT Roorkee.For more details on NPTEL visit ...

Mod 01 Lec 38 Verification - Detailed Analysis & Overview

Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For more details on NPTEL visit ... Coding Theory by Dr. Andrew Thangaraj, Department of Electronics & Communication Engineering, IIT Madras. For more details ... Modern Surveying Techniques by Prof. S.K. Ghosh,Department of Civil Engineering,IIT Roorkee.For more details on NPTEL visit ... Stochastic Hydrology by Prof. P. P. Mujumdar, Department of Civil Engineering, IISc Bangalore For more details on NPTEL visit ... Low Power VLSI Circuits & Systems by Prof. Ajit Pal, Computer Science and Engineering, IIT Kharagpur. For more details on ... Machinery fault diagnosis and signal processing by Prof. A.R. Mohanty,Department of Mechanical Engineering,IIT Kharagpur.

Advanced VLSI Design by Prof. A.N. Chandorkar, Prof. D.K. Sharma, Prof. Sachin Patkar, Prof. Virendra Singh,Department of ... Multiphase Flow by Dr.Gargi Das,Department of Chemical Engineering,IIT Kharagpur. For more details on NPTEL visit ...

Photo Gallery

Mod-01 Lec-38 Verification of WHILE Programs
Mod-01 Lec-38 Modern Codes
Mod-01 Lec-28 Data Verification and Editing
Mod-01 Lec-38 Municipal GIS for assassment of property tax
Lec-38 introduction to formal verification
Mod-08 Lec-38 Data Consistency Checks - III
Mod-01 Lec-37 Verification of Imperative Programs
Mod-01 Lec-38 CAD Tools for Low Power
Mod-01 Lec-26 Cracked Shaft Detection
Mod-01 Lec-38 VLSI Testing: Built-in Self-Test (BIST)
Mod-01 Lec-37 Lecture-37-Measurement Techniques for Two-phase flow Parameters
Mod-01 Lec-42 VLSI design Verification: Model Checking
View Detailed Profile
Mod-01 Lec-38 Verification of WHILE Programs

Mod-01 Lec-38 Verification of WHILE Programs

Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For more details on NPTEL visit ...

Mod-01 Lec-38 Modern Codes

Mod-01 Lec-38 Modern Codes

Coding Theory by Dr. Andrew Thangaraj, Department of Electronics & Communication Engineering, IIT Madras. For more details ...

Mod-01 Lec-28 Data Verification and Editing

Mod-01 Lec-28 Data Verification and Editing

Modern Surveying Techniques by Prof. S.K. Ghosh,Department of Civil Engineering,IIT Roorkee.For more details on NPTEL visit ...

Mod-01 Lec-38 Municipal GIS for assassment of property tax

Mod-01 Lec-38 Municipal GIS for assassment of property tax

Modern Surveying Techniques by Prof. S.K. Ghosh,Department of Civil Engineering,IIT Roorkee.For more details on NPTEL visit ...

Lec-38 introduction to formal verification

Lec-38 introduction to formal verification

System like this but to

Mod-08 Lec-38 Data Consistency Checks - III

Mod-08 Lec-38 Data Consistency Checks - III

Stochastic Hydrology by Prof. P. P. Mujumdar, Department of Civil Engineering, IISc Bangalore For more details on NPTEL visit ...

Mod-01 Lec-37 Verification of Imperative Programs

Mod-01 Lec-37 Verification of Imperative Programs

Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For more details on NPTEL visit ...

Mod-01 Lec-38 CAD Tools for Low Power

Mod-01 Lec-38 CAD Tools for Low Power

Low Power VLSI Circuits & Systems by Prof. Ajit Pal, Computer Science and Engineering, IIT Kharagpur. For more details on ...

Mod-01 Lec-26 Cracked Shaft Detection

Mod-01 Lec-26 Cracked Shaft Detection

Machinery fault diagnosis and signal processing by Prof. A.R. Mohanty,Department of Mechanical Engineering,IIT Kharagpur.

Mod-01 Lec-38 VLSI Testing: Built-in Self-Test (BIST)

Mod-01 Lec-38 VLSI Testing: Built-in Self-Test (BIST)

Advanced VLSI Design by Prof. A.N. Chandorkar, Prof. D.K. Sharma, Prof. Sachin Patkar, Prof. Virendra Singh,Department of ...

Mod-01 Lec-37 Lecture-37-Measurement Techniques for Two-phase flow Parameters

Mod-01 Lec-37 Lecture-37-Measurement Techniques for Two-phase flow Parameters

Multiphase Flow by Dr.Gargi Das,Department of Chemical Engineering,IIT Kharagpur. For more details on NPTEL visit ...

Mod-01 Lec-42 VLSI design Verification: Model Checking

Mod-01 Lec-42 VLSI design Verification: Model Checking

Advanced VLSI Design by Prof. A.N. Chandorkar, Prof. D.K. Sharma, Prof. Sachin Patkar, Prof. Virendra Singh,Department of ...

Mod-01 Lec-39 VLSI design Verification: An Introduction

Mod-01 Lec-39 VLSI design Verification: An Introduction

Advanced VLSI Design by Prof. A.N. Chandorkar, Prof. D.K. Sharma, Prof. Sachin Patkar, Prof. Virendra Singh,Department of ...