Course number  Course name  Previous semester  Summer semester  Current semester  UG  Next semester 

Spring 2016  Summer 2016  Winter 20162017  Spring 2017 
234107  Numerical Analysis     

234111  Introduction to Computer Science     

234112  Introduction to Computer  C     

234114  Introduction to Computer Science     

234117  Introduction to computer science H     

234118  Computer Organization and Programming     

234122  Introduction to Systems Programming     

234123  Operating Systems     

234127  Introduction to computing with MATLAB     

234141  Combinatorics for CS     

234145  Digital Systems     

234218  Data Structures 1     

234247  Algorithms 1     

234262  Logic Design     

234267  Digital Computers Structure (MAMAS)     

234270  Software Project Management     

234293  Logic and set theory for CS     

234311  Yearly Project in Software EngineeringStage A     

234312  Yearly Project in Software EngineeringStage B     

234313  Industrial Project     

234319  Programming Languages     

234322  Information Storage Systems     

234325  Computer Graphics     

234326  Project in Computer Graphics H     

234329  Project in Image Processing and Analysis     

234900  Workshop in Competitive Programming     

236026  Knowledge and games in distributed systems     

236278  Computational accelerators and accelerated systems     

236304  Logic for computer science 2     

236309  Introduction to Coding Theory     

236310  Formal language theory     

236311  Complexity of algebraic computations     

236313  Complexity Theory     

236315  Algebraic Methods in Computer Science     

236321  Software Engineering Methods     

236323  Data Processing Laboratory    , ,  

236327  Signal and Image Processing by Computer     

236329  Digital Geometry Processing     

236330  Introduction to optimization     

236334  Introduction to Computer Networks     

236340  Computer Communications Project     

236341  Internet Networking     

236342  Introduction to Software Verification     

236343  Computability Theory     

236345  Automatic Verification of Programs     

236348  Introduction to HumanComputer Interaction     

236349  Project in Computer Security     

236350  Computer Security     

236351  Advanced Topics in Distributed Systems     

236353  Automata and Formal Languages     

236357  Distributed Algorithms A     

236358  Advanced Topics in Distributed Algorithms     

236359  Algorithms 2     

236360  Theory of Compilation     

236363  Database Management Systems     

236366  Project in operating systems     

236368  Formal Specifications For Complex Systems     

236370  Concurrent and Distributed Programming     

236371  Project in Parallel and Distributed Computation     

236372  Bayesian networks     

236374  Probabilistic methods and algorithms     

236376  Operating systems engineering     

236378  Principles of managing uncertain data     

236381  Project in VLSI B     

236499  Project in Firewalls     

236500  Cryptanalysis     

236501  Introduction to Artificial Intelligence     

236502  Project in Artificial Intelligence     

236503  Project in CS Advanced Programming 1   ,  , ,  

236504  Project in software     

236510  Database management sys. implementations     

236518  Communication Complexity     

236520  Coding for Storage Systems     

236521  Approximation algorithms     

236522  Algorithms in Computational Biology     

236523  Introduction to Bioinformatics     

236524  Projects in Bioinformatics     

236525  Introduction to network coding, bounds and construction     

236601  Advanced Topics in Computer Science 1  ,    

236602  Advanced Topics in Computer Science 2     

236603  Advanced Topics in Computer Science 3     

236604  Advanced Topics in Computer Science 4     

236605  Advanced Topics in Computer Science 5     

236607  Advanced Topics in Computer Science 7     

236610  Advanced Topics in Computer Science 10     

236611  Advanced Topics in Computer Science 11     

236613  Advanced Topics in Cryptology L     

236620  Advanced Topics in Algorithms L     

236628  Advanced Topics in Computer Graphics L     

236629  Advanced Topics in Computer Graphics L+T     

236635  Advanced Topics in Computer Communication Networks L+T     

236640  Advanced Topics in Quantum Information L     

236641  Advanced Topics in Quantum Information L+T     

236646  Advanced Topics in Theoretical Computer Science L     

236650  Advanced Topics in Software Engineering L     

236653  Advanced Topics in Information Security L+T     

236698  Secure Quality Programs     

236700  Software design     

236703  Object Oriented Programming     

236716  Geometric Modeling     

236719  Computational Geometry     

236754  Project in Intelligent Systems     

236756  Introduction to machine learning     

236757  Project in machine learning     

236780  Algorithms for Dynamic Memory Management     

236801  Seminar in Computer Science 1     

236802  Seminar in Computer Science 2     

236803  Seminar in Computer Science 3     

236804  Seminar in Computer Science 4     

236813  Seminar in Algorithms     

236815  Seminar in Computer Vision     

236816  Seminar in Computer Graphics     

236818  Seminar in Bioinformatics     

236825  Seminar in Distributed Algorithms     

236826  Seminar in Databases     

236828  Project in Computer Systems     

236834  Seminar in Information Storage Systems     

236861  Geometric Computer Vision     

236873  Computer Vision     

236874  Project in computer vision     

236927  Introduction to Robotics     

236990  Inroduction to Quantum Information Processing     

238739  Discrete Algorithmic Geometry     

238900  Theory Research Seminar     

238902  Research Seminar in Combinatorics and Graph Theory     
