Ditemukan 7947 dokumen yang sesuai dengan query
Dolhinow, Phyllis, author
Boston: McGraw-HIll, 2002
599.8 DOL n
Buku Teks Universitas Indonesia Library
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
Fakultas Psikologi Universitas Indonesia, 2002
S2001
UI - Skripsi (Membership) Universitas Indonesia Library
Farindra Tamin, author
Term structure of interest rates menggambarkan hubungan antara suku bunga (spot rate) dengan maturities yang berbeda-beda. Saat ini term structure of interest rates dipakai dalam berbagai bidang. Contoh dari term structure of interest rates ini adalah kecenderungan spot rate yang lebih tinggi untuk suatu investasi dalam jangka waktu yang lebih...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2002
S-Pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Rio Rinaldi, author
Paradigma Aspect-Oriented Programming (AOP) dikemukakan untuk menangani cross-cutting concerns yang tidak dapat dilakukan oleh paradigma object-oriented programming (OOP). Cross-cutting concerns adalah fungsionalitas program yang sama dan yang terdapat dalam beberapa class namun tidak dapat dikelompokkan ke dalam sebuah class. Cross-cutting concerns tersebut menyebabkan code tangling dalam sebuah program. Code tangling...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2002
S-Pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Shanti Andriyanti, author
Penelitian ini bertujuan membangun sebuah prototype home network system dengan mengimplementasikan OSGi framework dan teknologi Jini. Dalam penelitian ini penulis mempelajari dan menerapkan penggunaan teknologi Jini untuk menghubungkan beberapa OSGi framework dan pengendalian home network system melalui internet. Jaringan komputer yang menghubungkan dan mengendalikan berbagai macam peralatan elektronis di rumah...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2002
S-Pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Hermawi, author
Tugas akhir ini memfokuskan penyelesaian relasi implicit yang berhubungan dengan metode implicit Runge-Kutta (IRK) untuk menyelesaikan Stiff Initial Value Problems (Stiff IVPs). Pendekatan konvensional untuk penyelesaian RK equation (persamaan RK) menggunakan iterasi Newton dengan full righthand side jacobian. Untuk IVP dengan dimensi yang besar, pendekatan ini kurang menarik karena memerlukan...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2002
S-Pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Rahmawati Zulfa, author
Penelitian ini mengukur kinerja suatu proxy cache dengan metode eksplorasi sederhana, dengan mensimulasi data set dan memvariasikan beberapa parameter. Pengukuran kinerja menggunakan hit rate sebagai tolok ukur dan protokol HTTP. Simulasi-simulasi menghasilkan hit rate. Penganalisaan hasil simulasi dilakukan terhadap pengaruh parameter ukuran cache, ukuran memori cache, dan pengaruh karakteristik data...
Depok: Universitas Indonesia, 2002
S-Pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Ainul Fitriyah, author
Tugas akhir ini akan mengevaluasi kelayakan beberapa perangkat router yang dibangun dari sebuah PC (Personal Computer) yang dipasangi sistem operasi serba guna GNU/Linux. Perangkat yang dievaluasi bervariasi mulai dari workstation berbasis prosesor Intel 486 DX 100 Mhz, Intel Pentium 200 Mhz, dan server dengan prosesor Intel Pentium Pro 150 MHz.
Penelitian...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2002
S-Pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Buchanan, James M., author
Indianapolis: Liberty Fund, 2002
R 320.01 BUC c
Buku Referensi Universitas Indonesia Library
