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
|
Find Similar |
Add To Favorites |
Detail in New Window
|
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
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Handbook of automated reasoning vol. II |
Call Number: 006.3 Han | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
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
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Automated library circulation systems, 1977-78 |
Author: Dranov, Paula; | Call Number: 025.6 Dra a | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
First-order logic and automated proving |
Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
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
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Aslib Proceedings |
Call Number: 48 (1996) | Type: Jurnal/ Majalah
|
Find Similar |
Add To Favorites |
Detail in New Window
|
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
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Proceedings of the Iadis |
Call Number: SEM-329 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|