Electronic Books

Total Books: 161 - 180 /1146

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. ...

Total Books: 161 - 180 /1146