No Name Hour Credit Instructor
712021Z Formal Methods 40 2 Ji,Dongyao 
712029Z Formal Verification of Programs 40 2 Zhang,Wenhui 
713002Z Protect Networks From Attack 40 2 Zhang,Yuqing 
713003Z The Principle of Computer Virus 40 2 Wang,Yuewu 
713017Z Cloud Computing 40 2 Xu,Jungang 
731001Z-1 Functional Analysis I 40 2 Bu,Shangquan 
731002Z Algorithms for Optimization 40 2 Liu,Zhenhong 
732001Z Modern Transducers Technology and Application 40 2 Zhang,Qianlin 
732002Z Design of Digital Integrated System 40 2 Duan,Chenghua 
732003Z Fundamental of VLSI 40 2 Qi,Honggang