Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Find Similar Add to Favorite

Call Number SEM-281
Collection Type Indeks Artikel prosiding/Sem
Title Embedding lax logic into intuitionistic logic, Hal. 78-93
Author Uwe Egly;
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: 36708
Tidak ada abstrak pada koleksi ini
Favorite
Pembangunan perangkat lunak penentuan daya listrik dengan logika fuzzy, HAL. D.83-D.88
Author: Farikhah Indriani, Supriyono; | Publisher: Prosiding SNATI 2007 : Seminar Nasional Aplikasi Teknologi Informasi 2007
[Remove]
Digital illusion: entertaining the future with high technology/Clark Dodsworth
Author: | Publisher: Reading, Mass Addison-Wesley 1998
[Remove]
Penerapan CMMI pada perusahaan kecil: studi kasus PT. XYZ
Author: Abdul Barir Hakim; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2011
[Remove]
Electronic commerce: from vision fulfillment 2nd ed.
Author: Awad, Elias M; | Publisher: Upper Saddle, River,NJ: Prentice Hall, 2004
[Remove]
Penerapan data mining untuk monitoring intrusi: studi kasus balai jaringan informasi dan komunikasi
Author: Annisa Andarrachmi; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2019
[Remove]
EKSPLORASI KUALITAS PROFESIONAL DI BIDANG SISTEM INFORMASI AKUTANSI(139-148)
Author: Luciana Spica ALmilia; | Publisher: Prosiding seminar nasional aplikasi teknologi informasi 2008(SNATI 2008), Yogyakarta, 21 Juni 2008
[Remove]