Search Result Save to File Save as CSV
Your search for 52038 returns 2791 document(s)
SMC: A Symmetry-Based Model Checker for Verification of Safety and Liveness Properties, page 133-166
Author: A. Prasad Sistla, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
SMC: a symmetry based model checker for verification of liveness properties, (LNCS-Lecture Notes in Computer Science 1254) Hal 464-467
Author: A. P. Sistla; L. Miliades; V. Gyuris; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Reconfigurable router modules using network protocol wrappers, (LNCS-Lecture Notes in Computer Science 2147) Hal 254-263
Author: Florian Braun; John Lockwood; Marcel Waldvogel; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Modelling a time-dependent protocol using the circal process algebra, (LNCS-Lecture Notes in Computer Science 1201) Hal 124-138
Author: Antonio Cerone; Alex J. Cowie; George J. Milne; Philip A. Moseley; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
User accounting system of centralized computer networks using RADIUS protocol (hal 457 - 462)
Author: Heru Nurwarsito, Raden Arief Setyawan, Handoko D Fatikno; | Call Number: SEM - 362 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Analysis of recovery in database system using a write-ahead log protocol (hal 175 - 184)
Author: Anant Jhingran, Pratap Khedkar; | Call Number: SEM - 359 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Masks classification using deep learning to revealing community comliance with the health protocol in time of pandmic COVID 19
Author: Rachmat Hidayat; | Call Number: TR-CSUI/029 (026-030) 2022 | Type: Technical Report
Find Similar |  Add To Favorites |  Detail in New Window 
Performance Evaluation of Datagram Congestion Control Protocol for SIP Signalling using NS-2 Simulation (E67-E71)
Author: Agus Awaludin Mohamad Fathurrahman Reza Primandiansyah Riri Fitri Sari; | Call Number: SEM-384 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Design Secure Protocol Electronic Payment Using Pulse Of Handphone Based On HMAC Algorithm (203-213)
Author: Jenny Irna Eva Sari Ninik Ratna; | Call Number: Sem-327 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Efficient and Secure Routing Protocol for Wireless Sensor Networks using Mine Detection (An Extension of Triple Umpiring System for WSN) (141-145)
Author: Ganesh Subramanian Dr.R.Amutha; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next