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.
 
 
                    