Search Result Save to File Save as CSV
Your search for 35710 returns 3878 document(s)
Performance Improvement of IPv6 Packet Transmission through Address Resolution Using Direct Mapping
Author: Raja Kumar Murugesan,Rahmat Budiarto,Serswaran Ramadass; | Call Number: SEM-305 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Efficient model checking using tabled resolution,(LNCS-Lecture Notes in Computer Science 1254) Hal 143-154
Author: Y.S. Ramakrishna; C.R. Ramakhrisnan; I.V. Ramakrishnan; Scott A. Smolka; Terrance Swift; David S. Warren; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Design and synthesis of synchronization skeletons using brancing time temporal logic, (LNCS-Lecture Notes in Computer Science 131) Hal. 52-71
Author: Edmund M. Clarke; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Synthesis of PbSe thin film by chemical bath deposition and its characterization using XRD, SEM and UV-Vis spectrophotometer
Author: Anuar Kassim; Ho Soon Min; Shanthi Monohorn; Saravanan Nagalingam | Call Number: MAKARA : Vol. 14 (2010): 2 | Type: UI-ana Indek Artikel
Find Similar |  Add To Favorites |  Detail in New Window 
Named-entity recognition and co-reference resolution using knowledge engineering and association rules for the Indonesian language
Author: Indra Budi; | Call Number: Ringdis-016 | Type: Ringkasan Disertasi
Find Similar |  Add To Favorites |  Detail in New Window 
Named-entity recognition and co-reference resolution using knowledge engineering and association rules for the Indonesian language
Author: Indra Budi; | Call Number: DIS-016 | Type: Disertasi
Find Similar |  Add To Favorites |  Detail in New Window 
Who-Is-Who Question-Answering: End-To-End Anaphora Resolution In Indonesian Reading Comprehension Using Bert ( A Preliminary Study )
Author: Mirza Alim Mutasodirin; | Call Number: TR-CSUI/009(001-010) 2022 | Type: Technical Report
Find Similar |  Add To Favorites |  Detail in New Window 
Computer-aided circuit analysis using spice/Walter Banzhaf
Author: Banzhaf, Walter; | Call Number: 621.381 5 Ban c | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Formal analysis of an authentication protocol for UMTS (Universal Mobile Telecommunications systems) Using AVISPA
Author: Ilham W. Kurnia; L. Yohanes Stefanus; Ari Saptawijaya | Call Number: Jurnal Ilmu Komputer dan Informasi (JIKI) Vol. 1 No. 2 Juni 2008 | Type: UI-ana Indek Artikel
Find Similar |  Add To Favorites |  Detail in New Window 
Remote user authentication using public information, LNCS-Lecture Notes in Computer Science 2898), Hal. 360-369
Author: Chris J. Mitchell; | Call Number: 005.82 Cry | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   5 6 7 8 9 10 11 12 13 14  Next