00442nam a22001097a 4500082001500000100002300015245009200038260003200130300002100162500009300183856005600276  aMSEE-3 HIR  aSyeda Hira Taqdees  aFormalization of laplace transform using the multivariable calculus theory of HOL-Light  aIslamabadbNUST-SEECSc2013  a48b25cmeCD ROM  aSupervisors: Dr. Osman Hasan, Dr. Awais Mehmood Kamboh, Dr. Ammar Hasan, Dr. Rehan Hafiz  uhttp://10.250.8.41:8080/xmlui/handle/123456789/8811