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 A Sat based approach for solving formulas over boolean and linear mathematical propositions, Hal. 193-210
Author Gilles Audemard; Piergiorgio Bertoli, Alessandro Cimatti;
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: 36716
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
Solaris: common administration tasks
Author: | Publisher: Sun Microsystems Inc, 1994
[Remove]
Prediksi harga saham dengan linear regression berdasarkan analisis sentimen
Author: Yahya Eru Cakra; | Publisher: Depok: FASILKOM UI, 2015
[Remove]
The implementation of internet memes to build band awareness of e-commerce in Indonesia : a case study of Fabelio
Author: Elfira Fauziah; | Publisher: Depok : Fak. Ilmu Komputer, 2017
[Remove]
Perancangan arsitektur enterprise electronic document management system menggunakan TOGAF: Studi Kasus STMIK MDP
Author: Iis Pradesan; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2011
[Remove]
Pengembangan fitur delivery dispatcher produk mymovo PT Astra Graphia Information Technology
Author: Jonathan Prasetya Wijaya; | Publisher: Depok: Fasilkom UI, 2018
[Remove]
Visual modelling with rational rose 2000 and UML/Terry Quatrani
Author: Quatrani, Terry; | Publisher: Reading, Mass Addison-Wesley 2000
[Remove]
Concurrent euclid the unix system and tunis
Author: Holt, R.C.; | Publisher: Reading Massachusetts : Addison Wesley, 1983
[Remove]
TransPVM: sebuah wahana pemrograman paralel pada mesin berbasis transputer/ Hendra Widjaja
Author: Hendra Widjaja,; | Publisher: Depok: Fasilkom UI, 1993
[Remove]
Aplikasi Manajemen Database Pendidikan Berbasis Web dengan PHP dan MySQLI
Author: | Publisher: Yogyakarta: ANDI-Madiun-MADCOMS:2006
[Remove]
The logical data model, page 379
Author: | Publisher: New York: The Association for Computing Machinery
[Remove]
Login
Advanced Search