Comparison of programming languages with dependent types (current) Module:Location map/data/Russia Nizhny Novgorod central Module:Location map/data/Indonesia West Papua ATC code Skin (computing) Linux-VServer Graphics Execution Manager Subhash C. Kashyap Men on... Independent variables Ministry of Economic Development and Trade (Ukraine) 2011 Rostelecom Cup Experimental method CIT Group VASP Flight 210 Abstraction (mathematics) Velocity-addition formula Simutronics South African Class 1 4-8-0 Shepard tables Gerald R. Ford Presidential Library 413 Transport and Rescue Squadron Man and Woman in Front of a Pile of Excrement