This summons clearly resonates with the “archetypical image” associated with water as a basic element, discussed in Chapter ...
Continue reading
Action planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...
Continue reading
The importance of non-standard employment forms has increased over the last decades. Janine Leschke addresses two important ...
Continue reading
This textbook highlights the many practical uses of stable distributions, exploring the theory, numerical algorithms, and ...
Continue reading
This volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human Computer ...
Continue reading
Upper Gastrointestinal Surgery forms part of the Springer Specialist Surgery Series designed to be a valuable resource for ...
Continue readingTechnological changes have often produced important social changes that translate into spatial and planning practice. Whereas ...
Continue reading
This book details the conceptual foundations, design and implementation of the domain-specific language (DSL) development ...
Continue reading
This book presents theoretical framework and sample applications of variant construction. The first part includes the components ...
Continue reading
Ce livre est une initiation aux approches modernes de l’optimisation mathématique de formes. Il s’appuie sur les seules ...
Continue reading
Mathematical methods has been a dominant research path in computational vision leading to a number of areas like ?ltering, ...
Continue reading
The production and consumption of vegetables has expanded dramatically in the last years, with a global growth in the production ...
Continue reading
The production and consumption of vegetables has expanded dramatically in the last years, with a global growth in the production ...
Continue reading
Verification Methodology Manual for SystemVerilog is a blueprint for verification success, guiding SoC teams in building ...
Continue reading
This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
Continue reading
The book feature current research from the communities of verification, program certification, model checking, debugging ...
Continue reading
This volume challenges the view that women have not contributed to the historical development of political ideas, and highlights ...
Continue reading
The Human Condition prompts our creative strivings beyond the natural round of life toward outstanding achievements. It shows ...
Continue reading
Visions of Heaven shows more than 120 images, including the Roman Pantheon, the Byzantine churches of Turkey, the great domes ...
Continue reading
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