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-337
Collection Type Indeks Artikel prosiding/Sem
Title Verifikasi Sistem Berparameter Secara Formal Dengan Diagram Predikat Berparameter (154-159)
Author Cecilia E. Nugraheni;
Publisher
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
SEM-337 TERSEDIA
Tidak ada review pada koleksi ini: 52509
Tidak ada abstrak pada koleksi ini
Latest Collection
Analisis Faktor-faktor yang Memengaruhi niat Perpindahan Pembelian Tiket Bioskop dari Konvensional ke Mobile Applications Berdasarkan Teori Push-pull-Morning
Type: Skripsi
Implementation of Shao's Proxy Signature Scheme on Pdf Files
Type: Skripsi
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)
Favorite
Trends in developing countries/ World Bank Group
Author: | Publisher: World Bank Group, 1973
[Remove]
Pengembangan piranti bantu perhitungan harga obligasi dengan model Stochastic Term Stucture of Interest Rates/ Farindra Tamin
Author: Farindra Tamin; | Publisher: Depok: Fasilkom UI, 2002
[Remove]
Implementasi dan Evaluasi Aplikasi Web Forum Diskusi Asinkron Berbasis Kerangka Kerja Community of Inquiry
Author: Azka Fitria, Nadilatusifa, Sonia Rahmawati; | Publisher: Depok: Fakultas Ilmu Komputer UI, 2023
[Remove]
Voice
Author: Hel, Gil; | Publisher: New York: McGraw-Hill, 2000
[Remove]
The Nature of indexing: how humans and machines analyze messages and texts for retrieval part I: research and the nature of human indexing, page 231
Author: | Publisher: Pergamon Press, 1963
[Remove]
Introduction to expert sytsems
Author: Jackson, Peter; | Publisher: Workingham, England Addison-Wesley 1990
[Remove]
Computing with logic: logic programming with prolog
Author: Maier, David; | Publisher: Menlo Park The Benjamin/Cumming 1988
[Remove]
Programming machine ethics
Author: Pereira, Luis Moniz; | Publisher: New York, NY: Spriger Berlin Heidelberg, 2016
[Remove]
Pengembangan job recruitment system pengembangan modul master table, system parameter dan database report PT Sigma Cipta Caraka BALICAMP
Author: Hendrik Ganda Wijaya; | Publisher: Depok: Fakultas Ilmu Komputer, 2006
[Remove]
Implementasi Logika Fuzzy Untuk Pengambilan Keputusan Kenaikan Level Pada Game Pembelajaran Dalam Lingkungan Perangkat Bergerak
Author: Agung Hernawan; | Publisher:
[Remove]
Login
Advanced Search