Search Result Save to File Save as CSV
Your search for 48069 returns 599 document(s)
The Formal Development of Real-Time Systems: A Review/ D.J. Scholefield
Author: Scholefield, D.J.; | Call Number: 670.427 Sch f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem proverhol/ Octavianus Adrianto
Author: Octavianus Adriato; | Call Number: SK-0382 | Edition: Wishnu Prasetya | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Model formal sistem pengendali lalulintas Kereta api di suatu setasiun
Author: Prapto Tri Supriyo; | Call Number: T-0367 | Edition: 2001 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Formal Verification of a Group Membershiap Protocol Using Model (471-488)
Author: Valerio Rosset Pedro F. Souto Francisco Vasques; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion (181-201)
Author: Masayuki Mizuno Eijiro Sumii; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
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 
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 
Implementation of model view controller (MVC) architecture on building web-based information systemImplementation of model view controller (MVC) architecture on building web-based information system ( hal. E-47/E-50 )
Author: Shofwatul Uyun,Muhammad Rifqi Ma'arif; | Call Number: SEM-366 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   11 12 13 14 15 16 17 18 19 20  Next