Programming Languages and Systems

This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems

Programming Languages and Systems

This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems

Gratings: Theory and Numeric Applications, Second Revisited Edition

International audienceThe second Edition of the Book contains 13 chapters, written by an international team of specialist in electromagnetic theory, numerical methods for modelling of light diffraction by periodic structures having one-, two-, or three-dimensional periodicity, and aiming numerous applications in many classical domains like optical engineering, spectroscopy, and optical telecommunications, together with newly born fields such as photonics, plasmonics, photovoltaics, metamaterials studies, cloaking, negative refraction, and super-lensing. Each chapter presents in detail a specific theoretical method aiming to a direct numerical application by university and industrial researchers and engineers.In comparison with the First Edition, we have added two more chapters (ch.12 and ch.13), and revised four other chapters (ch.6, ch.7, ch.10, and ch.11

ECOS 2012

The 8-volume set contains the Proceedings of the 25th ECOS 2012 International Conference, Perugia, Italy, June 26th to June 29th, 2012. ECOS is an acronym for Efficiency, Cost, Optimization and Simulation (of energy conversion systems and processes), summarizing the topics covered in ECOS: Thermodynamics, Heat and Mass Transfer, Exergy and Second Law Analysis, Process Integration and Heat Exchanger Networks, Fluid Dynamics and Power Plant Components, Fuel Cells, Simulation of Energy Conversion Systems, Renewable Energies, Thermo-Economic Analysis and Optimisation, Combustion, Chemical Reactors, Carbon Capture and Sequestration, Building/Urban/Complex Energy Systems, Water Desalination and Use of Water Resources, Energy Systems- Environmental and Sustainability Issues, System Operation/ Control/Diagnosis and Prognosis, Industrial Ecology