| Your search for 13820 returns 5667 document(s) |
| Automatic High-Quality Reengineering of Database Programs by Abstraction, Transformation and Reimplementation, page 285-316 |
|
Author: Y. Cohen, [et all] | Type: Indeks Artikel Jurnal
|
|
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
|
| Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs, page 51-93 |
|
Author: James C. Corbett | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Creating High-Value Real-World Impact through Systematic Programs of Research, Page 335-351 |
|
Author: Jay F. Nunamaker, Nathan W. Twyman, Justin Scott Giboney, and Robert O. Briggs | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mengendalikan TCO dan ROI, page 82 |
|
Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Membangun di tengah kontroversi, page 82 |
|
Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Indonesia' s most caring companies award 2006, page 35 |
|
Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal development of programs and proofs/edited Edger W. Dijkstra |
|
Call Number: 005.1 For | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Effective perl programming: writing better programs with perl |
|
Author: Hall, Joseph; | Call Number: 005.133 Hal e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Design of user-friendly programs for small coamputers |
|
Author: Simpson, Henry; | Call Number: 005.26 Sim d | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result