Invariants generation for method overriding using abstract interpretation / Siti Hafizah Ab. Hamid
Software verification is an important element of software reliability. The significance and importance of verification have been recognized by Bill Gates in his speech in WinHEC 2002. The software verification allows program’s specification to be formally proved to ensure the specification verified...
| मुख्य लेखक: | Ab. Hamid, Siti Hafizah |
|---|---|
| स्वरूप: | थीसिस |
| प्रकाशित: |
2013
|
| विषय: |
समान संसाधन
Pakej pembelajaran matematik UPSR (M3UPSR) / Radziah Ab. Hamid
द्वारा: Radziah, Ab. Hamid
प्रकाशित: (2001)
द्वारा: Radziah, Ab. Hamid
प्रकाशित: (2001)
Smart bin for wet waste detection using ESP8266 NodeMCU / Siti Nur Athirah Ab Hamid
द्वारा: Ab Hamid, Siti Nur Athirah
प्रकाशित: (2020)
द्वारा: Ab Hamid, Siti Nur Athirah
प्रकाशित: (2020)
Text extraction from invariant complex image
द्वारा: Al Hashi, Nouri Ali Al Mabrouk
प्रकाशित: (2009)
द्वारा: Al Hashi, Nouri Ali Al Mabrouk
प्रकाशित: (2009)
Kejadian khalwat di Bandaraya Pulau Pinang (Perbincangan khas dengan Bukit Mertajam) / Ab. Halim Ab. Hamid
द्वारा: Ab. Halim , Ab. Hamid
प्रकाशित: (1978)
द्वारा: Ab. Halim , Ab. Hamid
प्रकाशित: (1978)
Noisy product: user's response on form design / Abu Hanifa Ab. Hamid
द्वारा: Ab. Hamid, Abu Hanifa
प्रकाशित: (2014)
द्वारा: Ab. Hamid, Abu Hanifa
प्रकाशित: (2014)
Sistem pengurusan jenazah / Nik Izan Hafizah Nik Husin
द्वारा: Nik Izan Hafizah , Nik Husin
प्रकाशित: (2000)
द्वारा: Nik Izan Hafizah , Nik Husin
प्रकाशित: (2000)
Marangoni convection in a horizontal liquid layer with insoluble surfactant / Ainon Syazana Ab Hamid
द्वारा: Ab Hamid, Ainon Syazana
प्रकाशित: (2013)
द्वारा: Ab Hamid, Ainon Syazana
प्रकाशित: (2013)
Academic Advisor System (AAS) / Hafizah Ismail
द्वारा: Hafizah, Ismail
प्रकाशित: (2005)
द्वारा: Hafizah, Ismail
प्रकाशित: (2005)
Reuse oriented approach for reliable software product / Maziah Abdul Hamid
द्वारा: Abdul Hamid, Maziah
प्रकाशित: (2005)
द्वारा: Abdul Hamid, Maziah
प्रकाशित: (2005)
Islamic abstractive motifs interpretation in Persian art: A historical study of Herat school painting / Neda Zoghi
द्वारा: Neda , Zoghi
प्रकाशित: (2019)
द्वारा: Neda , Zoghi
प्रकाशित: (2019)
Performance measurement framework for local authorities in Sarawak / Siti Mardinah Abdul Hamid
द्वारा: Abdul Hamid, Siti Mardinah
प्रकाशित: (2019)
द्वारा: Abdul Hamid, Siti Mardinah
प्रकाशित: (2019)
Models of integrated inventory system with stock-dependent demand / Hafizah Zulkipli
द्वारा: Zulkipli, Hafizah
प्रकाशित: (2013)
द्वारा: Zulkipli, Hafizah
प्रकाशित: (2013)
Budaya berfikir kritis: Kajian di era pemerintahan Khalifah ‘Umar bin ‘Abd-‘Al-Aziz (99-101H) / Norafifah Ab. Hamid
द्वारा: Norafifah , Ab. Hamid
प्रकाशित: (2010)
द्वारा: Norafifah , Ab. Hamid
प्रकाशित: (2010)
Courseware on learning science for preschooler / Noor Hafizah Che Ali
द्वारा: Che Ali, Noor Hafizah
प्रकाशित: (2006)
द्वारा: Che Ali, Noor Hafizah
प्रकाशित: (2006)
Generic nodal abstraction for enhancing human-agent collaborative model with an integrated security and trust aspects
द्वारा: Mohammed, Khudair Abbas
प्रकाशित: (2019)
द्वारा: Mohammed, Khudair Abbas
प्रकाशित: (2019)
Sikap dan aktiviti politik di kalangan masyarakat luar bandar: Satu kajian kes di Mukim Jerangau, Dungun, Terengganu / Mursiedy Ab. Hamid
द्वारा: Mursiedy , Ab. Hamid
प्रकाशित: (1985)
द्वारा: Mursiedy , Ab. Hamid
प्रकाशित: (1985)
Weighted central moment for image invarianceness
द्वारा: Pamungkas, Rela Puteri
प्रकाशित: (2011)
द्वारा: Pamungkas, Rela Puteri
प्रकाशित: (2011)
Framework for pose-invariant face recognition
द्वारा: Shahdi, Seyed Omid
प्रकाशित: (2012)
द्वारा: Shahdi, Seyed Omid
प्रकाशित: (2012)
Feature extraction and clustering of trademark images : a comparison between geometric moment invariant and zernike moment invariant
द्वारा: Abd. Halim, Shahliza
प्रकाशित: (1999)
द्वारा: Abd. Halim, Shahliza
प्रकाशित: (1999)
IT and productivity in Malaysia : firm-level evidence / Nor Hafizah Mohd. Arop
द्वारा: Mohd Arop, Nor Hafizah
प्रकाशित: (2002)
द्वारा: Mohd Arop, Nor Hafizah
प्रकाशित: (2002)
Formal features of co-operative talk amongst Malay female speakers / Hafizah Ahamad
द्वारा: Ahamad, Hafizah
प्रकाशित: (2004)
द्वारा: Ahamad, Hafizah
प्रकाशित: (2004)
Oral health needs and barriers to care in children with congenital heart disease / Hafizah Mohammad
द्वारा: Hafizah , Mohammad
प्रकाशित: (2024)
द्वारा: Hafizah , Mohammad
प्रकाशित: (2024)
Outdoor education program participation on UiTM students' leadership practices / Siti Fadhilah Abdul Hamid
द्वारा: Abdul Hamid, Siti Fadhilah
प्रकाशित: (2014)
द्वारा: Abdul Hamid, Siti Fadhilah
प्रकाशित: (2014)
Sejarah dan identiti senibina kolonial Inggeris di bandar Taiping Perak / Hafizah Badaruzaman
द्वारा: Hafizah, Badaruzaman
प्रकाशित: (1988)
द्वारा: Hafizah, Badaruzaman
प्रकाशित: (1988)
Production of polysaccharide from Ganoderma neojaponicum imazeki / Nik Hafizah Nik Ubaidillah
द्वारा: Nik Hafizah , Nik Ubaidillah
प्रकाशित: (2017)
द्वारा: Nik Hafizah , Nik Ubaidillah
प्रकाशित: (2017)
Bending behaviour of timber beams strenghthened using bonded-in plates / Hafizah Muhamad Azlan
द्वारा: Muhamad Azlan, Hafizah
प्रकाशित: (2013)
द्वारा: Muhamad Azlan, Hafizah
प्रकाशित: (2013)
An integrated value management (IVM)
framework for contractors in design and
build (D&B) projects / Siti Hamidah Abdul Hamid
द्वारा: Abdul Hamid, Siti Hamidah
प्रकाशित: (2014)
द्वारा: Abdul Hamid, Siti Hamidah
प्रकाशित: (2014)
Stabilities and encapsulation of cattleya bowringiana anthocyanin extracts in calcium alginate beads / Noor Hafizah Abdullah
द्वारा: Abdullah, Noor Hafizah
प्रकाशित: (2009)
द्वारा: Abdullah, Noor Hafizah
प्रकाशित: (2009)
Method and tool to generate requirement traceability Matrix for scrum development methodology
द्वारा: Duraisamy, Gunavathi
प्रकाशित: (2014)
द्वारा: Duraisamy, Gunavathi
प्रकाशित: (2014)
Higher Order Centralised Scale-Invariants for Unconstrained Isolated Handwritten Digits
द्वारा: Shamsuddin, Siti Mariyam
प्रकाशित: (2000)
द्वारा: Shamsuddin, Siti Mariyam
प्रकाशित: (2000)
Laman web Info Unix / Mohd Shazwim S. Hamid Marican
द्वारा: Mohd Shazwim, S. Hamid Marican
प्रकाशित: (2002)
द्वारा: Mohd Shazwim, S. Hamid Marican
प्रकाशित: (2002)
Multi-objective flow measurement in software defined networks (SDN) for datacenter / Hamid Tahaei
द्वारा: Hamid , Tahaei
प्रकाशित: (2018)
द्वारा: Hamid , Tahaei
प्रकाशित: (2018)
Saudi car plate recognition using invariant moment
द्वारा: A. Altalhi, Ahmed Salem
प्रकाशित: (2009)
द्वारा: A. Altalhi, Ahmed Salem
प्रकाशित: (2009)
Human activities recognition under camera position-invariant
द्वारा: Hosseini, Behnam
प्रकाशित: (2010)
द्वारा: Hosseini, Behnam
प्रकाशित: (2010)
Evaluating the avoidance factors in counselling using fuzzy analytical hierarchy process (AHP) / Nurul Hafizah Alias
द्वारा: Alias, Nurul Hafizah
प्रकाशित: (2020)
द्वारा: Alias, Nurul Hafizah
प्रकाशित: (2020)
Patients’ satisfaction with physiotherapy for low back pain among elderly in Institutional care / Hafizah Abdul Aziz
द्वारा: Abdul Aziz, Hafizah
प्रकाशित: (2016)
द्वारा: Abdul Aziz, Hafizah
प्रकाशित: (2016)
Interval estimation of the concentration parameter and missing value imputation in the von mises distribution / Nor Hafizah Moslim
द्वारा: Nor Hafizah , Moslim
प्रकाशित: (2022)
द्वारा: Nor Hafizah , Moslim
प्रकाशित: (2022)
The effects of sonification on interpretation of geo-visualization of complex dengue data
द्वारा: Lee, Lilian Yen Wei
प्रकाशित: (2018)
द्वारा: Lee, Lilian Yen Wei
प्रकाशित: (2018)
Commutativity degrees and related invariants of some finite nilpotent groups
द्वारा: Abd. Manaf, Fadila Normahia
प्रकाशित: (2013)
द्वारा: Abd. Manaf, Fadila Normahia
प्रकाशित: (2013)
Summation Invariants Of Objects Under Projective Transformation Group With Application
द्वारा: Azhir, Nasereh
प्रकाशित: (2016)
द्वारा: Azhir, Nasereh
प्रकाशित: (2016)
समान संसाधन
-
Pakej pembelajaran matematik UPSR (M3UPSR) / Radziah Ab. Hamid
द्वारा: Radziah, Ab. Hamid
प्रकाशित: (2001) -
Smart bin for wet waste detection using ESP8266 NodeMCU / Siti Nur Athirah Ab Hamid
द्वारा: Ab Hamid, Siti Nur Athirah
प्रकाशित: (2020) -
Text extraction from invariant complex image
द्वारा: Al Hashi, Nouri Ali Al Mabrouk
प्रकाशित: (2009) -
Kejadian khalwat di Bandaraya Pulau Pinang (Perbincangan khas dengan Bukit Mertajam) / Ab. Halim Ab. Hamid
द्वारा: Ab. Halim , Ab. Hamid
प्रकाशित: (1978) -
Noisy product: user's response on form design / Abu Hanifa Ab. Hamid
द्वारा: Ab. Hamid, Abu Hanifa
प्रकाशित: (2014)