An introduction to computational complexity theory, its connections and interactions with mathematics, and its central role in the natural and social sciences, technology, and philosophyMathematics an
This volume collects longer articles on the analysis and numerics of Maxwell’s equations. The topics include functional analytic and Hilbert space methods, compact embeddings, solution theories and as
This cross-disciplinary field utilizes the strange effects of quantum mechanics to enable information processing and computing that would be impossible on traditional 'classical' computers. The field
An essential introduction to the analysis and verification of control systems softwareThe verification of control systems software is critical to a host of technologies and industries, from aeronautic
Computational Complexity of Counting and Sampling provides readers with comprehensive and detailed coverage of the subject of computational complexity. It is primarily geared for researchers in enumer
Writings, including articles, letters, and unpublished work, by one of the twentieth century's most influential figures in mathematical logic and philosophy.Alonzo Church's long and distinguished care
Charles Lutwidge Dodgson is best known for his 'Alice' books, Alice's Adventures in Wonderland and Through the Looking-Glass, written under his pen name of Lewis Carroll. Yet, whilst lauded for his wo