Course number | Course name | UG | Previous semester Spring 2018 | Summer semester Summer 2018 | Current semester Winter 2018-2019 | Next semester Spring 2019 |
---|

236622 | Advanced Topics No. 2 in Algorithms L | | | | | |

236620 | Advanced Topics in Algorithms L | | | | | |

236621 | Advanced Topics in Algorithms L+T | | | | | |

236648 | Advanced Topics in Complexity L | | | | | |

236631 | Advanced Topics in Computational Linguistics L+T | | | | | |

236634 | Advanced Topics in Computer Communication Networks L | | | | | |

236628 | Advanced Topics in Computer Graphics L | | | | | |

236601 | Advanced Topics in Computer Science 1 | | | | | |

236610 | Advanced Topics in Computer Science 10 | | | | | |

236611 | Advanced Topics in Computer Science 11 | | | | | |

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 | | | | | |

236613 | Advanced Topics in Cryptology L | | | | | |

236358 | Advanced Topics in Distributed Algorithms | | | | | |

236351 | Advanced Topics in Distributed Systems | | | | | |

236624 | Advanced Topics in Formal Verification Methods L | | | | | |

236652 | Advanced Topics in Information Security L | | | | | |

236653 | Advanced Topics in Information Security L+T | | | | | |

236638 | Advanced Topics in Networks Design and Analysis L | | | | | |

236640 | Advanced Topics in Quantum Information L | | | | | |

236646 | Advanced Topics in Theoretical Computer Science L | | | | | |

234247 | Algorithms 1 | | | | | |

236359 | Algorithms 2 | | | | | |

236780 | Algorithms for Dynamic Memory Management | | | | | |

236522 | Algorithms in Computational Biology | | | | | |

236521 | Approximation algorithms | | | | | |

236353 | Automata and Formal Languages | | | | | |

236345 | Automatic Verification of Hardware and Software Systems | | | | | |

236520 | Coding for Storage Systems | | | | | |

234141 | Combinatorics for CS | | | | | |

236518 | Communication Complexity | | | | | |

236343 | Computability Theory | | | | | |

236331 | Computability and Definability | | | | | |

236719 | Computational Geometry | | | | | |

236278 | Computational accelerators and accelerated systems | | | | | |

234267 | Computer Architecture | | | | | |

236267 | Computer Architecture | | | | | |

236340 | Computer Communications Project | | | | | |

234325 | Computer Graphics | | | | | |

234118 | Computer Organization and Programming | | | | | |

236350 | Computer Security | | | | | |

236873 | Computer Vision | | | | | |

236370 | Concurrent and Distributed Programming | | | | | |

236268 | Constructive Computer Architecture | | | | | |

236500 | Cryptanalysis | | | | | |

236508 | Cryptography and complexity | | | | | |

236506 | Cryptology | | | | | |

236323 | Data Processing Laboratory | | | | | |

234218 | Data Structures 1 | | | | | |

236363 | Database Management Systems | | | | | |

236510 | Database management sys. implementations | | | | | |

236329 | Digital Geometry Processing | | | | | |

236860 | Digital Image Processing | | | | | |

236307 | Expander Graphs and their Applications | | | | | |

236310 | Formal language theory | | | | | |

236779 | Foundations of Algorithms for Massive Datasets | | | | | |

236861 | Geometric Computer Vision | | | | | |

236716 | Geometric Modeling in CAD systems | | | | | |

234313 | Industrial Project | | | | | |

234322 | Information Storage Systems | | | | | |

236322 | Information Storage Systems | | | | | |

236990 | Inroduction to Quantum Information Processing | | | | | |

236341 | Internet Networking | | | | | |

236299 | Intro. to Natural Language Processing | | | | | |

234221 | Introdction to computer science N | | | | | |

236501 | Introduction to Artificial Intelligence | | | | | |

236523 | Introduction to Bioinformatics | | | | | |

236309 | Introduction to Coding Theory | | | | | |

234112 | Introduction to Computer - C | | | | | |

236334 | Introduction to Computer Networks | | | | | |

234111 | Introduction to Computer Science | | | | | |

234114 | Introduction to Computer Science | | | | | |

236348 | Introduction to Human-Computer Interaction | | | | | |

236927 | Introduction to Robotics | | | | | |

236342 | Introduction to Software Verification | | | | | |

234122 | Introduction to Systems Programming | | | | | |

234124 | Introduction to Systems Programming | | | | | |

234117 | Introduction to computer science H | | | | | |

234127 | Introduction to computing with MATLAB | | | | | |

236001 | Introduction to departmental research in computer science | | | | | |

236756 | Introduction to machine learning | | | | | |

236525 | Introduction to network coding, bounds and construction | | | | | |

236330 | Introduction to optimization | | | | | |

234129 | Introduction to set theory and automata for CS | | | | | |

236026 | Knowledge and games in distributed systems | | | | | |

234262 | Logic Design | | | | | |

234293 | Logic and set theory for CS | | | | | |

234292 | Logic for CS | | | | | |

236790 | Multigrid Methods | | | | | |

236336 | Num. Solution of Part. Diff. Equations | | | | | |

234125 | Numerical algorithms | | | | | |

236703 | Object Oriented Programming | | | | | |

234123 | Operating Systems | | | | | |

236378 | Principles of managing uncertain data | | | | | |

236374 | Probabilistic methods and algorithms | | | | | |

234319 | Programming Languages | | | | | |

236319 | Programming languages | | | | | |

234291 | Project 2 in Computer Science | | | | | |

236502 | Project in Artificial Intelligence | | | | | |

236503 | Project in CS Advanced Programming 1 | | , | | , | |

236526 | Project in CS advanced programming 2 | | | | | |

234326 | Project in Computer Graphics H | | | | | |

236328 | Project in Computer Graphics M | | | | | |

236349 | Project in Computer Security | | | | | |

236828 | Project in Computer Systems | | | | | |

236499 | Project in Firewalls | | | | | |

234329 | Project in Image Processing and Analysis | | | | | |

236754 | Project in Intelligent Systems | | | | | |

236371 | Project in Parallel and Distributed Computation | | | | | |

236381 | Project in VLSI B | | | | | |

236874 | Project in computer vision | | | | | |

236757 | Project in machine learning | | | | | |

236504 | Project in software | | | | | |

236333 | Project in the internet of things | | | | | |

236524 | Projects in Bioinformatics | | | | | |

238902 | Research Seminar in Combinatorics and Graph Theory | | | | | |

236698 | Secure Quality Programs | | | | | |

236714 | Select. topics in automat. theorem proving | | | | | |

236813 | Seminar in Algorithms | | | | | |

236818 | Seminar in Bioinformatics | | | | | |

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 | | | | | |

236826 | Seminar in Databases | | | | | |

236814 | Seminar in Formal Verification Methods | | | | | |

236834 | Seminar in Information Storage Systems | | | | | |

236823 | Seminar in Quantum Information processing | | | | | |

236800 | Seminar in software engineering | | | | | |

236327 | Signal and Image Processing by Computer | | | | | |

236200 | Signal, image and data processing | | | | | |

236321 | Software Engineering Methods | | | | | |

234270 | Software Project Management | | | | | |

236700 | Software design | | | | | |

236862 | Sparse Representations and Applications in Signal and Image Processing | | | | | |

236332 | The internet of things (IOT) - technologies and implementations | | | | | |

236360 | Theory of Compilation | | | | | |

234900 | Workshop in Competitive Programming | | | | | |

234901 | Workshop in Competitive Programming | | | | | |

234311 | Yearly Project in Software Engineering-Stage A | | | | | |

234312 | Yearly Project in Software Engineering-Stage B | | | | | |