Search Result Save to File Save as CSV
Your search for 44786 returns 3915 document(s)
Symbolic Model checking for distributed real-time systems,(LNCS-Lecture Notes in Computer Science 670) Hal 632-651
Author: Farn Wang; Aloysius Mok; E. Allen Emerson; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Analysis of denial-of service attack resistance using a real-time model checker, 159-163
Author: Tatsuya ARAI, Shin-ya NISHIZAKI; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Analisa perbandingan response time dan throughput pada MXL dan DBMS sebagai media penyimpanan data ( hal. E-1/E-5 )
Author: Ragil Martha,Yanuar Firdaus,Kusuma Ayu Laksitowening; | Call Number: SEM-366 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Embedded and real-time system design using integrated SDL and MSC/ Irwan Margono
Author: Margono, Irwan | Call Number: Pub.Staf PN-0058 | Type: Prosiding Nasional
Find Similar |  Add To Favorites |  Detail in New Window 
A real-time distributed video image processing system on PC-cluster, (LNCS-Lecture Notes in Computer Science 1557) Hal 296-305
Author: Daisaku Arita; Yoshio Hamada; Rin-Ichiro Taniguchi; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A digital real-time simulator for rail-vehicle control system testing, (LNCS-Lecture Notes in Computer Science 1201) Hal 199-212
Author: Peter Terwiesch; Erich Scheiben; Anders Jenry Petersen; Thomas Keller; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Role of VDM(++) in the Development of a real-time tracking and tracing system, (LNCS-Lecture Notes in Computer Science 670) Hal 64-72
Author: ir. E. H. Durr; drs. E.M. Dusink; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan aplikasi voice talk client sebagaian fitur dari real-time information system/ Mohammad Kosmosa
Author: Mohammad Kosmosa; | Call Number: KP-0390 | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Conflic Resolution of Boolean Operations by Integration in Real-Time Collaborative CAD System (238-252)
Author: Yang Zheng Haifeng Shen Steven Xia Chengzhenng Sun; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Design and Implementation of High Bandwidth Real-Time Storage System Based on Parallel Computer Architecture (V1-241 -- V1-245)
Author: Nan Li Hui Xu Wei Yi Xin Xu Hongshan Nie; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   7 8 9 10 11 12 13 14 15 16  Next