Search Result Save to File Save as CSV
Your search for 37906 returns 171 document(s)
Two prover protocols-low error at affordable rates,hal 172-183
Author: Uriel Feige; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
A Unified method for dance motion recognition and scoring using two-layer classifier based on conditional random field and stochastic error-correcting context-free grammar
Author: Yaya Heryadi; | Call Number: Ring Dis-037 | Type: Ringkasan Disertasi
Find Similar |  Add To Favorites |  Detail in New Window 
A Unified method for dance motion recognition and scoring using a two-layer classifier based on a conditional random field and a stochastic error-correcting context-free grammar
Author: Yaya Heryadi; | Call Number: Dis-48 (Softcopy Dis- 39) | Type: Disertasi
Find Similar |  Add To Favorites |  Detail in New Window 
Excharge rates and international finance/Laurence S. Copeland
Author: Copeland, Laurence S.; | Call Number: 332.45 Cop c | 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 
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 
age-specific citation rates and the egghe-Rao function, page 761
Author: Quetin L. B. | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Impact on competitive learning algorithms with different weight-updating rates in ART2, Hal. 3378-3381
Author: Du Shujie; | Call Number: SEM-302 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Error control coding an introduction
Author: Sweeney, Peter; | Call Number: 629.831 5 Swe e | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next