Ditemukan 548 dokumen dengan kata kunci 5486 |
Simpan CSV |
Perancangan Sistem Informasi Penjualan Online Hasil Panen Padi Berbasis Web (Studi Kasus : Desa Sukakerta)
|
|
Studi keandalan penggunaan SSH sebagai sistem komunikasi aman kedalam WEB ujian online berabsis private network
|
|
The recursive path and polynomial ordering for first-order and higher-order terms
|
Pengarang: Miquel Bofill, Cristina Borralleras, Enric Rodríguez-Carbonell, and Albert Rubio | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 263-305 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
First-order aspects of tree paths
|
Pengarang: Ruaan Kellerman | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 688-704) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
First-order universality for real programs
|
Pengarang: Thomas Anberrée | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 729-751 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Compactness in first-order Gödel logics
|
Pengarang: Massoud Pourmahdian and Nazanin R. Tavana | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 473-485 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Oracle Configure To Order Implementation Manual
|
|
Perancangan Sistem Informasi Keuangan dan Aset Berbasis Web Di PT Informatika Media Pratama
|
|
Perancangan Sistem Informasi Ekspedisi Cargo Logistik Antar Perusahaan Berbasis Web Studi Kasus di PT. Sentrasen Putri Deswita
|
|
Rancang Bangun Presensi & Penggajian Berbasis Web yang di Integrasikan Pada Android di PT. KINGSLAND INTERNATIONAL
|
|