00502nam a22001337a 4500 MSEE-3 HIR Syeda Hira Taqdees 98971 Formalization of laplace transform using the multivariable calculus theory of HOL-Light Islamabad NUST-SEECS 2013 48 25cm CD ROM Supervisors: Dr. Osman Hasan, Dr. Awais Mehmood Kamboh, Dr. Ammar Hasan, Dr. Rehan Hafiz http://10.250.8.41:8080/xmlui/handle/123456789/8811 PR ddc 13010 13010 0 0 0 0 NFIC CL CL GEN 2014-08-14 0 MSEE-3 HIR SEECSP01468 2014-10-22 2014-10-22 PR 0 0 ddc 0 0 CL CL THE 2019-10-09 0 621.3 MSEE-3 HIR CL-T-3376 2019-10-09 2019-10-09 THE