development  (42.732 Angebote unter 30.719.923 Artikeln)

This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2018, held in Egham, UK in July 20...

Introduction to the Propagation of Radio Waves.- The Earth's Atmosphere.- Electromagnetic Waves and Propagation Characteristics.- Ionospheric Links.- Terrestrial Fixed Links.- Satellite Links.- Mob...

Some of the challenges and opportunities in this field are also discussed, targeting the development of new emergent complex functional materials with tailored properties to solve problems related ...

Contributed Papers.- A Temporal Graph Logic for Verification of Graph Transformation Systems.- On the Algebraization of Many-Sorted Logics.- Algebraic Semantics of Service Component Modules.- Auton...

This book guides readers into the realm of particle accelerators, which have served as indispensable tools for fundamental research, energy development, medical therapy, industrial applications, na...

Fluid dynamics is an excellent example of how recent advances in computational tools and techniques permit the rapid advance of basic and applied science. The development of computational fluid dyn...

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020.

This book guides readers into the realm of particle accelerators, which have served as indispensable tools for fundamental research, energy development, medical therapy, industrial applications, na...

The Special Issue (SI) "Recent Advances in GPR Imaging" offers an up-to-date overview of state-of-the-art research activities dealing with the development of Ground Penetrating Radar (GPR) technolo...

Interactive Rule-Based Specification with an Application to Visual Language Definition.- Algebraic Abstractions.- Combining Logics: Parchments Revisited.- Canonical Institutions of Behaviour.- The ...

The book deals with various consequences of major nuclear accidents, such as in 1986 in Chernobyl and in 2011 in Fukushima. The public is extremely interested in learning more about the movements a...

This volume is a follow-up of PAGEOPH Topical Volume 167 (2010) and again reports on the latest advances in science and technology that have been achieved to monitor compliance with the Comprehensi...

Invited Topics.- A Type-Theoretic Memory Model for Verification of Sequential Java Programs.- From States to Histories.- Principles and Pragmatics of Subtyping in PVS.- Casl: Language, Methodology ...

This book is a useful guide for researchers in ecology and earth science interested in the use of accelerator mass spectrometry technology. The development of research in radiocarbon measurements o...

Invited Talks.- The X-Scale Challenge.- Sustained Petascale: The Next MPI Challenge.- MPI: Past, Present and Future.- New and Old Tools and Programming Models for High-Performance Computing.- The T...