Search Result Save to File Save as CSV
Your search for 45239 returns 3917 document(s)
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 
Real-time program refinement using auxiliary variables (LNCS-Lecture Notes in Computer Science 1926) Hal 170-184
Author: Ian Hayes; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time layered video compression using SIMD computation, (LNCS-Lecture Notes in Computer Science 1557) Hal 377-387
Author: Morten Vadskaer Jensen; Brian Nielsen; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Object oriented technology for real-time systems: a practical approach using OMT and fusion
Author: Awad, Maher; | Call Number: 005.2 Awa o | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Mobile Application for Real-Time Bird Sound Recognition using Convolutional Neural Network
Author: Rodiatul Adawiyah; | Call Number: KA-1342 (Softcopi KA-1335) MAK KA-986 | Edition: 2020 | Type: Karya Akhir (KA)
Find Similar |  Add To Favorites |  Detail in New Window 
Mangifera indica Real-Time Quality Classifications Using Codebook Segmentation and Mass-Size Correlation Equations (207-214)
Author: Timotius Devin Muhammad Ashyar Agmalaro; | Call Number: SEM-345 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time Vessel Automatic Docking Using Adaptive Fuzzy System-based Controller (139-143)
Author: Son Kuswadi Anang Tjahjono Riyanto Sigit Abdul Bari Herman Sayogo Agung Kusuma W.A Heru Sedio Utomo Mohammad NUH Osami Saito; | Call Number: SEM-247 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Local model checking for real-time systems (extended abstract), (LNCS-Lecture Notes in Computer Science 939) Hal 211-224
Author: Oleg V. Sokolsky; Scott A. Smolka; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
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 
Verfikasi concurrent system dengan model checker SMV
Author: Azurat, Ade ; Widjaja, Belawati | Call Number: Pub.Staf PN-0005 | Type: Prosiding Nasional
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next