| Your search for 36734 returns 1321 document(s) |
| Expressibility of Bounded-Arity Fixed-Point Query Hierachies (324-335) |
|
Author: Pratul Dublish
S.N. Maheshwari; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Robust protocols for proving ownership of images, Hal. 22- 27 |
|
Author: Mahalingam Ramkumar and Ali N. Akunsa; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Tracing and proving ownership of digital objects, Hal. 184-187 |
|
Author: Sylvia Encheva, Gerard Cohen; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proving correctness of a vehicle maneuver: deceleration, Hal. 196-203 |
|
Author: Naney Lynch; H.B. Weinberg; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proving concurrent constraint programs correct,Hlm 98-108 |
|
Author: Frank S.de Boer; Maurizio Gabbrielli; Elena Marchiori; Catuscia Palamidessi; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| IP over 2000 |
|
Author: Christopher M. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Flexible Consistency Checking, page 28-63 |
|
Author: C. Nentwich, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Integrity checking for multiple updates (153-368) |
|
Author: Arding hsu, Thomas imielinski; | Call Number: SEM-357 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Transaction Management with Integrity Checking (606-615) |
|
Author: Davide Martinenghi
Henning Christiansen; | Call Number: SEM-375 | Type: Indeks Artikel prosiding/Sem
|
|
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
|
Search Result