#   Previous semester  Summer semester  Current semester  UG  Next semester 
Spring 2014  Summer 2014  Winter 20142015   Spring 2015 
234106  Introduction to Computer Science R     

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     

234301  Project in Data Processing H     

234311  Yearly Project in Software EngineeringStage A     

234312  Yearly Project in Software EngineeringStage B     

234313  Industrial Project     

234319  Programming Languages     

234322  File Systems     

234325  Computer Graphics     

234326  Project in Computer Graphics H     

234329  Project in Image Processing and Analysis     

234900  Workshop in Competitive Programming     

236299  Intro. to Natural Language Processing     

236303  Project in natural language processing     

236309  Introduction to Coding Theory     

236310  Formal language theory     

236311  Complexity of algebraic computations     

236313  Complexity Theory     

236315  Algebraic Methods in Computer Science     

236320  Numerical Linear Algebra     

236321  Software Engineering Methods     

236327  Signal and Image Processing by Computer     

236329  Digital Geometry Processing     

236330  Introduction to optimization     

236334  Introduction to Computer Networks     

236339  Acceleration of convergence of iterative     

236340  Computer Communications Project     

236341  Internet Networking     

236342  Introduction to Software Verification     

236343  Computability Theory     

236345  Automatic Verification of Programs     

236347  Program analysis and synthesis     

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     

236369  Managing Data on the Worldwide Web     

236370  Concurrent and Distributed Programming     

236371  Project in Parallel and Distributed Computation     

236376  Operating systems engineering     

236381  Project in VLSI B     

236501  Introduction to Artificial Intelligence     

236502  Project in Artificial Intelligence     

236503  Project in Advanced Programming    ,  

236504  Project in software     
, 
236506  Cryptology     

236508  Cryptography and complexity     

236512  Project in advanced programming B     

236518  Communication Complexity     

236520  Coding for Storage Systems     

236521  Approximation algorithms     

236522  Algorithms in Computational Biology     

236524  Projects in Bioinformatics     

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     

236610  Advanced Topics in Computer Science 10     

236620  Advanced Topics in Algorithms L     

236629  Advanced Topics in Computer Graphics L+T     

236634  Advanced Topics in Computer Communication Networks L     

236646  Advanced Topics in Theoretical Computer Science L     

236652  Advanced Topics in Information Security L     

236653  Advanced Topics in Information Security L+T     

236698  Secure Quality Programs     

236700  Software design     

236703  Object Oriented Programming     

236714  Select. topics in automat. theorem proving     

236716  Geometric Modeling     

236719  Computational Geometry     

236754  Project in Intelligent Systems     

236755  Distributed Algorithms B     

236756  Introduction to machine learning     

236757  Project in machine learning     

236780  Algorithms for Dynamic Memory Management     

236800  Seminar in software engineering     

236801  Seminar in Computer Science 1     

236802  Seminar in Computer Science 2     

236803  Seminar in Computer Science 3     

236804  Seminar in Computer Science 4     

236805  Seminar in Computer Science 5     

236813  Seminar in Algorithms     

236814  Seminar in Formal Verification Methods     

236815  Seminar in Computer Vision     

236818  Seminar in Bioinformatics     

236819  Seminar in Computer Communication Networks     

236823  Seminar in Quantum Information processing     

236827  Seminar in Computer Systems     

236828  Project in Computer Systems     

236860  Digital Image Processing     

236861  Geometric computer vision     

236862  Sparse Representations and Applications in Signal and Image Processing     

236873  Computer Vision     

236874  Project in computer vision     

236927  Introduction to Robotics     

236941  Introduction to Neural Networks     

236951  Seminar in neural networks     

236990  Inroduction to Quantum Information Processing     

238739  Discrete Algorithmic Geometry     

238900  Theory Research Seminar     

238901  Logic and Combinatorics Research Seminar     
