Automata, Languages, and Machines [PDF ebook] 

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part …

The first thing you will find out about this book is that it is fun to read. It is meant for the browser, as well as for the student and for the specialist wanting to know about the area. The footnot …

The literature on the spectral analysis of second order elliptic differential operators contains a great deal of information on the spectral functions for explicitly known spectra. The same is not …

Partial Differential Equations: Analytical Methods and Applications covers all the basic topics of a Partial Differential Equations (PDE) course for undergraduate students or a beginners’ course for …

Problems concerning non-classical elastic solids continue to attract the attention of mathematicians, scientists and engineers. Research in this area addresses problems concerning many substances, …

‘Contains the contributions of 45 internationally distinguished mathematicians covering all areas of approximation theory-written in honor of the pioneering work of Arun K. Varma to the fields of …

Nonlinear algebra provides modern mathematical tools to address challenges arising in the sciences and engineering. It is useful everywhere, where polynomials appear: in particular, data and …