Your search for 36557 returns 2565 document(s) |
Symbolic model checking of infinite state systems using presbuger; arithmetic, (LNCS-Lecture Notes in Computer Science 1254)Hal. 400-411 |
Author: Tevfik Bultan; Richard Gerber and William Pugh; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Propagation model verification using elementary environment spesific method for analyzing 802. 16e system coverage in Bandung city. hal, 15 |
Author: Andito Dwi Pratomo, Legijono, Denny Sukarman, Hadi Hariyanto; | Call Number: SEM-317 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A type-2 fuzzy control traffic policing mechanism schemes model over high speed network using backpressure technique, 1-5 |
Author: Somchai Lekcharoen; | Call Number: SEM-349 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A network security policy framework using multi-attribute decision making model, 116-120 |
Author: Song Yu, He Xiaoli, Ye Xiaotong, Liang Jinming, He Xianbo; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
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
|
Performance evaluation of generic image classification algorithm using sparse bayesian model, 453-457 |
Author: Lei Chen, Qijun Chen; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Smart government assesment using scottish smart city maturity model : A case study of depok city (hal. 99-104) |
Author: Muhammad Akmal Juniawan, Puspa Sandhayudhita, Betty Purwandari, Satrio Baskoro Yudhoatmojo, Made Ayu Aristyana Dewi; | Call Number: SEM- 372 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Detection precursor of Sumatra Earthquake Based on Ionospheric Total Electron Content Anomalies using N-Model Articisl Neural Network. Hal 269-276 |
Author: Berdanus Anggo Seno Aji, The Houw Liong* and Buldan Muslim; | Call Number: SEM-372 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Spatial Short-Term Load Forecasting using Grey Dynamic Model Specific in Tropical Area |
Author: Yusra Sabri, Nanang Hariyanto, Fitriana; | Call Number: SEM-368 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Ontology-based indexing of annotated images using semantic DNA and vector space model. ( hal. 40-47 ) |
Author: Syed Abdullah Fadzli, Rossitza Setchi; | Call Number: SEM-364 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|