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
Approximate and Noisy Realization of Discrete-Time Dynamical Systems
This monograph deals with approximation and noise cancellation of dynamical systems which include linear and nonlinear input/output ...
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 (vol. # 3879)
The third Workshop on Approximation and Online Algorithms (WAOA 2005) 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 masArchitecture: Form, Space, and Order / Francis D. K. Ching
The revered architectural reference, updated with contemporary examples and interactive 3D modelsAn access card with redemption ...
Lee mas
Artificial Intelligence in Higher Education : A Practical Approach / Prathamesh Padmakar Churi, Shubham Joshi, Mohamed Elhoseny, Amina Omrane
Highlights the broad field of artificial intelligence applications in education, regarding any type of artificial intelligence ...
Lee mas
Artificial Intelligence in Intelligent Systems
This book constitutes the refereed proceedings of the artificial intelligence in intelligent systems section of the 10th ...
Lee mas
Artificial Neural Networks – ICANN 2007
This book contains learning theory, advances in neural network learning methods, ensemble learning, spiking neural networks, ...
Lee mas
Artificial Neural Networks – ICANN 2007
This book contains learning theory, advances in neural network learning methods, ensemble learning, spiking neural networks, ...
Lee mas
Assessment and Future Directions of Nonlinear Model Predictive Control
Thepastthree decadeshaveseenrapiddevelopmentin the areaofmodelpred- tive control with respect to both theoretical and application ...
Lee mas
Astrophysical Disks
The book deals with collective and stochastic processes in astrophysical discs involving theory, observations, and the results ...
Lee mas
Asymptotics for Dissipative Nonlinear Equations
Many of problems of the natural sciences lead to nonlinear partial differential equations. However, only a few of them have ...
Lee mas
Aulton's Pharmaceutics : The Design and Manufacture of Medicines / Kevin Taylor, Michael Aulton
Offers a complete course in one book for students in all years of undergraduate pharmacy and pharmaceutical sciences degrees. ...
Lee mas
Autonomous Systems - Self-Organization, Management, and Control : Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008
The International Workshop on "Autonomous Systems - Self-Organization, Management, and Control " is the eighth in a successful ...
Lee mas
Avatars at Work and Play
examining uses of shared virtual environments in practical settings such as scientific collaboration, distributed meetings, ...
Lee mas
Averaging Methods in Nonlinear Dynamical Systems
The authors have presented an extensive revision of the first edition of the Averaging Methods in Nonlinear Dynamical Systems ...
Lee mas
