Unifying Theories of Programming And Formal Engineering Methods International Training School on Software Engineering, Held at Ictac 2013, Shanghai, China, August 26 30, 2013, Advanced Lectures

The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers.

This book composes the proceedings of the international conference on Geo-Spatial Technologies and Earth Resources (GTER 2022) which was co-organized by Hanoi University of Mining and Geology and the International Society for Mine Surveying (ISM) held at Hanoi city on October 13–14, 2022.

This book composes the proceedings of the international Conference on Geo-Spatial Technologies and Earth Resources (GTER 2022) which was co-organized by Hanoi University of Mining and Geology and the International Society for Mine Surveying (ISM) held at Hanoi city on October 13–14, 2022.

This book composes the proceedings of the international Conference on Geo-Spatial Technologies and Earth Resources (GTER 2022) which was co-organized by Hanoi University of Mining and Geology and the International Society for Mine Surveying (ISM) held at Hanoi city on October 13–14, 2022.

This book composes the proceedings of the international Conference on Geo-Spatial Technologies and Earth Resources (GTER 2022) which was co-organized by Hanoi University of Mining and Geology and the International Society for Mine Surveying (ISM) held at Hanoi city on October 13–14, 2022.