Means the course is given, but has no info yet.
| # | | Previous semester | Current semester | UG | Summer semester | Next semester |
| Winter 2012-2013 | Spring 2013 | | Summer 2013 | Winter 2013-2014 |
| 234102 | Introduction to Computers - Mech. Eng. - C | | | |
| |
| 234104 | Intro.to computers-Chem.Eng-Fortran | | | |
| |
| 234107 | Numerical Analysis | | | |
| |
| 234108 | Introductory programming for medical stu | | | |
| |
| 234109 | Introduction to Computer - Fortran | | | |
| |
| 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 | | | |
| |
| 234120 | Operating Systems | | | |
| |
| 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 | | | |
| |
| 234220 | Interactive programming methods | | | |
| |
| 234230 | Reading course 1 | | | |
| |
| 234231 | Reading course 2 | | | |
| |
| 234247 | Algorithms 1 | | | |
| |
| 234248 | Introduction to Digital Computers | | | |
| |
| 234262 | Logic Design | | | |
| |
| 234267 | Digital Computers Structure (MAMAS) | | | |
| |
| 234270 | Software Project Management | | | |
| |
| 234291 | Project 2 in Computer Science | | | |
| |
| 234293 | Logic and set theory for CS | | | |
| |
| 234299 | Mathematical Methods for Computer Applications | | | |
| |
| 234301 | Project in Data Processing H | | | |
| |
| 234303 | Project in Operating Systems H | | | |
| |
| 234311 | Yearly Project in Software Engineering-Stage A | | | |
| |
| 234312 | Yearly Project in Software Engineering-Stage B | | | |
| |
| 234313 | Industrial Project | | | |
| |
| 234319 | Programming Languages | | | |
| |
| 234321 | Software Engineering Methods | | | |
| |
| 234322 | File Systems | | | |
| |
| 234325 | Computer Graphics | | | |
| |
| 234326 | Project in Computer Graphics H | | | |
| |
| 234329 | Project in Image Processing and Analysis | | | |
| |
| 234525 | Introduction to Bioinformatics M | | | |
| |
| 234900 | Workshop in Competitive Programming | | | |
| |
| 236275 | Parallel and distributed supercomputing | | | |
| |
| 236276 | Advanced Switching Theory | | | |
| |
| 236298 | Computational Semantics for Natural Language | | | |
| |
| 236299 | Intro. to Natural Language Processing | | | |
| |
| 236300 | Natural language processing A | | | |
| |
| 236302 | Natural language processing B | | | |
| |
| 236303 | Project in natural language processing | | | |
| |
| 236304 | Logic for computer science 2 | | | |
| |
| 236305 | Project in logical design | | | |
| |
| 236307 | Expander Graphs and their Applications | | | |
| |
| 236308 | Algebraic Graph Theory and Combinatorial Designs | | | |
| |
| 236309 | Introduction to Coding Theory | | | |
| |
| 236310 | Formal language theory | | | |
| |
| 236311 | Complexity of algebraic computations | | | |
| |
| 236312 | Data Structures II | | | |
| |
| 236313 | Complexity Theory | | | |
| |
| 236315 | Algebraic Methods in Computer Science | | | |
| |
| 236317 | Performance analysis of Computing System | | | |
| |
| 236320 | Numerical Linear Algebra | | | |
| |
| 236321 | Software Engineering Methods | | | |
| |
| 236323 | Data Processing Laboratory | | | |
| |
| 236324 | Computer Graphics 2 | | | |
| |
| 236327 | Signal and Image Processing by Computer | | | |
| |
| 236328 | Project in Computer Graphics M | | | |
| |
| 236329 | Digital Geometry Processing | | | |
| |
| 236330 | Introduction to optimization | | | |
| |
| 236331 | Computability and Definability | | | |
| |
| 236334 | Introduction to Computer Networks | | | |
| |
| 236335 | Computer communication network design | | | |
| |
| 236336 | Num. Solution of Part. Diff. Equations | | | |
| |
| 236337 | Analytical methods for partial differ. equat. | | | |
| |
| 236339 | Acceleration of convergence of iterative | | | |
| |
| 236340 | Computer Communications Project | | | |
| |
| 236341 | Internet Networking | | | |
| |
| 236342 | Introduction to Software Verification | | | |
| |
| 236343 | Computability Theory | | | |
| |
| 236344 | Foundations of analysis for computer | | | |
| |
| 236345 | Automatic Verification of Programs | | | |
| |
| 236346 | Project in computer-aided verification | | | |
| |
| 236347 | Program analysis and synthesis | | | |
| |
| 236349 | Project in Computer Security | | | |
| |
| 236350 | Computer Security | | | |
| |
| 236351 | Advanced Topics in Distributed Systems | | | |
| |
| 236352 | Data Communication | | | |
| |
| 236353 | Automata and Formal Languages | | | |
| |
| 236354 | VLSI Circuit Design | | | |
| |
| 236356 | Database Theory | | | |
| |
| 236357 | Distributed Algorithms A | | | |
| |
| 236358 | Advanced Topics in Distributed Algorithms | | | |
| |
| 236359 | Algorithms 2 | | | |
| |
| 236360 | Theory of Compilation | | | |
| |
| 236361 | Project in Compilation M | | | |
| |
| 236362 | Unification Based Approaches to Grammar | | | |
| |
| 236363 | Database Management Systems | | | |
| |
| 236364 | Operating Systems Structure | | | |
| |
| 236366 | Project in operating systems | | | |
| |
| 236367 | Introduction to Type-Logical (Categorial) Grammars | | | |
| |
| 236368 | Formal Specifications For Complex Systems | | | |
| |
| 236369 | Managing Data on the World-wide Web | | | |
| |
| 236370 | Concurrent and Distributed Programming | | | |
| |
| 236371 | Project in Parallel and Distributed Computation | | | |
| |
| 236372 | Bayesian networks | | | |
| |
| 236373 | Image Synthesis | | | |
| |
| 236374 | Probabilistic methods and algorithms | | | |
| |
| 236375 | Search Engine Technology | | | |
| |
| 236376 | Operating systems engineering | | | |
| |
| 236381 | Project in VLSI B | | | |
| |
| 236500 | Cryptanalysis | | | |
| |
| 236501 | Introduction to Artificial Intelligence | | | |
| |
| 236502 | Project in Artificial Intelligence | | | |
| |
| 236503 | Project in Advanced Programming | | , | |
| |
| 236504 | Project in software | | | |
| |
| 236505 | Seminar in computer applic.in medicine | | | |
| |
| 236506 | Cryptology | | | |
| |
| 236507 | Mathematical models in parallel systems | | | |
| |
| 236508 | Cryptography and complexity | | | |
| |
| 236509 | Advanced topics in computer architecture | | | |
| |
| 236510 | Database management sys. implementations | | | |
| |
| 236511 | Learning and planning techniques | | | |
| |
| 236512 | Project in advanced programming B | | | |
| |
| 236514 | Digital sequences in communication and computer systems | | | |
| |
| 236515 | Advanced topics in coding theory | | | |
| |
| 236516 | Digital sequences in coding and cmmunic. | | | |
| |
| 236517 | Artificial Intelligence Programming | | | |
| |
| 236518 | Communication Complexity | | | |
| |
| 236519 | Foundations of logic programming | | | |
| |
| 236520 | Coding for Storage Systems | | | |
| |
| 236521 | Approximation algorithms | | | |
| |
| 236522 | Algorithms in Computational Biology | | | |
| |
| 236523 | Introduction to Bioinformatics | | | |
| |
| 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 | | | |
| |
| 236606 | Advanced Topics in Computer Science 6 | | | |
| |
| 236607 | Advanced Topics in Computer Science 7 | | | |
| |
| 236608 | Advanced Topics in Computer Science 8 | | | |
| |
| 236609 | Advanced Topics in Computer Science 9 | | | |
| |
| 236610 | Advanced Topics in Computer Science 10 | | | |
| |
| 236611 | Advanced Topics in Computer Science 11 | | | |
| |
| 236612 | Advanced Topics in Cryptology | | | |
| |
| 236613 | Advanced Topics in Cryptology L | | | |
| |
| 236620 | Advanced Topics in Algorithms L | | | |
| |
| 236621 | Advanced Topics in Algorithms L+T | | | |
| |
| 236624 | Advanced Topics in Formal Verification Methods L | | | |
| |
| 236625 | Advanced Topics in Formal Verification Methods L+T | | | |
| |
| 236627 | Advanced Topics in Computer Vision and Image Processing L+T | | | |
| |
| 236628 | Advanced Topics in Computer Graphics L | | | |
| |
| 236629 | Advanced Topics in Computer Graphics L+T | | | |
| |
| 236631 | Advanced Topics in Computational Linguistics L+T | | | |
| |
| 236632 | Advanced Topics in Bioinformatics L | | | |
| |
| 236633 | Advanced Topics in Bioinformatics L+T | | | |
| |
| 236634 | Advanced Topics in Computer Communication Networks L | | | |
| |
| 236635 | Advanced Topics in Computer Communication Networks L+T | | | |
| |
| 236637 | Advanced Topics in Logic and Computation L+T | | | |
| |
| 236638 | Advanced Topics in Networks Design and Analysis L | | | |
| |
| 236640 | Advanced Topics in Quantum Information L | | | |
| |
| 236643 | Advanced Topics in Robotics L+T | | | |
| |
| 236644 | Advanced Topics in Scientific Computing L | | | |
| |
| 236645 | Advanced Topics in Scientific Computing L+T | | | |
| |
| 236646 | Advanced Topics in Theoretical Computer Science L | | | |
| |
| 236647 | Advanced Topics in Theoretical Computer Science L+T | | | |
| |
| 236648 | Advanced Topics in Complexity L | | | |
| |
| 236649 | Advanced Topics in Complexity L+T | | | |
| |
| 236697 | Introduction to Lambda-calculus and typing | | | |
| |
| 236698 | Secure Quality Programs | | | |
| |
| 236699 | Parallel algorithms for fixed connection | | | |
| |
| 236700 | Software design | | | |
| |
| 236701 | Program Correctness | | | |
| |
| 236702 | Microprogramming | | | |
| |
| 236703 | Object Oriented Programming | | | |
| |
| 236706 | The design of parallel algorithms | | | |
| |
| 236707 | Syntact. anal. & translat. of prog. language | | | |
| |
| 236708 | Data exploration and pattern recognition | | | |
| |
| 236709 | Topics in modeling and simulation | | | |
| |
| 236710 | Source coding applications | | | |
| |
| 236711 | Semantics of programming languages | | | |
| |
| 236714 | Select. topics in automat. theorem proving | | | |
| |
| 236715 | Methods in the analysis of algorithms | | | |
| |
| 236716 | Geometric Modeling | | | |
| |
| 236717 | Software engineering in ada | | | |
| |
| 236718 | Combinatorial optimization | | | |
| |
| 236719 | Computational Geometry | | | |
| |
| 236720 | Probabilistic methods in complexity | | | |
| |
| 236729 | Project in Computational Geometry | | | |
| |
| 236752 | Intro. to Control of Discrete-Event System | | | |
| |
| 236753 | Failure tolerant computing | | | |
| |
| 236754 | Project in Intelligent Systems | | | |
| |
| 236755 | Distributed Algorithms B | | | |
| |
| 236756 | Introduction to machine learning | | | |
| |
| 236757 | Project in machine learning | | | |
| |
| 236760 | Computational Learning Therory | | | |
| |
| 236761 | Statistical Laearning Theory | | | |
| |
| 236780 | Algorithms for Dynamic Memory Management | | | |
| |
| 236790 | Multigrid Methods | | | |
| |
| 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 | | | |
| |
| 236806 | Seminar in Computer Science 6 | | | |
| |
| 236807 | Seminar in Computer Science 7 | | | |
| |
| 236808 | Seminar in Computer Science 8 | | | |
| |
| 236811 | NUmerical analysis seminar 1 | | | |
| |
| 236812 | Numerical analysis seminar 2 | | | |
| |
| 236813 | Seminar in Algorithms | | | |
| |
| 236814 | Seminar in Formal Verification Methods | | | |
| |
| 236815 | Seminar in Computer Vision | | | |
| |
| 236816 | Seminar in Computer Graphics | | | |
| |
| 236817 | Seminar in Computational Linguistics | | | |
| |
| 236818 | Seminar in Bioinformatics | | | |
| |
| 236819 | Seminar in Computer Communication Networks | | | |
| |
| 236820 | Seminar in Coding Theory | | | |
| |
| 236821 | Seminar in Image Processing | | | |
| |
| 236822 | Seminar in Interconnection and Sorting Networks | | | |
| |
| 236823 | Seminar in Quantum Information processing | | | |
| |
| 236824 | Seminar in Robotics | | | |
| |
| 236825 | Seminar in Distributed Algorithms | | | |
| |
| 236826 | Seminar in Databases | | | |
| |
| 236827 | Seminar in Computer Systems | | | |
| |
| 236840 | High-speed computer networks | | | |
| |
| 236845 | Disributed algorithms in computer networks | | | |
| |
| 236860 | Digital Image Processing | | | |
| |
| 236861 | Numerical Geometry of Images | | | |
| |
| 236862 | Sparse Representations and Applications in Signal and Image Processing | | | |
| |
| 236873 | Computer Vision | | | |
| |
| 236874 | Project in computer vision | | | |
| |
| 236875 | Visual Recognition | | | |
| |
| 236882 | Distribiuted algorithms in computer networks 2 | | | |
| |
| 236900 | Theory research seminar | | | |
| |
| 236918 | Layout algorithms for integrated circuits | | | |
| |
| 236927 | Introduction to Robotics | | | |
| |
| 236941 | Introduction to Neural Networks | | | |
| |
| 236950 | Advanced Topics in Neural networks | | | |
| |
| 236951 | Seminar in neural networks | | | |
| |
| 236990 | Inroduction to Quantum Information Processing | | | |
| |
| 236991 | Project in NMR quantum computing | | | |
| |
| 238739 | Discrete Algorithmic Geometry | | | |
| |
| 238900 | Theory Research Seminar | | | |
| |
| 238901 | Logic and Combinatorics Research Seminar | | | |
| |
| 238902 | Research Seminar in Combinatorics and Graph Theory | | | |
| |
| 274121 | Computer in Medicine | | | |
| |