| Your search for 51935 returns 249 document(s) |
| The B-book: Assigning programs to meanings |
|
Author: Abrial, J.R.; | Call Number: 005.1 Abr b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logics of programs : proceedings 1981 |
|
Call Number: 004 Log | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proving programs correct |
|
Author: Anderson, Robert B.; | Call Number: 005.3 And p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automatic indexing based on bayesian inference networks, Hal. 22-34 |
|
Author: Kostas Tzeras, Stephan Hartmann; | Call Number: SEM-255 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The elements of statistical learning: data mining, inference, and prediction |
|
Author: Hastie, Trevor; | Call Number: 006.31 Has e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to data analysis and statistical inference/ Carl N. Morris |
|
Author: Morris, Carl N.; | Call Number: 519.5 Mor i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Deep learning inference pada Mobile GPU Menggunakan OpenCL |
|
Author: Tsesar Rizqi Pradana; | Call Number: SK-1641 (Softcopy SK-1123 | Edition: T. Basaruddin | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Constant propagation versus join reordering on datalog (LNCS-Lecture Notes in Computer Science 985) |
|
Author: Mariano P. Consens, Alberto O. Mendelzon, Dimitra Vista, Peter T. Wood; | Call Number: 004 Rul | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Open world reasoning in datalog, ((LNCS-Lecture Notes in Computer Science 3668) Hal 427-428 |
|
Author: Gergely Lukacsy; Zsolt Nagy; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Some common pascal programs/ Based on the book some common basic programs |
|
Call Number: 005.133 Osb m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result