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, ...
Lee mas
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), ...
Lee mas
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 ...
Lee mas
Applied Stochastic Processes
Applied Stochastic Processes uses a distinctly applied framework to present the most important topics in the field of stochastic ...
Lee mas
Approximation and Online Algorithms
It focuses on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems ...
Lee mas
Approximation and Online Algorithms
It focuses on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
Arithmetic of Finite Fields
This book presented structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, ...
Lee mas
Arithmetic of Finite Fields
This book presented structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Artificial Immune Systems
This book contains sections on search and optimization, classification and clustering, anomaly detection and negative selection, ...
Lee mas
Artificial Immune Systems
This book contains sections on search and optimization, classification and clustering, anomaly detection and negative selection, ...
Lee mas
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, ...
Lee mas
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. ...
Lee mas
