Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Chemistry and Physics of Solid Surfaces IV
At the International Summer Institute in Surface Science (ISISS), which is held bienially on the Campus of the University of Wisconsin-Milwaukee, invited speakers present tutorial review lectures during the course of one week. The majority of the presentations deal with the gas-solid interface, but now and then relevant reviews concerning liquid-solid or solid-solid interfaces are included. The goal of ISISS was outlined in the first ISISS publication: "We recognize that the International Summer Institute in Surface Science should foster mutual understanding and interaction among theorists and experimentalists in the various areas of surface science. Progress can be achieved only when we occ...
Model-driven engineering of adaptation engines for self-adaptive software
The development of self-adaptive software requires the engineering of an adaptation engine that controls and adapts the underlying adaptable software by means of feedback loops. The adaptation engine often describes the adaptation by using runtime models representing relevant aspects of the adaptable software and particular activities such as analysis and planning that operate on these runtime models. To systematically address the interplay between runtime models and adaptation activities in adaptation engines, runtime megamodels have been proposed for self-adaptive software. A runtime megamodel is a specific runtime model whose elements are runtime models and adaptation activities. Thus, a ...
Introduction to Surface Chemistry and Catalysis
Now updated-the current state of development of modern surface science Since the publication of the first edition of this book, molecular surface chemistry and catalysis science have developed rapidly and expanded into fields where atomic scale and molecular information were previously not available. This revised edition of Introduction to Surface Chemistry and Catalysis reflects this increase of information in virtually every chapter. It emphasizes the modern concepts of surface chemistry and catalysis uncovered by breakthroughs in molecular-level studies of surfaces over the past three decades while serving as a reference source for data and concepts related to properties of surfaces and i...
Software Engineering
The International Summer School on Software Engineering trains future researchers and facilitates the exchange of knowledge between academia and industry. This volume contains papers from recent summer schools and contributions on latest findings in the field.
Software Engineering for Self-Adaptive Systems
Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in enabling the development of self-adaptive systems that are able to adapt to internal faults, changing requirements, and evolving environments. The 15 carefully reviewed papers included in this state-of-the-art survey were presented at the International Seminar on "Software Engineering for Self-Adaptive Systems", held in Dagstuhl Castle, Germany, in October 2010. Continuing the course of the first book of the series on "Software Engineering for Self-Adaptive Systems" the collection of papers in this second volume comprises a research roadmap accompanied by four elaborating working group papers. Next there are two parts - with three papers each - entitled "Requirements and Policies" and "Design Issues"; part four of the book contains four papers covering a wide range of "Applications".
Phase Transitions and Adsorbate Restructuring at Metal Surface
The objective in initiating this series in 1980 was to provide an in-depth review of advances made in the understanding key aspects of surface chemistry and physics through the application of new techniques to the study of well-defined surfaces. Since then the field of surface science has greatly matured, and further important techniques, particularly scanning probe microscopies, have been successfully assimilated into the applications armoury of the surface scientist. The present volume is a series of timely reviews by many of the current experts in the field of phase transitions and adsorbate-induced surface restructuring. No aspect of the science of solid surfaces can be fully understood ...
Model Driven Engineering Languages and Systems
This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 2012. The 50 papers presented in this volume were carefully reviewed and selected from a total of 181 submissions. They are organized in topical sections named: metamodels and domain specific modeling; models at runtime; model management; modeling methods and tools, consistency analysis, software product lines; foundations of modeling; static analysis techniques; model testing and simulation; model transformation; model matching, tracing and synchronization; modeling practices and experience; and model analysis.
Leveraging Applications of Formal Methods, Verification and Validation
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topical sections on adaptable and evolving software for eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata to register interface programs, RERS grey-box challenge 2012, Linux driver verification, bioscientific data processing and modeling, process and data integration in the networked healthcare, timing constraints: theory meets practice, formal methods for the development and certification of X-by-wire control systems, quantitative modelling and analysis, software aspects of robotic systems, process-oriented geoinformation systems and applications, handling heterogeneity in formal development of HW and SW Systems.
