These Transactions provide a record of the organisational and administrative activities of the IAU XXX General Assembly, which took place in Vienna, Austria, in

Geomorphometry is the science of quantitative terrain characterization and analysis, and has traditionally focused on the investigation of terrestrial and plane

This important volume provides a plethora of information on aerial vehicles and their possible roles in revolutionizing agricultural procedures through spectral

Formal Methods in Computer-Aided Design (FMCAD) is a conference series on the theory and applications of formal methods in hardware and system verification.