 |
|
|
 Interactive Theorem Proving and Program Development
A practical introduction to the development of proofs and certified programs using Coq.
An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software. ... |  |  Information and Coding Theory (Springer Undergraduate Mathematics Series)
As thi s Preface is being written, th e twent ieth century is coming to an end .
Historians may perhaps come to refer to it as the cent ury of information, jus t
as its predecessor is associated with the proce ss of indust rialisation. Successive
technological developments such as the telephone, radio, television , compute rs
and... |  |  Real Analysis
This book is written by award-winning author, Frank Morgan. It offers a simple and sophisticated point of view, reflecting Morgan's insightful teaching, lecturing, and writing style. Intended for undergraduates studying real analysis, this book builds the theory behind calculus directly from the basic concepts of real numbers, limits, and... |
|
|
 Advanced Calculus: A Differential Forms Approach (Modern Birkhäuser Classics)
In a book written for mathematicians, teachers of mathematics, and highly motivated students, Harold Edwards has taken a bold and unusual approach to the presentation of advanced calculus. He begins with a lucid discussion of differential forms and quickly moves to the fundamental theorems of calculus and Stokes’ theorem. The result is... |  |  Mathematical Statistics for Economics and Business
Mathematical Statistics for Economics and Business, Second Edition, provides a comprehensive introduction to the principles of mathematical statistics which underpin statistical analyses in the fields of economics, business, and econometrics. The selection of topics in this textbook is designed to provide students with a... |  |  Locally Convex Spaces (Graduate Texts in Mathematics)
For most practicing analysts who use functional analysis, the restriction to Banach spaces seen in most real analysis graduate texts is not enough for their research. This graduate text, while focusing on locally convex topological vector spaces, is intended to cover most of the general theory needed for application to other areas of... |
|
| Result Page: 14 13 12 11 10 9 8 7 6 5 4 3 2 1 |