Search Result

Your search for 46968 returns 576 document(s)

Proceedings international seminar information technology (isit) 2009 it for pride and wealth of nation november 25th,2009 lumire hotel and pascasarjana stmik nusa mandiri building/menara salemba

Call Number: SEM-348 | Type: Prosiding Seminar

On the Move to Meaningful Internet Systems 2007: CooplS, DOA,ODBASE,GADA, and IS: OTM Confederated International Conferences CooPIS, DOA, ODBASE, GADA, amd IS 2007 Vilamoura, Portugal, November 2007 Proceedings, Part 1

Call Number: SEM-376 | Type: Prosiding Seminar

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

Using boolean constraint propagation for sub-clauses deduction, (LNCS-Lecture Notes in Computer Science 3709) Hal 757-761

Author: S. Darras; G. Dequen; L. Devendeville; B. Mazure; R. Ostrowski; L. Sais; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS

Aslib Proceedings

Call Number: 48 (1996) | Type: Jurnal/ Majalah

IEEE Proceedings

Call Number: [68 (1980): 1-4, 70 (1982): 1-5, 71 (1983): 8, 72 (1984: 2-6, 73 (1985): 4-6, 74 (1986): 2-3, 75 (1987): 7-12, 76 (1988): 1-4, 76 (1988): 9-12] | Type: Jurnal/ Majalah

Proceedings of the Iadis

Call Number: SEM-329 | Type: Prosiding Seminar

Prev 16 17 18 19 20 21 22 23 24 25 Next