News
02 August, 2019
OS DAY-2019. Cooperation among operating platform developers and the security of Russian software
10 April, 2019
Ivannikov Memorial Workshop has been supported by IEEE
M
Maass W.Mac Queen D.
Machover M.
Machtey M.
MacintyreA
MacIntyreJM
Madan D.B.
Mahaney S.R.
Mahn F.K.
Maier W.
Mainhardt G.
Maksimova L. L.
Malcev A.I.
Manasse M.
Manaster A. B.
Marandzjan G. B.
Marcone A.
Marker D.
Marques I.
MartinDA
MartinG
Matiyasevich Yu.V.
Mayoh B.H.
McCarthyC
McCarthyJ
McCoy Ch.F.D.
McCreight E.M.
McEvoy K.
McKenzie R.
McKinsey J. C. C.
McLaughlin T.G.
McNicholl T. H.
McNulty G.
Melhorn K.
Melzak Z.A.
Mendelson E.
Menzel W.
Merkle W.
Metakides G.
MeyerAR
Mihailovich N. J.
Mileti J.R.
MillarRC
MillarTS
MillerD
MillerJS
MillerRG
MillerS
MillerW
Mills C.F.
Minsky M.L.
Mitchell R.
Moggi E.
Moh Shaw-kwei
Mohrherr J.
Moldestad J.
Moll R.
Monk J.D.
Montagna F.
Montalban A.
MooreD
MooreEF
Morley M.D.
Morozov A.S.
Morris P.B.
Moschovakis Y.N.
Moses M.F.
Mostowski A.
MouradJ
MouradKJ
Mrowka S.
MuchnikAn.A.
Muraki H.
Myasnikov A.G.
Mycka J.
Myhill J.
Mytilinaios M.E.