National Library of the British Indian Ocean Territory (current) Daisy chain (electrical engineering) IBM Press Dominated convergence theorem Recursively enumerable Turing degree North Eastern Regional Institute of Science and Technology