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 ...
اقرأ المزيد
