Electronic Books

Total Books: 1261 - 1280 /1306
Understanding Nature : Case Studies in Comparative Epistemology

This summons clearly resonates with the “archetypical image” associated with water as a basic element, discussed in Chapter ...

Lee mas
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, ...

Lee mas
Unemployment Insurance and Non-Standard Employment : Four European Countries in Comparison

The importance of non-standard employment forms has increased over the last decades. Janine Leschke addresses two important ...

Lee mas
Univariate Stable Distributions

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

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

Lee mas
Upper Gastrointestinal Surgery

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

Lee mas
NoIMG
Urban Planning in the Digital Age / Nicolas Douay

Technological changes have often produced important social changes that translate into spatial and planning practice. Whereas ...

Lee mas
Variable Domain-specific Software Languages with DjDSL

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

Lee mas
Variant Construction from Theoretical Foundation to Applications

This book presents theoretical framework and sample applications of variant construction. The first part includes the components ...

Lee mas
Variation et optimisation de formes

Ce livre est une initiation aux approches modernes de l’optimisation mathématique de formes. Il s’appuie sur les seules ...

Lee mas
Variational, Geometric, and Level Set Methods in Computer Vision

Mathematical methods has been a dominant research path in computational vision leading to a number of areas like ?ltering, ...

Lee mas
Vegetables I

The production and consumption of vegetables has expanded dramatically in the last years, with a global growth in the production ...

Lee mas
Vegetables II

The production and consumption of vegetables has expanded dramatically in the last years, with a global growth in the production ...

Lee mas
Verification Methodology Manual for SystemVerilog

Verification Methodology Manual for SystemVerilog is a blueprint for verification success, guiding SoC teams in building ...

Lee mas
Verification, Model Checking, and Abstract Interpretation

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

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

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

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

Lee mas
Visions of Heaven

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

Lee mas
Visual Basic 2008 Recipes : A Problem-Solution Approach

Sometimes you just need to solve a problem and get on with your work. To that end, Visual Basic 2008 Recipes is a compendium ...

Lee mas
Total Books: 1261 - 1280 /1306