Ditemukan 3 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
Natalia Komalasari, author
Perkembangan teknologi telah membuat adanya pergeseran kekuatan kepada pelanggan atau pasar. Pelanggan menjadi faktor penting yang harus diperhatikan. Informasi yang semakin mudah diperoleh, membuat daya tawar pelanggan semakin tinggi dan pelanggan selalu ingin mendapat yang diinginkan dengan mudah, murah, berkualitas dan sesuai dengan kebutuhannya. Perubahan struktural ini mengharuskan sebuah perusahaan...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2006
S-Pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Yulia, author
Perkembangan teknologi telah membuat adanya pergeseran kekuatan kepada pelanggan atau pasar. Pelanggan menjadi faktor penting yang harus diperhatikan. Informasi yang semakin mudah diperoleh, membuat daya tawar pelanggan semakin tinggi dan pelanggan selalu ingin mendapat yang diinginkan dengan mudah, murah, berkualitas dan sesuai dengan kebutuhannya. Perubahan struktural ini mengharuskan sebuah perusahaan...
Depok: Universitas Indonesia, 2005
T-Pdf
UI - Tesis (Membership) Universitas Indonesia Library
