Non-comutative Gelfand Theories- A Tool-Kit for Operator Theorists and Numerical Analysts