| Your search for 38919 returns 3878 document(s) |
| LinguSQL: a verification and transformation tool for database applications, Hal. F.45-F>49 |
|
Author: Rikky Wenang Prubojati; I.S.W.Praetya, Heru Suhartanto, Sirajuddin Maizir; | Call Number: SEM-235 | 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
|
| Structure and interpretation of computer programs |
|
Author: Abelson, Harold; | Call Number: 005.1 Abe s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer Programs in Biomedicine |
|
Call Number: [6 (1976): 1-4, 7 (1977): 1-4, 10 (1979): 1-3, 14 (1982): 1-4, 16 (1983): 1-3, 18 (1984): 1-4] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer methods and programs .. |
|
Call Number: [20 (1985): 1-3, 22 (1986): 1-3, 23 (1987): 1-3, 49 (1996): 2-3] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proof Linking: Modular Verification of Mobile Programs in the Presence of Lazy, Dynamic Linking, page 379-409 |
|
Author: Philip W. L. Fong, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren) |
|
Author: Ade Azurat; | Call Number: Ringdis-014 | Type: Ringkasan Disertasi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren) |
|
Author: Ade Azurat; | Call Number: DIS-014 (Softcopy DIS-006) | Type: Disertasi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The McGraw-Hill computer handbook : applications concepts hardware/ Software/ Harry Helms |
|
Author: Helms, Harry; | Call Number: 004 Hel m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An Empirical Analysis of Intellectual Property Rights Sharing in Software Development Outsourcing, Page 131-161 |
|
Author: Yuanyuan Chen, Anandhi Bharadwaj, and Khim-Yong Goh | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result