| Your search for 36706 returns 825 document(s) |
| A Gradual approach to a more trustworthy, yet scalable, proof-carrying code, Hal. 47-62 |
|
Author: Robert R. Schneck; George C. Necula; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Temporal logic for proof-carrying code, Hal. 31-46 |
|
Author: Andrew Bernard and Peter Lee; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A more rational approach to new-product development, page 96 |
|
Author: Eric Bonabeau, Neil Bodick and Robert W. Amstrong | Type: Indeks Artikel Jurnal
|
|
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
|
| A quantitative approach to the design of an optimized hardware interpreter for java byte-code |
|
Author: C. Masera G. Pinccinini, M. Ruo Roch, M. Zamboni; | Call Number: SEM-275 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Distributed Parallel Data Storage Systems: A Scalable Approach to High Speed Image Servers |
|
Author: Brian Tierney, William E. Johnston, Hanan Herzog, Gary Hoo, Guojun Jin, Jason Lee,
Ling Tony Chen, Doron Rotem; | Call Number: SEM-214 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hyper petersen network: yet another hypercube-like topology, Hal. 270-277 |
|
Author: Sajal K. Das; Amit K. Banerjee; | Call Number: SEM-173 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| More Testing Should be Taught |
|
Author: Terry Shepard, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| More TRS-80 basic |
|
Author: Inman, Don; | Call Number: 005.133 Inm m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Trustworthy 100-Year Digital Objects: Evidence After Every Witness Is Dead, Page 406-436 |
|
Author: H. M. Gladney | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result