Related Books

Automata on Infinite Objects and Church's Problem
Language: en
Pages: 36

Automata on Infinite Objects and Church's Problem

Authors: Michael Oser Rabin
Categories: Mathematics
Type: BOOK - Published: 1972 - Publisher: American Mathematical Soc.

GET EBOOK

Nothing provided
Harmonic Analysis Techniques for Second Order Elliptic Boundary Value Problems
Language: en
Pages: 162

Harmonic Analysis Techniques for Second Order Elliptic Boundary Value Problems

Authors: Carlos E. Kenig
Categories: Mathematics
Type: BOOK - Published: 1994 - Publisher: American Mathematical Soc.

GET EBOOK

In recent years, there has been a great deal of activity in the study of boundary value problems with minimal smoothness assumptions on the coefficients or on t
Reachability Problems
Language: en
Pages: 207

Reachability Problems

Authors: Matthew Hague
Categories: Computers
Type: BOOK - Published: 2017-08-28 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 11th International Workshop on Reachability Problems, RP 2017, held in London, UK, in September 2017. The
Foundations of Software Science and Computational Structures
Language: en
Pages: 484

Foundations of Software Science and Computational Structures

Authors: Luca de Alfaro
Categories: Computers
Type: BOOK - Published: 2009-03-27 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 200
Topological Degree Methods in Nonlinear Boundary Value Problems
Language: en
Pages: 130

Topological Degree Methods in Nonlinear Boundary Value Problems

Authors: J. Mawhin
Categories: Mathematics
Type: BOOK - Published: 1979 - Publisher: American Mathematical Soc.

GET EBOOK

Contains lectures from the CBMS Regional Conference held at Harvey Mudd College, June 1977. This monograph consists of applications to nonlinear differential eq