2024 fall
Model checking: [BTech EEE- 7th semester]
Model checking: [BTech ETC- 7th semester]
Model checking: [MTech CSE- 3rd semester]
2024 fall
Model checking: [BTech EEE- 7th semester]
Model checking: [BTech ETC- 7th semester]
Model checking: [MTech CSE- 3rd semester]
2024 spring
Model checking: [BTech CSE- 6th semester]
Theory of computation: [BTech CSE-B 4th semester]
2023 fall
Graph Theory: [BTech IT- 5th semester]
Object Oriented Programming: [BTech CSE-A 3rd semester]
2021 spring
Model Checking: [BTech CE- 6th semester]
Programming I using C: [BTech CE- 1st semester]
2021 fall
Theory of Computation: [BTech IT- 5th semester]
Software Project Management: [BTech CE- 7th semester]
2020 fall
Theory of Computation: [BTech IT- 5th semester]
Programming II using C++: [BTech CE- 3rd semester]
2020 spring
Operating System: [BTech CSE- 6th semester]
Data srtucture and Algorithm: [BTech IT- 2nd semester]
2019 and before