• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Of all publications in the section: 106
Sort:
by name
by year
Book
Mkrtchyan N. V. M.: Max press, 2011.
Added: Feb 11, 2012
Book
Rozanova N. M. M.: Max press, 2002.
Added: Jan 9, 2015
Book
Кузьменков А. П., Кузьменкова Ю. Б. М.: МАКС Пресс, 2011.

The CD contains 3 educational plays recorded by professional actores and teachers for the ELT Theatre performances, and teaching materials offering recommendations, comments and a bief overview of the key intercultural issues highlighted in the plays. They are intended for both classroom and extracurriculum activities and target students (Intermediate level) who aim to raise their cross-cultural competence and master effective communication with English speaking partners.

Added: Jan 24, 2017
Book
Антонюк Е. В., Воронова В. П., Кругова М. С. М.: МАКС Пресс, 2012.
Added: Mar 1, 2013
Book
Iontsev V., Prokhorova Y., Biryukova S. et al. Vol. 27. M.: Max press, 2013.

The twenty-seven volume of the series "International Migration of Population: Russia and Contemporary World" is a collection of papers submitted to the Session 06-03 "The effects of migration on areas of destination" of the XXVII IUSSP International Population Conference *26031 August 2013, South Korea, Busan). The session deals with major international migration trends, increasing role of international migration in the demographic development of receiving countries.

The authors are responsible for the reliability of data and other materials used. The series is both of scientific and educational character and can be accordingly used in teaching process.

Added: Oct 29, 2013
Book
Камкин А. С. М.: МАКС Пресс, 2018.

This textbook is devoted to formal methods for program verification and is based on the lectures given by the author at CMC MSU, DCAM MIPT, and FCS HSE. It describes the basics of such approaches as deductive analysis and model checking. The list of topics includes formal semantics of programming languages (operational and axiomatic semantics), formal specification of requirements (software contracts and the linear-time temporal logic), methods for proving program correctness (the method of inductive assertions and the method of well-founded sets), and model checking methods (the automata-theoretic approach in the explicit and symbolic forms). The textbook also addresses issues of abstract interpretation, constraint solving, and model-based testing; it provides information on the Frama-C and Spin tools. Each chapter is accompanied by examples and exercises.

Added: Nov 2, 2018
Book
Лобза Е. В., Назарова И. Б. М.: МАКС Пресс, 2007.
Added: Oct 30, 2008
Book
Вып. 23: Развитие населения и демографическая политика. Памяти А.Я. Кваши.. М.: МАКС Пресс, 2014.

The book «Population development and population policy» (series «Population studies») is dedicated to the famous Russian demographer, Dr. Sc. (Economics), MSU emeritus professor A.Y. Kvasha. The authors are colleagues and students of A.Y. Kvasha. The first part includes biography of A.Y. Kvasha, list of his main scientific papers and PhD theses carried out under his supervision. The second part is devoted to reminiscences of his disciples and colleagues. The third part contains articles – their themes are associated with A.Y. Kvasha: demographic analysis and projections, population policy, economic, social and military demography. For researchers, post-doctoral fellows, students and anyone interested in population problems

Added: Dec 4, 2014
Book
Тольц М. С., Дарский Л. Е. МАКС Пресс, 2013.
Added: Dec 24, 2012
Book
Белоусов Д. Р., Апокин А. Ю., Сухарева И. О. и др. Вып. 1: Методология. М.: МАКС Пресс, 2012.
Added: Mar 15, 2013
Book
Белоусов Д. Р., Апокин А. Ю., Фролов А. С. и др. Вып. 3: Мировые тренды. М.: МАКС Пресс, 2013.
Added: Dec 12, 2013