Search Result

Save to File Save as CSV

Your search for 52509 returns 3322 document(s)

Formal spsecification of programming languages: a panoramic primer/ Frank G. Pagan

Author: Pagan, Frank G.; | Call Number: 005.133 Pag f | Type: Buku

Formal theories of the commonsense world/ edited by Jerry R. Hobbs & Robert C. Moore

Call Number: 006.3 For | Edition: 4th ed. | Type: Buku

The Formal Development of Real-Time Systems: A Review/ D.J. Scholefield

Author: Scholefield, D.J.; | Call Number: 670.427 Sch f | Type: Buku

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

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

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

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

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

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

Formalisasi dan verifikasi spesifikasi pengendali lalu lintas kereta api di stasiun dengan rel ganda, hal 8-18

Author: Eri Zuliarso, Belawati H.W. dan Widijanto S. N. | Call Number: JURNAL ILMU KOMPUTER DAN TEKNOLOGI INFORMASI, Vol. 3 No. 1 Mei 2003 | Type: UI-ana Indek Artikel

Prev 6 7 8 9 10 11 12 13 14 15 Next