Search Result
Save to File
Your search for
45322
returns
805
document(s)
Developments in e-government: a critical analysis
Call Number: 352.3 Dev | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Embedded programming logics in HOL theorem prover, hal 18-24
Author: A. Azurat ISWB P. and SD Swierstra | Call Number: JIKT-2-1-Mei2002-18 | Type: UI-ana Indek Artikel
Find Similar
|
Add To Favorites
|
Detail in New Window
The reflection theorem: a study in meta-theoretic reasoning, Hal. 375-391
Author: Lawrence C. Paulson; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Theorem proving untuk linear logic dan implementasinya dalam prolog
Author: Satyadharma Tirtarasa; | Call Number: SK-1163 (Softcopy SK-645) | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Eksplorasi formalisasi TLA+dalam theorem prover Hol
Author: Iis Solichah; | Call Number: SK-0875 (Softcopy SK-357) SCSK-Analisa | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Formalization of TLA + in HOL Theorem Prover (419-422)
Author: Iis Solichah Ade Azurat; | Call Number: SEM-297 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Maintenance of K-nn and Spatial Join Queries on Continuously Moving Points, page 485-536
Author: G. S. Iwerks, [et all] | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Accurate approximate solution of partial differential equations at off-mesh points
Author: W.H. Enright | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Fast radial symmetry for detecting points of interest, page 959
Author: G. Loy | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Resolving motion correspondence for densely moving points, page 54
Author: C.J. Veenman | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
3
4
5
6
7
8
9
10
11
12
Next