Search Result Save to File Save as CSV
Your search for 51935 returns 249 document(s)
Software protection : practical and legal steps to protect and market computer programs/ G. Gervaise Davis III
Author: Davis, G. Gervaise; | Call Number: 347.306 Dav s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
The Gourman report: a rating of graduate and professional programs in American and International Universities/Jack Gourman
Call Number: SEM-067 | Type: Prosiding Seminar
Find Similar |  Add To Favorites |  Detail in New Window 
Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren)
Author: Ade Azurat; | Call Number: DIS-014 (Softcopy DIS-006) | Type: Disertasi
Find Similar |  Add To Favorites |  Detail in New Window 
AGi research: developing technology for specifying and generating critical data processing programs(Report I of RUTI Project Periode: January - May 2005)
Author: Heru Suhartanto; Belawati Widjaja; L.Y. Stefanus; Siti Aminah; Jimmy; I.S.W.B. Prasetya; Ade Azurat; | Call Number: LAP-RUTI-2005-003B | Type: Hasil Laporan Research
Find Similar |  Add To Favorites |  Detail in New Window 
AGi research: developing technology for specifying and generating critical data processing programs(Report II of RUTI Project Fiscal Year 2004)
Author: Heru Suhartanto; Belawati Widjaja; L.Y. Stefanus; Siti Aminah; Jimmy; I.S.W.B. Prasetya; Ade Azurat; | Call Number: LAP-RUTI-2004-001 | Type: Hasil Laporan Research
Find Similar |  Add To Favorites |  Detail in New Window 
AGi research: developing technology for specifying and generating critical data processing programs(Report II of RUTI Project Period: May 9th to September 9th 2005)
Author: Heru Suhartanto; Belawati Widjaja; L.Y. Stefanus; Siti Aminah; Jimmy; I.S.W.B. Prasetya; Ade Azurat; | Call Number: LAP-RUTI-2005-004 | Type: Hasil Laporan Research
Find Similar |  Add To Favorites |  Detail in New Window 
on Updates of logic programs: a properties-based approach, The relative complexity of updates for a class of database views, LNCS-Lecture Notes in Computer Science 2942) Hal.231-251
Author: Mauricio Osorio and Fernando Zacarias; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Proceedings of the IEEE/ACM international conference on developing and managing expert system programs Sept. 30 - October 2, 1991 Washington D.C/editor by Jerald Feinstein
Call Number: SEM-174 | Type: Prosiding Seminar
Find Similar |  Add To Favorites |  Detail in New Window 
Continuing education center ASIAN Institute of technology 6-16 December 1988 verification of concurrent programs: the temporal framework 6-16 December, 1988/ Zohar Manna; Amir Pnuel I
Call Number: SEM-042 | Type: Prosiding Seminar
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   20 21 22 23 24 25  Next