| Your search for 29414 returns 1503 document(s) |
| Digital design |
|
Author: Richards, R.K.; | Call Number: 621.381 9 Ric d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Algorithm design |
|
Author: Kleinberg, Jon; | Call Number: 005.1 Kle a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Engineering & industrial software directory third edition: a guide to computer programs in applied science |
|
Call Number: R.005.1 025 Eng | Type: Buku Referensi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Designing and building parallel programs: concepts and tools for parallel software engineering/Ian I. Foster |
|
Author: Foster, Ian; | Call Number: 005.2 Fos d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analysis of Algorithms: Nonclairvoyant Scheduling to Minimize the Total Flow Time on Single and Parallel Machines, Solving Convex Programs by Randoms Walks |
|
Author: L. Becchetti, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| AGi research: developing technology for specifying and generating critical data processing programs(Final Report of RUTI Project Year 2005) |
|
Author: Heru Suhartanto; Belawati Widjaja; L.Y. Stefanus; Siti Aminah; Jimmy; I.S.W.B. Prasetya; Ade Azurat; | Call Number: LAP-RUTI-2005-2005 | Type: Hasil Laporan Research
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Agi Research : developing technology for specifying and generating cricial data processing programs (Proposal RUTI) |
|
Author: Heru Suhartanto | Call Number: PRO-RUTI-2003-001 | Type: Proposal Research (Khusus Dose
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result