| Your search for 40390 returns 220 document(s) |
| 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
|
| 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
|
| Applying an abstract data structure description approach to parallelizing scientific pointer programs, Hal. II.100-II.104 |
|
Author: Joseph Hummel; Laurie J. Hendren; | Call Number: SEM-155 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Simtel 10.000 MSDOS shareware programs, including source code, programming utilities, general utilities and lost more, september 1994 |
|
Call Number: 005.3 Sim | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Nonmonotonic logic programs for the semantic web, (LNCS-Lecture Notes in Computer Science 3668) Hal 446-447 |
|
Author: Roman Schindlauer; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analysis and optimization of CHR programs, (LNCS-Lecture Notes in Computer Science 3668) Hal 450-451 |
|
Author: Jon Sneyers; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modeling constraint programs with software technology standards, (LNCS-Lecture Notes in Computer Science 3709) Hal 850 |
|
Author: Matthias Hoche; Stefan Jahnichen; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result