(Paperback)

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo

(Hardback)

(Paperback)

The description for this book, Contributions to the Theory of Riemann Surfaces. (AM-30), will be forthcoming.

(Paperback, Third Edition)

Helps you study the dynamics of iterated holomorphic mappings from a Riemann surface to itself, concentrating on the classical case of rational maps of the Riemann sphere. This title introduces some key ideas in the field, and to form a basis for further study.

(Paperback)

This book contains the lectures presented at a conference held at Princeton University in May 1991 in honor of Elias M. Stein's sixtieth birthday. The lectures deal with Fourier analysis and its applications. The contributors to the volume are W. Beckner, A. Boggess, J. Bourgain, A. Carbery, M. Christ, R. R. Coifman, S. Dobyinsky, C. Fefferman, R.

(Hardback)

(Paperback)

This book is a sequel to Lectures on Complex Analytic Varieties: The Local Paranwtrization Theorem (Mathematical Notes 10, 1970). Its unifying theme is the study of local properties of finite analytic mappings between complex analytic varieties; these mappings are those in several dimensions that most closely resemble general complex analytic mappi

(Hardback)

Intensive research in matrix completions, moments, and sums of Hermitian squares has yielded a multitude of results. This book provides a comprehensive account of this area of mathematics and applications and gives complete proofs of solved problems.

(Paperback)

Includes fifteen articles which focus on the developments in complex analysis. This work covers a spectrum of research using the methods of partial differential equations as well as differential and algebraic geometry. It covers topics that include invariants of manifolds, the complex Neumann problem, complex dynamics, Ricci flows, and more.

(Hardback)

This book presents many of the main developments of the past two decades in the study of real submanifolds in complex space, providing crucial background material for researchers and advanced graduate students.

(Paperback)

We shall study a notion of capacity for compact subsets of complex projective space. Our principal motivation for this comes from a theorem of Sibony and Wong 8 , Let K be a compact circled subset of the unit sphere in C2.

(Paperback)

CMOS chips are becoming increasingly important in computer circuitry. They have been widely used during the past decade, and they will continue to grow in popularity in those application areas that demand high performance. Challenging the prevailing opinion that circuit simulation can reveal all problems in CMOS circuits, Masakazu Shoji maintains t

(Hardback)

(Hardback)

Intended for the students of mathematics, physics, engineering and other sciences, this second volume, in a three-part introduction to the subject, introduces the core areas of mathematical analysis while also illustrating the organic unity between them. It includes numerous examples and applications.

(Hardback)

(Paperback)

Spin glasses are disordered magnetic systems that have led to the development of mathematical tools with an array of real-world applications, from airline scheduling to neural networks. This book offers an introduction to the subject, explaining what spin glasses are, and how they are opening up new ways of thinking about complexity.