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, ...
Continue reading
Applied Soft Computing Technologies: The Challenge of Complexity
This volume presents the proceedings of the 9th Online World Conference on Soft Computing in Industrial Applications (WSC9), ...
Continue reading
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 ...
Continue reading
Applied Stochastic Processes
Applied Stochastic Processes uses a distinctly applied framework to present the most important topics in the field of stochastic ...
Continue reading
Approximation and Online Algorithms
It focuses on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems ...
Continue reading
Approximation and Online Algorithms
It focuses on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems ...
Continue reading
Approximation and Online Algorithms (vol. # 3351)
The 2nd Workshop on Approximation and Online Algorithms (WAOA 2004) focused on the design and analysis of algorithms for ...
Continue reading
Approximation and Online Algorithms :5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers
The Fifth Workshop on Approximation and Online Algorithms (WAOA 2007) focused on the design and analysis of algorithms for ...
Continue reading
Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques : 11th International Workshop, APPROX 2008, and 12th International Workshop, RANDOM 2008, Boston, MA, USA, August 25-27, 2008. Proceedings
This book constitutes the joint refereed proceedings of the 11th International Workshop on Approximation Algorithms for Combinatorial ...
Continue reading
Architecture and Design for Industry 4.0 : Theory and Practice / Maurizio Barberio, Micaela Colella, Angelo Figliola
The book is structured into three sections (research, practice, and technologies), with the goal of creating a new framework ...
Continue reading
Architecture of Computing Systems - ARCS 2008 : 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings
This book constitutes the refereed proceedings of the 21st International Conference on Architecture of Computing Systems, ...
Continue reading
Arithmetic of Finite Fields
This book presented structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, ...
Continue reading
Arithmetic of Finite Fields
This book presented structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, ...
Continue reading
Arithmetic of Finite Fields : 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings
This book constitutes the refereed proceedings of the Second International Workshop on the Arithmetic of Finite Fields, WAIFI ...
Continue reading
Artificial Economics
The purpose of this book is to give an up-to date view of the scientific production in the fields of Agent-based Computational ...
Continue reading
Artificial Evolution : 8th International Conference, Evolution Artificielle, EA 2007, Tours, France, October 29-31, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Artificial ...
Continue reading
Artificial Immune Systems
This book contains sections on search and optimization, classification and clustering, anomaly detection and negative selection, ...
Continue reading
Artificial Immune Systems
This book contains sections on search and optimization, classification and clustering, anomaly detection and negative selection, ...
Continue reading
Artificial Immune Systems : 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008. Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Artificial Immune Systems, ICARIS 2008, ...
Continue reading
Artificial Intelligence : Applications and Innovations / Rashmi Priyadarshini, R M Mehra, Amit Sehgal, Prabhu Jyot Singh
It's about the science of artificial intelligence (AI). AI is the study of the design of intelligent computational agents. ...
Continue reading
