| Your search for 54560 returns 670 document(s) |
| 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
|
| Pataxo: a framwork to allow updates through xml views, page 839 |
|
Author: Braganholo, V.P. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Dynamic tree isomorphism via first-order updates to a relational database, Hal. 235-243 |
|
Author: Kousha Etissami; | Call Number: SEM-243 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| XML semantic constraint validation for XML updates : A survey. ( hal. 57-63 ) |
|
Author: Norfaradilla Wahid, Eric Pardede; | Call Number: SEM-364 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Validation of XML Document Updates Based on XML Schema in XML Databases (98-108) |
|
Author: Sang-Kyun kim
Myungcheol Lee
Kyu-Chul Lee; | Call Number: SEM-381 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| on Updates of logic programs: a properties-based approach, The relative complexity of updates for a class of database views, LNCS-Lecture Notes in Computer Science 2942) Hal.231-251 |
|
Author: Mauricio Osorio and Fernando Zacarias; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Performance analysis of digital secure voice transmission over HF radio channel, (LNCS-Lecture Notes in Computer Science 5576) Hal. 337-346 |
|
Author: Kihong Kim; Jinkeun Hong; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computers their structure use, and influence |
|
Author: Slotnick, Daniel L.; | Call Number: 004 Slo c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Structure and interpretation of computer programs |
|
Author: Abelson, Harold; | Call Number: 005.1 Abe s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Data structure and c programs |
|
Author: Vanwyck, Christoper; | Call Number: 005.73 Van d | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result