Penspesifikasian dan pengesahsahihan protokol komunikasi menggunakan pembukti teorem (Record no. 459095)

MARC details
000 -LEADER
fixed length control field 01283nam a2200325 a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250930130454.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field he amu baau
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100316s2007 my a m 000 0 may d
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
Level of rules in bibliographic description 201101181553
Level of effort used to assign nonsubject heading access points nuri
y 03-16-2010
z nuri
040 ## - CATALOGING SOURCE
Original cataloging agency UKM
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) mikrofis tesis TK5105.55.N87 2010
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) mikrofis tesisTK5105.55
Local cutter number (OCLC) ; Book number/undivided call number, CALL (RLIN) .N87 2010
100 0# - MAIN ENTRY--PERSONAL NAME
Personal name Nursyahidah Alias
245 10 - TITLE STATEMENT
Title Penspesifikasian dan pengesahsahihan protokol komunikasi menggunakan pembukti teorem
Medium [microform]/
Statement of responsibility, etc. Nursyahidah binti Alias
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Bangi, Selangor:
Name of publisher, distributor, etc. Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
Date of publication, distribution, etc. 2010
300 ## - PHYSICAL DESCRIPTION
Extent 3 microfiches ; 11 x 15cm.
502 ## - DISSERTATION NOTE
Dissertation note Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 2007
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Rujukan : p. [153]-164
610 20 - SUBJECT ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element Universiti Kebangsaan Malaysia
General subdivision Dissertations
9 (RLIN) 62865
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Dissertations, Academic
Geographic subdivision Malaysia
9 (RLIN) 62866
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer network protocols
General subdivision Specifications
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Automatic theorem proving
907 ## - LOCAL DATA ELEMENT G, LDG (RLIN)
a .b14674191
b 2021-05-28
c 2019-11-12
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type TERHAD
Suppress in OPAC No
Call number prefix mikrofis tesis TK5105.55.N87 2010
914 ## - VTLS Number
VTLS Number vtls003428023
990 ## - EQUIVALENCES OR CROSS-REFERENCES [LOCAL, CANADA]
Link information for 9XX fields nuri
991 ## - LOCAL NOTE (NAMA FAKULTI/INSTITUT/PUSAT)
a Koleksi Media
998 ## - LOCAL CONTROL INFORMATION (RLIN)
Library PERPUSTAKAAN TUN SERI LANANG
Operator's initials, OID (RLIN) 2010-03-03
Cataloger's initials, CIN (RLIN) m
Material Type (Sierra) Printed Books
Language Malay
Country
-- 0
-- .b14674191
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection Home library Current library Shelving location Date acquired Source of acquisition Cost, normal purchase price Inventory number Total checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
          PERPUSTAKAAN TUN SERI LANANG PERPUSTAKAAN TUN SERI LANANG MEDIA-P. TUN SERI LANANG (ARAS 2) 12/11/2019 - 0.00 .i19347522   mikrofis tesis TK5105.55.N87 2010 00002008116 17/09/2025 1 17/09/2025 TERHAD

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library