CS 689: Research Methods
in Computer Science
CS 670: Theory of
Computation 2
CS 668: Graph Algorithms
and Applications
CS 639: Seminar (Systems
and Software Verification Methods - Model Checking)
CS 570/CS 470: Theory of
Computation 1
CS 547:
Computer, Information, and Network Security
CS 539/CS 339:
Biocomputational Methodologies
CS 324:
Design and Analysis of Algorithms
Adrian Heinz, ALGORITHMS AND SOFTWARE SYSTEMS FOR
LEARNING AND RESEARCH, Ed. D. July 2009