Search Result

Save to File Save as CSV

Your search for 19415 returns 1529 document(s)

Operating systems: concurrent and distributed software design

Author: Bacon, Jean; | Call Number: 005.43 Bac o | Type: Buku

Concurrent, euclid, unix and tunis/Richard C. Holt

Author: Holt, Richard C.; | Call Number: 005.43 Hol c | Type: Buku

Structured concurrent programming with operating systems applications

Author: Holt, R.C.; | Call Number: 005.43 Hol s | Type: Buku

Pengembangan sistem informasi manajemen penerima beastudi ETOS lembaga pengembangan insani Dompet Dhuafa/ Amir Syafrudin

Author: Amir Syafrudin; | Call Number: KP-0590 (Softkopi KP-157 + Source code) | Type: Kerja Praktek (KP)

Estimasi level dekomposisi optimal untuk fusi citra multisensor multiresolusi berbasis web/ Amir Muhammad

Author: Amir Muhammad; | Call Number: SK-0673 (Softcopy SK-0154) Source Code SK-0147 | Type: Skripsi

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

Protocol specification, testing, and verification VI

Call Number: 004.62 Pro | Type: Buku

Formal methods of program verification and specification

Author: Berg, Helmut K.; | Call Number: 005.3 Ber f | Type: Buku

Pemetaan tata kelola pelaksanaan proses kegiatan Teknologi Informasi menggunakan Framework COBIT dan Information Technology - infrastructure library studi kasus: Direktorat Jenderal Minyak dan Gas Bumi

Author: Agustiawan; | Call Number: T-0833 (Softcopy T-0488) | Edition: 2009 | Type: Tesis

Introduction to computer-based education

Call Number: 004 Int | Type: Buku

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