Interdisciplinary Interaction of Exact Sciences and Humanities: Methodology and History.

Autor: Marchuk, Alexander, Krayneva, Irina

Publikováno v: 2014 Third International Conference on Computer Technology in Russia & in the Former Soviet Union; 2014, p165-171, 7p

Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Autor: Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov

This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019.The 18 full papers and 3 short papers presented in this volume were carefully review