Electronic Books

Total Books: 61 - 80 /637

Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, ...

The book provides a comprehensive coverage of the main statistical analysis topics important for practical applications such ...

Applied Stochastic Processes uses a distinctly applied framework to present the most important topics in the field of stochastic ...

The book proposes a compelling way to elect some 500,000 officials in public elections. After a generation of discussion ...

Intended to be a contribution to the algorithmic re-reading of some classic topics of elementary number theory and an invitation ...

Arnold's Problems contains mathematical problems.The invariable peculiarity of these problems was that Arnold did not consider ...

This book constitutes the refereed proceedings of the 9th International Conference on Artificial Intelligence and Soft Computing, ...

Considering the stupendous gain in importance, in the banking and insurance industries since the early 1990’s, of mathematical ...

This book presents a collection of the most up-to-date research results in the field of steel development with a focus on ...

The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...

This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...

This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...

Based on several recent courses given to mathematical physics students, this volume is an introduction to bundle theory with ...

Excels what-if data analysis tools let you experiment with your data to project future results. In turn, these predictions ...

This book presents a set of basic techniques for estimating the benefit of IT development projects and portfolios. It also ...

This book contributes to the creation of a cyber ecosystem supported by blockchain technology in which technology and people ...

Lays out a vision for a coherent framework for understanding complex systems'' (from the foreword by J. Doyne Farmer). ...

For the short courses of the new system of the Faculties of Engineering and Sciences. It deals with all the typical topics ...

Offers an introduction to the mathematical, probabilistic and numerical methods that are the basis of the models for the ...

The book by Professors is an impressive and in-depth treatment of the essence of the case–based reasoning strategy and ...

Total Books: 61 - 80 /637