You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the proceedings of the 14th European Conference on Modelling Foundations and Applications, ECMFA 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 19 papers presented in this volume were carefully reviewed and selected from 45 submissions. The cover topics such as (bidirectional and unidirectional) model transformations, model management, re-engineering, modelling environments, verification and validation, and domain-specific modelling w.r.t. business processes, automotive software, and safety-critical software.
This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reuse and industrial applications; new paradigms for model transformation; transformation validation and verification; and foundations of model transformation.
This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 9 full papers were carefully reviewed and selected from 24 submissions. This book also presents 1 invited paper. The papers include research, application, and tool demonstration papers presented in the context of four sessions on verification of model transformations, model transformation tools, transformation reuse and graph transformations.
These proceedings contain two hundred and eighteen papers representing the work of authors from countries across the world. They cover a wide range of research and applications in safety and reliability issues that concern all types of systems, processes and structures.
Global Climate Change and Cold Regions Ecosystems provides information on soil processes and the carbon cycle in cold ecoregions as well as the soil carbon pool and its fluxes in the soils of cold ecoregions. Filling a void in this area of soil science, this resource explains soil processes influencing C dynamics under natural and disturbed ecosyst
None
This book provides a comprehensive, up-to-date assessment of the key terrestrial components of the Arctic system, i.e., its hydrology, permafrost, and ecology, drawing on the latest research results from across the circumpolar regions. The Arctic is an integrated system, the elements of which are closely linked by the atmosphere, ocean, and land. Using an integrated system approach, the book’s 30 chapters, written by a diverse team of leading scholars, carefully examine Arctic climate variability/change, large river hydrology, lakes and wetlands, snow cover and ice processes, permafrost characteristics, vegetation/landscape changes, and the future trajectory of Arctic system evolution. The...