Search Result

Save to File Save as CSV

Your search for 53611 returns 2724 document(s)

Declarative Expression of Deductive Database Updates (93-100)

Author: Sanjay Manchanda; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem

A Data Manipulation Model - An Extension of the Alpha Expression (57-62)

Author: I. Kobayashi; | Call Number: SEM-346 | Type: Indeks Artikel prosiding/Sem

Clasification using P-tree regarding yeast gene deletion data, HAL. 1074-1076

Author: V.N. Rajavarman; S.P. Rajagopalan; | Call Number: SEM-289 | Type: Indeks Artikel prosiding/Sem

Evaluation of Bayesian Gene Informative Selection Algorithm for Survival Patient Analysis (271-274)

Author: Yee Wen Choon Ito Wasito; | Call Number: SEM-297 | Type: Indeks Artikel prosiding/Sem

Handbook of automated reasoning vol. II

Call Number: 006.3 Han | Type: Buku

Towards automated verification of database scripts

Author: Ade Azurat; I.S.W.B. Prasetya; T.E.J. Vos; H.Suhartanto; B. Widjaja, L.Y. Stefanus; Ricky Wenang; S. Aminah; Jimmy Bong | Call Number: Pub.Staf-PI-0044 | Type: Prosiding Internasional

Automated library circulation systems, 1977-78

Author: Dranov, Paula; | Call Number: 025.6 Dra a | Type: Buku Pusat

First-order logic and automated proving

Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku

Learning and classification of complex dynamics

Author: B. North, A. Blake | Type: Indeks Artikel Jurnal

Pattern classification 2nd ed

Author: Duda, Richard O.; | Call Number: 006.4 Dud p | Type: Buku

Prev 8 9 10 11 12 13 14 15 16 17 Next