| Your search for 13420 returns 4327 document(s) |
| Composite Model-Checking: Verification with Type-Specific Symbolic Representations, page 3-50 |
|
Author: Tevfik Bultan, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hyperdocuments as automata: verification of trace based browsing properties, page 1 |
|
Author: P. David s. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Intel talks of tiny transistors* DOM upgrade bolsters XML* building the crash-proof computer, page 20 |
|
Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Award programs let computer society student shine* lecture programs showcase member expertise, page 82 |
|
Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mobile agent middleware for mobile computing, page 73 |
|
Author: Paolo, B. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Lazy array data-flow dependence analysis,Hal 311-325 |
|
Author: Vadim Maslov; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Lazy Updates for Distributed Search Structure (337-346) |
|
Author: Theodore Johnson
Padmashree Krishna; | Call Number: SEM-245 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Continuing education center ASIAN Institute of technology 6-16 December 1988 verification of concurrent programs: the temporal framework 6-16 December, 1988/ Zohar Manna; Amir Pnuel I |
|
Call Number: SEM-042 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Information economics: linking business performance to information technology |
|
Author: Parker, Marilyn M.; | Call Number: 658.401 2 Par i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On Maintaining XML Linking Integrity During Update (431-440) |
|
Author: Eric Pardede
J. Wenny Rahayu
David Taniar; | Call Number: SEM-375 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result