Home Profile Contact Us
Quick Link
Universitas Indonesia Perpustakaan Universitas Indonesia Fakultas Ilmu Komputer Universitas Indonesia Remote Library Universitas Indonesia
Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Advanced Search
Informasi Umum Stock File Digital Member Review Table of Content Abstract

Find Similar Add to Favorite

Call Number SEM-281
Collection Type Indeks Artikel prosiding/Sem
Title The quest fo efficient boolean satisfiability solvers, Hal. 295-313
Author Lintao Zhang; Sharad Malik;
Publisher Proceedings : Automated deduction CADE-18, 18th International conference on automated deduction Copenhagen, Denmark, July 2002
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
SEM-281 TERSEDIA
Tidak ada review pada koleksi ini: 36725
Tidak ada abstrak pada koleksi ini
Latest Collection
Evaluasi Usability dan Perbaikan Desain Antarmuka M.TIX Sebagai Platform Pembelian Tiket Secara Daring
Type: Skripsi
UI/UX Designer at PT Impactbyte Teknologi Edukasi
Type: Kerja Praktek (KP)
A First course in differential equations with modeling applications 12 ed.
Type: Buku
Analisis dan Perancangan Aplikasi PendukungPembelian Produk Sustainable Fashion
Type: Skripsi
Integrasi Sistem Pengecekan Plagiarisme Elang dengan Sistem Informasi Sidang(Sisidang) Fakultas Ilmu Komputer Universitas Indonesia
Type: Skripsi
Analisis dan Perancangan Aplikasi Manajemen Keuangan Pribadi untuk Penggunaan Berkelanjutan : Suatu Penelitian Design Science
Type: Skripsi
Analisis Sentimen Dan Pemodelan Topik Pada Ulasan Aplikasi Digital KORLANTAS
Type: Karya Akhir (KA)
Analisis Perbaikan Bisnis Proses Dan Perancangan Prototipe Sistem Pelatihan Daring Berbasis MOOC: Studi Kasus SEAMOLEC
Type: Karya Akhir (KA)
Faktor-Faktor Yang memengaruhi Penggunaan Knowledge Portal: Studi Kasus Divisi Telkom Regional 2 PT Telkom Indonesia
Type: Karya Akhir (KA)
Analisis Faktor-Faktor yang Memengaruhi Penerimaan Pengguna Core Banking System: Studi Kasus Institusi Finansial
Type: Karya Akhir (KA)
Favorite
Pembuatan OR code berdekorasi serta implementasi OR code encoder dengan menggunakan java
Author: Hendri; | Publisher: Depok: Fasilkom UI, 2010
[Remove]
Analysis and design for project manager, procurement and asset information system schlumberger information solutions-infrastructure services PT Schlumberger geophysics Nusantara/ Michael B.M.
Author: Michael B.M.; | Publisher: Depok : FASILKOM UI, 2007
[Remove]
The Phoenix project: a novel about IT devops and helping your business win
Author: Kim, Gene; | Publisher: America: IT Revolution Press, 2004
[Remove]
Prosiding medan,25-26 februari 2011 konferensi nasional sistem informasi 20011information system: bridging gap between theories and practices (KNSI)
Author: | Publisher: Medan: STMIK Potensi Utama, 2011
[Remove]
The KWIC and the dead: a lesson in computing history, page 144
Author: | Publisher: New York: IEEE Computer Society
[Remove]
Analysis of the Female-headed households' situation, a case study of Female-headed households in Iran
Author: Hossein Nazoktabar; Abbas Namdar Aliabadi; | Publisher: 2011 international conference on social science and humanity february 26-28, 2011 singapore volume 1 proceedings (ICSSH)
[Remove]
Deteksi Komunitas Peserta Lelang pada Layanan Pengadaan Secara Elektronik (LPSE)
Author: Jessica Alexia Jaury; | Publisher:
[Remove]
A Universal-scheme approach to statistical databases containing homogeneous summary tables, 678
Author: Malvestuto F.M. | Publisher:
[Remove]
The Study of Damaged Fields Evolutionary Law in Deep Mining of Coal with Filling (V1-21 -- V1-24)
Author: Cheng HongmeiXu AibinGao Feng; | Publisher:
[Remove]
Tutorix sebuah perangkat ajar berbantuan komputer untuk belajar sistem operasi unix
Author: Fanny Angela; | Publisher: Depok: Fakultas Ilmu Komputer UI, 1992
[Remove]
Login
Advanced Search