Ditemukan 82 dokumen yang sesuai dengan query
Dwi Ananto Aryotojo, author
Salah satu alat bantu untuk melakukan verifikasi program dengan komputer adalah HOL theorem prover. HOL cukup populer namun memiliki keterbatasan dalam merepresentasikan program. Penggunaan HOL juga cukup sulit dan membutuhkan pengalaman yang tidak sedikit. Untuk mengatasi keterbatasan HOL terutama dalam merepresentasikan program dikembangkanlah xMECH. XMECH adalah pengembangan dari HOL yang...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2002
S-Pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Chico Setyo Asmoro, author
Dewasa ini pertumbuhan kredit konsumsi khususnya kredit kendaraan bermotor (KKB) meningkat pesat setiap tahunnya. Pertumbuhan KKB ini sangat rentan terhadap risiko kredit. Oleh karena itu, Bank Indonesia menerbitkan Surat Edaran Nomor 14/10/DPNP tanggal 15 Maret 2012 tentang Penerapan Manajemen Risiko pada Bank Umum yang Melakukan Pemberian Kredit Pemilikan Rumah dan...
Depok: Fakultas Hukum Universitas Indonesia, 2013
S46520
UI - Skripsi (Membership) Universitas Indonesia Library
Soetamto, author
Untuk keperluan operasional, BMG menetapkan satuan waktu 10 hari yang disebut dasarian. Dasarian yang disusun BMG tidak selalu 10 hari, karena setiap bulan selalu habis dibagi menjadi 3 dasarian. Pada sekitar awal 1970 mulai dikembangkan data bumi yang diukur dari berbagai cara, terutama dari penginderaan jauh. Data seperti ini disebut...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2007
T39151
UI - Tesis (Membership) Universitas Indonesia Library
Nadhirah Putri Aurora, author
Customer Due Diligence (“CDD”) merupakan uji tuntas nasabah yang terdiri atas tahapan identifikasi, verifikasi, dan pemantauan dalam rangka prinsip mengenal nasabah. Pada proses CDD, mekanisme proses identifikasi dan verifikasi tersebut dapat dilakukan secara non face to face atau elektronik selama memenuhi 2 (dua) faktor otentikasi yaitu what you are dan...
Depok: Fakultas Hukum Universitas Indonesia, 2023
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Inestika Tanissa, author
ABSTRAK
Laporan ini membahas proses audit biaya dibayar dimuka dan uang muka PT DHL yang merupakan perusahaan yang melakukan produksi minuman jeli dalam kemasan untuk periode 31 Desember 2015. Proses audit dilaksanakan berdasarkan Pedoman Audit XYZ yang telah sesuai dengan standar SPAP. Selama melakukan audit, auditor melihat kesesuaian kebijakan akuntansi biaya...
2016
TA-pdf
UI - Tugas Akhir Universitas Indonesia Library
Deni Ardiani, author
Pada setiap peristiwa komunikasi, penyerta komuni_kasi yang rasional selalu berusaha untuk menjaga diri dari kemungkinan kehilangan muka/harga diri. Untuk menjaga kemungkinan kehilangan muka, pada saat-saat tertentu penyerta korunikasi akan inenggunakan strategi yang dapat memperkecil kemungkinan kehilangan muka tersebut. Strategi yang dibahas dalam skripsi ini adalah strategi ujaran pengancam muka dengan...
Depok: Universitas Indonesia, 1992
S14231
UI - Skripsi (Membership) Universitas Indonesia Library
Grewal, D. S.
New Delhi: Jaypee Brothers Medical Publishers, 2007
617.156 GRE a
Buku Teks Universitas Indonesia Library
Forer, Lois G.
New York: Norton, 1984
347.73 FOR m
Buku Teks Universitas Indonesia Library
Rizki Dinar Winiar, author
ABSTRACT
Penelitian ini dilatarbelakangi kebutuhan setiap orang yang ingin identitasnya
dihormati. Identitas mencakup nilai-nilai yang diyakini, yang kemudian
direfleksikan melalui perilaku komunikasi. Adanya latar belakang perbedaan
budaya dan keunikan individual dapat mengakibatkan timbulnya dialektika antar
pasangan. Penelitian ini dilakukan untuk melihat pengelolaan muka yang
dilakukan oleh pasangan dalam rangka Manajemen Identitas, sebagai cara
mengatasi hambatan budaya yang...
2014
T41854
UI - Tesis (Membership) Universitas Indonesia Library
Ressa Mahardhika, author
[ABSTRAK
Pemahaman mengenai interaksi laut dan atmosfer merupakan kunci untuk menjelaskan fenomena iklim dan cuaca di benua maritim Indonesia. Dalam penelitian ini, akan dikaji hubungan antara energi radiasi gelombang panjang yang dipantulkan oleh bumi ke atmosfer, Outgoing Longwave Radiation (OLR), dengan suhu muka laut (SST). Sebagai ilustrasi, uap air (terutama awan),...
2012
T43483
UI - Tesis (Membership) Universitas Indonesia Library
