Search Result
Save to File
Your search for
16184
returns
3661
document(s)
Android Multitasking Mechabusm: Formal Sematic and Static Analysis of Apps (291-312)
Author: Jianlong He Taolue Chen Ping Wang Zhilin Wu Jun Yan; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Verifikasi Sistem Berparameter Secara Formal Dengan Diagram Predikat Berparameter (154-159)
Author: Cecilia E. Nugraheni; | Call Number: SEM-337 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
A Formal Modelling Method of Network Architecture Based on Entity (175-179)
Author: Liu Xiaoxiao Shen Jun; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Modeling and Verification of Web Applications uisng Formal Techniques Methods (220-229)
Author: Atsushi Togashi Yuh Kitano Satoru Izumi Kaoru Takahashic kei Homma; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Autonomous Mobile Robot Menggunakan Metode Formal Logika Temporal Linier (145-152)
Author: Irvan Lewenusa Wisnu Ananta; | Call Number: SEM-313 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Application of composition development method for definition of SYNTHESIS information resource query language semantics, (LNCS-Lecture Notes in Computer Science 670) Hal 428-441
Author: Leonid Kalinichenko; Nikolaj Nikitchenko; Vladimir Zadorozhny; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Proceedings of the symposium on partial evaluation and semantics-based program manipulation PEPM'91: Sigplan notices volume 26 no. 9 September 1991
Call Number: SEM-185 | Type: Prosiding Seminar
Find Similar
|
Add To Favorites
|
Detail in New Window
Analyzing the techniques to secure web database applications from SQL injectino attacks, HAL. 1349-1355
Author: Sushila Madan and Supriya Madan; | Call Number: SEM-291B | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Rancang bangun perangkat lunak manajemen database SQL server berbasis XML, Hal. 373-378
Author: Muchammad Husni; Nunut Priyo Jatmiko, Abidin Zubea; | Call Number: SEM-268 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Optimization SQL server 2005 wuery using cost model and statistic ( hal 272 - 276)
Author: Ibnu Gunawan; | Call Number: SEM - 362 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
17
18
19
20
21
22
23
24
25
26
Next