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 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), ...
اقرأ المزيد
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 ...
اقرأ المزيد
Approximation and Online Algorithms
It focuses on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems ...
اقرأ المزيد
Approximation and Online Algorithms
It focuses on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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, ...
اقرأ المزيد
Arithmetic of Finite Fields
This book presented structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, ...
اقرأ المزيد
Arithmetic of Finite Fields
This book presented structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Artificial Immune Systems
This book contains sections on search and optimization, classification and clustering, anomaly detection and negative selection, ...
اقرأ المزيد
Artificial Immune Systems
This book contains sections on search and optimization, classification and clustering, anomaly detection and negative selection, ...
اقرأ المزيد
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, ...
اقرأ المزيد
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. ...
اقرأ المزيد
