Search Result
Save to File
Your search for
36739
returns
1114
document(s)
Riset Finite rate of Innovation for Super-Resolution Flouresence Microscopy.
Author: Lukmanul Hakim; | Call Number: KP-1552 (Softcopy KP-1113) | Type: Kerja Praktek (KP)
Find Similar
|
Add To Favorites
|
Detail in New Window
Automatic Registration of REmote Sensing Image with Moderate Resolution (404-409)
Author: Qiang Wang Yahui Qui Ximin Cui Guo Wang; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Conflict Resolution Of Rules Assigning Values To Virtual Attributes (205-214)
Author: Yannis E. Ioannidids Timos K. Sellis; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
A Multi-version Approach to Conflict Resolution in Distributed Groupware Systems (316-329)
Author: C. Sun D. Chen; | 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
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
Prev
3
4
5
6
7
8
9
10
11
12
Next