III - Semester
Formal Specification and Verification of Programs
Prolog assignment
Schedule for sem-II
II - Semester
Advanced Compilers ( CS-614 )
Wireless Applications ( IT-612 )
Paper Repository
New Trends in IT ( IT- 620 )
Introduction to Biomedical Engg. ( BM - 600 )
System Lab ( IT - 680 )
I - Semester
Implementation Techniques for DBMS(IT-603)
Projects/assignments/seminars
1. Design and implement a rudimentary query optimizer for MySql
Useful Links
Database Systems and Structures
Distributed Systems(IT-605)
Projects/assignments/seminars
1. Network Simulations
2.
Peer to Peer networking
Userful Links
Networking tutorials
Foundations/Algorithms-I(IT-621)
Foundations/Algorithms-II(IT-623)
Object Oriented Techniques(IT-601)
Projects/assignments/seminars
1. Forecasting System for supplier chain management
FoundaItion Lab(IT-619)
Projects/assignments/seminars
1.TA(Teaching Assistantship) Allocation System