Electronic Books

Total Books: 1261 - 1280 /1306
978-1-4020-6492-0
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 ...

Continue reading
978-3-540-77723-6
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, ...

Continue reading
978-3-531-91197-7
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 ...

Continue reading
978-3-030-52915-4
Univariate Stable Distributions

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

Continue reading
978-3-540-73283-9
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 ...

Continue reading
978-1-84628-066-5
Upper Gastrointestinal Surgery

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

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

Continue reading
978-3-030-42152-6
Variable Domain-specific Software Languages with DjDSL

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

Continue reading
978-981-13-2282-2
Variant Construction from Theoretical Foundation to Applications

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

Continue reading
978-3-540-37689-7
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 ...

Continue reading
978-3-540-32109-5
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, ...

Continue reading
978-0-387-30443-4
Vegetables I

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

Continue reading
978-0-387-74110-9
Vegetables II

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

Continue reading
978-0-387-25556-9
Verification Methodology Manual for SystemVerilog

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

Continue reading
978-3-540-69738-1
Verification, Model Checking, and Abstract Interpretation

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

Continue reading
978-3-540-78163-9
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 ...

Continue reading
978-1-4020-5895-0
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 ...

Continue reading
978-1-4020-6422-7
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 ...

Continue reading
978-1-56898-645-6
Visions of Heaven

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

Continue reading
978-1-4302-0604-0
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 ...

Continue reading
Total Books: 1261 - 1280 /1306