Electronic Books

Total Books: 61 - 80 /637

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

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

Applied Statistics Using SPSS, STATISTICA, MATLAB and R

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

Applied Stochastic Processes

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

Approval Voting

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

Aritmetica: un approccio computazionale = Arithmetic: a computational approach

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

Arnolds Problems

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

Artificial Intelligence and Soft Computing - ICAISC 2008 : 9th International Conference Zakopane, Poland, June 22-26, 2008 Proceedings

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

Aspects of Mathematical Finance

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

Austenitic TRIP/TWIP Steels and Steel-Zirconia Composites Design of Tough, Transformation-Strengthened Composites and Structures

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

Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

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

Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

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

Automated Reasoning

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

Basic Bundle Theory and K-Cohomology Invariants : With contributions by Siegfried Echterhoff, Stefan Fredenhagen and Bernhard Krötz

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

Beginning Excel What-If Data Analysis Tools

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

Benefit/Cost-Driven Software Development With Benefit Points and Size Points

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

Blockchain and Crypto Currency Building a High Quality Marketplace for Crypto Data

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

Browning Agents and Active Particles : Collective Dynamics in the Natural and Social Sciences

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

Calcolo Scientifico : Esercizi e problemi risolti con MATLAB e Octave = Scientific Computing: Exercises and problems solved with MATLAB and Octave

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

Calcolo stocastico per la finanza = Stochastic Calculation for Finance

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

Case Based Design : Applications in Process Engineering

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