Refinement Techniques in Software Engineering
This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...
Lee masReflections on the Fukushima Daiichi Nuclear Accident : Toward Social-Scientific Literacy and Engineering Resilience
This book focuses on nuclear engineering education in the post-Fukushima era. It was edited by the organizers of the summer ...
Lee mas
Reforms, Organizational Change and Performance in Higher Education
This book investigates the effects of changes in leadership and managerial structures of Nordic universities resulting from ...
Lee mas
Refractive Lens Surgery
Refractive Lens Surgery - Represents a compilation of the best cutting edge practices for achieving success with refractive ...
Lee masRegenerative Territories : Dimensions of Circularity for Healthy Metabolisms
This book provides new perspectives on circular economy and space, explored towards the definition of regenerative territories ...
Lee mas
Regional Climate Studies of China
Regional Climate of China is the first volume to present the latest research findings gained over the last decade which has ...
Lee mas
Regional Climate Variability and its Impacts in The Mediterranean Area
Global change due to natural processes and anthropogenic activity as well as the natural variability of the climate system ...
Lee mas
Regional Disparities in Small Countries
This volume revisits the common conception that countries characterized by small land area and small population sizes do ...
Lee mas
Regionalisation, Growth, and Economic Integration
The purpose of this book is to analyse the process of regionalisation and to plot its future development. Regionalisation ...
Lee mas
Regulating Agricultural Biotechnology
This book presents the first thorough economic analysis of current agricultural biotechnology regulation. The contributors, ...
Lee mas
Regulation of Gene Expression : Molecular Mechanisms
This volume provides a clear, concise overview of the protocols and techniques used to examine chemically or disease-mediated ...
Lee mas
Regulatory T Cells in Inflammation
Regulatory T-cells are essential components of the immune system, and several different subsets of regulatory T-cells have ...
Lee mas
Relations and Kleene Algebra in Computer Science : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
The book describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with ...
Lee mas
Relativity and the Dimensionality of the World
The main focus of this volume is the question: is spacetime nothing more than a mathematical space (which describes the evolution ...
Lee mas
Relativity and the Nature of Spacetime
The most important question that is addressed in this book is "what is the nature (the ontological status) of spacetime?" ...
Lee mas
Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming
This book presents a comprehensive description of theory, algorithms and software for solving nonconvex mixed integer nonlinear ...
Lee mas
Reliability and Optimal Maintenance
Postgraduates, researchers, and practitioners in reliability engineering, maintenance engineering, operations research, industrial ...
Lee masReliability-based Structural Design
Reliability-based Structural Design provides readers with an understanding of the fundamentals and applications of structural ...
Lee mas
Reliable Face Recognition Methods
This book seeks to comprehensively address the face recognition problem while gaining new insights from complementary fields ...
Lee mas
Reliable Software Technologies - Ada Europe 2007
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
Lee mas
