Understanding Computation

Introduction to Languages and the Theory of Computation helps students make the connection between the practice of computing and an understanding of the profound ideas that defines it. The book's organization and the author's ability to explain complex topics clearly make this introduction to the theory of computation an excellent resource for a broad range of upper level students.

Partial differential equations (PDEs) are used to describe a large variety of physical phenomena, from fluid flow to electromagnetic fields, and are indispensable to such disparate fields as aircraft simulation and computer graphics. While most existing texts on PDEs deal with either analytical or numerical aspects of PDEs, this innovative and comprehensive textbook features a unique approach that integrates analysis and numerical solution methods and includes a third component—modeling—to address real-life problems.

This book presents a holistic view on compiler assisted practical secure multi-party computation (MPC) over Boolean circuits. It discusses that two or more parties jointly evaluate a function over their inputs in such a way that each party