| Your search for 37906 returns 172 document(s) |
| Human error in computer systems |
|
Author: Bailey, Robert W.; | Call Number: 004.21 Bai h | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Error control coding: an introduction |
|
Author: Sweeney, Peter; | Call Number: 629.831 5 Swe e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An introduction to error-correcting codes |
|
Author: Lin, Shu; | Call Number: 621.38 Lin i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Social media strategy for government information services: A case of the ministry of education and culture in indonesia (hal. 172-183) |
|
Author: Nur Widiyanto, A.N Hidayanto, Puspa I. Sandhyayuduhita, Nur Fitriah A. Budi; | Call Number: SEM- 372 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Social media strategy for government information services: A case of the ministry of education and culture in indonesia (hal. 172-183) |
|
Author: Nur Widiyanto, A.N Hidayanto, Puspa I. Sandhyayuduhita, Nur Fitriah A. Budi; | Call Number: SEM- 372 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Two heads are better than two tapes,Hal 668-675 |
|
Author: Tao Jiang,Joel I.Seiferas,and Paul M.B.Vitanyi; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proses verifikasi prinati lunak basis data dengan lingu dan theorem prover hol |
|
Call Number: 005 Pro | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formalisasi algoritma aritmatika dan konstruksi terkait pada VHDL dengan HOL theorem prover |
|
Author: Dwi Teguh Priyantini; | Call Number: T-1210 (Softcopy T-918) Source code -297 Mak T-020 | Edition: 2017 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formalization Of Arithmetic Algorithm In Vdhl Using Hol Theorem Prover |
|
Author: Dwi Teguh Priyantini; Ade Azurat; | Call Number: Mak T Jilid 016-035 (T-1210) (Mak T-020) | Type: Makalah Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Error Control Coding: Fundamentals and Applications |
|
Author: Lin, Shu; | Call Number: 005.72 Lin e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result