App a
Lambda Calculus
Model Based Design for DSP: Presentation to Stevens Will Plishker, Chung-Ching Shen, Nimish Sane, George Zaki, Soujanya Kedilaya, Shuvra S. Bhattacharyya.
Computational Complexity Theory Lecture 1: Intro; Turing machines; Class P and NP Indian Institute of Science.
The theory of concurrent programming for a seasoned programmer © Roman Elizarov, Devexperts, 2012.
Theory of Automata Formal Languages