Construction And Functionalization of Heterocycles by Electrochemistry

This book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.

This book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.

This book includes the proceedings of the 19th International Scientific Conference “Energy Management of Municipal Transportation Facilities and Transport EMMFT 2017”, which was held in Khabarovsk, Russia on 10–13 April 2017. The book presents the research findings of scientists working at universities in the Far Eastern, Siberian and Ural Federal Districts of Russia, and of Serbia, which are unique regions notable for sustainably operating complex transport infrastructures in severe climatic and geographic environments. It also offers practical insights into transportation operation under such conditions.