Search Result

Your search for 13267 returns 5269 document(s)

System without low-productive sources, page 1428

Author: Leo Egghe | Type: Indeks Artikel Jurnal

Multimedia information extraction advances in vidio audio and imagery analysis for search data mining surveillance and authoring/edited Mark T. Maybury

Call Number: 006.312 Mul | Type: Buku

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

Approximated consistency for the automatic recording problem, (LNCS-Lecture Notes in Computer Science 3709) Hal 822-826

Author: Meinolf Sellmann; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS

A logical characterisation of event recording automata, (LNCS-Lecture Notes in Computer Science 1926) Hal 240-251

Author: Deepak D'Souza; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS

Recording of Law Enforcement Based On Court Decision document Using Rule-based Information Extraction

Author: Firdaus Solihin; | Call Number: TR-CSUI/013 (008-014)2019 | Type: Technical Report

Qprober: A System for Automatic Classification of Hidden-Web Databases, page 1-41

Author: L. Gravano, [et all] | Type: Indeks Artikel Jurnal

Prev 3 4 5 6 7 8 9 10 11 12 Next