Electronic Books

Total Books: 401 - 420 /428

Theory of Cryptography

This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...

Theory of Evolutionary Computation

Reports on recent developments in the theory of evolutionary computation, or more generally the domain of randomized search ...

Theory of Probability and Random Processes

A one-year course in probability theory and the theory of random processes, taught at Princeton University to undergraduate ...

Theory of Random Sets

Theory of Random Sets presents a state of the art treatment of the modern theory, but it does not neglect to recall and build ...

Tips and Techniques in Laparoscopic Surgery

This comprehensive manual demonstrates basic laparoscopic techniques step-wise, with emphasis on practical details and tips. ...

Uncertainty Forecasting in Engineering

This book deals with uncertainty forecasting based on a fuzzy time series approach, including fuzzy random processes and ...

Uncertainty Theory

Uncertainty theory is a branch of mathematics based on normality, monotonicity, self-duality, and countable subadditivity ...

Understanding Planning Tasks : Domain Complexity and Heuristic Decomposition

Action planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...

Univariate Stable Distributions

This textbook highlights the many practical uses of stable distributions, exploring the theory, numerical algorithms, and ...

Universal Access in Human-Computer Interaction. Applications and Services

This volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human Computer ...

Upper Gastrointestinal Surgery

Upper Gastrointestinal Surgery forms part of the Springer Specialist Surgery Series designed to be a valuable resource for ...

Variable Domain-specific Software Languages with DjDSL

This book details the conceptual foundations, design and implementation of the domain-specific language (DSL) development ...

Verification, Model Checking, and Abstract Interpretation

This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...

Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

The book feature current research from the communities of verification, program certification, model checking, debugging ...

Virtue, Liberty, and Toleration : Political Ideas of European Women, 1400–1800

This volume challenges the view that women have not contributed to the historical development of political ideas, and highlights ...

Virtues and Passions in Literature / Excellence, Courage, Engagements, Wisdom, Fulfilment

The Human Condition prompts our creative strivings beyond the natural round of life toward outstanding achievements. It shows ...

Visions of Heaven

Visions of Heaven shows more than 120 images, including the Roman Pantheon, the Byzantine churches of Turkey, the great domes ...

Visualizing the Structure of Science

Vargas-Quesada and Moya-Anegón propose a methodology for visualizing large scientific domains. They create science maps, ...

Walks on Ordinals and Their Characteristics

The analysis of the characteristics of walks on ordinals is a powerful new technique for building mathematical structures, ...

Wave Propagation and Time Reversal in Randomly Layered Media

Wave propagation in random media is an interdisciplinary field that has emerged from the need in physics and engineering ...

Total Books: 401 - 420 /428