Your search for 40171 returns 1537 document(s) |
F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme (134-146) |
Author: Michael Kifer
Georg Lausen; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
PARK: A Paused-And- Run K-Stream Multimedia Synchronization Control Scheme (272-279) |
Author: C. Huang
H. Kung
J. Yang; | Call Number: SEM-287 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An Adaptive, Perception-Driven Error Spreading Scheme in Continous Media Streaming (475-483) |
Author: S. Varadarajan
H. Ngo
J. Srivastava; | Call Number: SEM-287 | 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
|
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
|
An analysis of multiple tag co-existence method for generating multiple reader co-existence proof |
Author: Aik Theng Tan; Rahmat Budiarto; Zainal Arifin Hasibuan | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Combining proof-search and conter-model construction for dciding godel-dummett logic, Hal. 94-110 |
Author: Dominique Larchey-Wendling; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An integration of model checking with automated proof checking, (LNCS-Lecture Notes in Computer Science 939) Hal 84-97 |
Author: S. Rajan; N. Shankar; M. K. Srivas; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A proof environment for concurrent programs,(LNCS-Lecture Notes in Computer Science 670) Hal 196-215 |
Author: Naima BROWN; Dominique MERY; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Verification of coccurent program temporal proof principles, (LNCS-Lecture Notes in Computer Science 131) Hal. 200- 252 |
Author: Zohar Manna; Amir Pneuli; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|