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 005.14 Loe f
Collection Type Buku
Title The foundations of program verification 2nd ed/ Jacques Loeckx and Kurt Sieber
Author Loeckx, Jacques;
Publisher Wiley - Teubner Series in Computer Science, 1984
Subject Computer program-verification
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
005.14 Loe f 88/5574 TERSEDIA
005.14 Loe f 85/4478 TERSEDIA
Tidak ada review pada koleksi ini: 26132
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
PASCAL: for fortran programmer's
Author: Weiss, Robert; | Publisher: Reading,Mass: Addison Wesley, 1984
[Remove]
Risk Assessment Keamanan Informasi Dengan Menggunakan ISO/IEC 27001: Studi Kasus PT Dyandra Promosindo
Author: Mahansa Putra; | Publisher:
[Remove]
Arsitektur e-riset menggunakan kerangka kerja zachman: studi kasus Lembaga ilmu pengetahuan indonesia(LIPI)
Author: Indri Juwita Asmara; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2012
[Remove]
E-Government information security management system by ISO/IEC 27001:2005, A-14 - A-18
Author: Rumadi Hartawan; | Publisher:
[Remove]
Rancangan kebijakan dan prosedur secure electronic document management system (SEDMS) : studi kasus Lembaga Sandi Negara
Author: Magdalena Christine; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2014
[Remove]
Membuat Custom Report untuk menyajikan Financial Report terhadap aktivitas Sales, Purchases, dan Expenses pada produk jurnal.id
Author: ALIF AHSANIL SATRIA; | Publisher: Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2019
[Remove]
Ethics and computing: living responsibly in a computerized world 2nd ed.
Author: Bowyer, Kevin W.; | Publisher: Los Alamitos: IEEE Press, 2001
[Remove]
Perancangan deskripsi kerja pengelola teknologi informasi di PT.XYZ
Author: Ismail Radiansyah Siregar; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2013
[Remove]
Login
Advanced Search