| Course no. |
Title |
L |
T |
P |
Credits |
| CSL719 |
Synthesis of Digital Systems |
3 |
0 |
2 |
4 |
| CSL728 |
Compiler Design |
3 |
0 |
3 |
4.5 |
| CSL740 |
Software Engineering |
3 |
0 |
2 |
4 |
| CSL750 |
Foundations of Automatic Verification |
3 |
0 |
2 |
4 |
| CSL771 |
Database Implementations |
3 |
0 |
2 |
4 |
| CSL781 |
Computer Graphics |
3 |
0 |
3 |
4.5 |
| CSL783 |
Digital Image Analysis |
3 |
0 |
3 |
4.5 |
| CSL812 |
System Level Design and Modelling |
3 |
0 |
0 |
3 |
| CSL821 |
Reconfigurable Computing |
3 |
0 |
0 |
3 |
| CSL830 |
Distributed Computing |
3 |
0 |
0 |
3 |
| CSL831 |
Semantics of Programming Languages |
3 |
0 |
0 |
3 |
| CSL832 |
Proofs and Types |
3 |
0 |
0 |
3 |
| CSL840 |
Computer Vision |
3 |
0 |
2 |
4 |
| CSL847 |
Distributed Algorithms |
3 |
0 |
0 |
3 |
| CSL851 |
Algorithmic Graph Theory |
3 |
0 |
0 |
3 |
| CSL852 |
Computational Geometry |
3 |
0 |
0 |
3 |
| CSL853 |
Complexity Theory |
3 |
0 |
0 |
3 |
| CSL854 |
Approximation Algorithms |
3 |
0 |
0 |
3 |
| CSL855 |
Models of Computation |
3 |
0 |
0 |
3 |
| CSL856 |
Mathematical Programming |
3 |
0 |
0 |
3 |
| CSL858 |
Advanced Computer Networks |
3 |
0 |
2 |
4 |
| CSL859 |
Advanced Computer Graphics |
3 |
0 |
2 |
4 |
| CSL860 |
Special Topics in Parallel Computation |
3 |
0 |
0 |
3 |
| CSL861 |
Special Topics in Hardware Systems |
3 |
0 |
0 |
3 |
| CSL862 |
Special Topics in Software Systems |
3 |
0 |
0 |
3 |
| CSL863 |
Special Topics in Theoretical Computer Science |
3 |
0 |
0 |
3 |
| CSL864 |
Special Topics in Artificial Intelligence |
3 |
0 |
0 |
3 |
| CSL865 |
Special Topics in Computer Applications |
3 |
0 |
0 |
3 |
| CSL866 |
Special Topics in Algorithms |
3 |
0 |
0 |
3 |
| CSL867 |
Special Topics in High Speed Networks |
3 |
0 |
0 |
3 |
| CSL868 |
Special Topics in Database Systems |
3 |
0 |
0 |
3 |
| CSL869 |
Special Topics in Concurrency |
3 |
0 |
0 |
3 |
| CSV880 |
Special Module in Parallel Computation |
1 |
0 |
0 |
1 |
| CSV881 |
Special Module in Hardware Systems |
1 |
0 |
0 |
1 |
| CSV882 |
Special Module in Software Systems |
1 |
0 |
0 |
1 |
| CSV883 |
Special Module in Theoretical Computer Science |
1 |
0 |
0 |
1 |
| CSV884 |
Special Module in Artificial Intelligence |
1 |
0 |
0 |
1 |
| CSV885 |
Special Module in Computer Applications |
1 |
0 |
0 |
1 |
| CSV886 |
Special Module in Algorithms |
1 |
0 |
0 |
1 |
| CSV887 |
Special Module in High Speed Networks |
1 |
0 |
0 |
1 |
| CSV888 |
Special Module in Database Systems |
1 |
0 |
0 |
1 |
| CSV889 |
Special Module in Concurrency |
1 |
0 |
0 |
1 |
