Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	SEM-374
Collection Type	Indeks Artikel prosiding/Sem
Title	Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion (181-201)
Author	Masayuki Mizuno Eijiro Sumii;
Publisher
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
SEM-374		TERSEDIA

Tidak ada review pada koleksi ini: 52196

Tidak ada abstrak pada koleksi ini

Latest Collection

Pengembangan Model Klasifikasi dan Object Detection untuk Diagnosis Awal di Bidang Ortodonti

Type: Skripsi

Metodologi Pemetaan Topologi Internet Regional pada Tingkat Autonomous System Beserta Penerapannya pada Topologi Internet Indonesia

Type: Disertasi

Otomatisasi dan Analisis Data dalam Sistem Manajemen Rantai Pasok Shipper

Type: Kerja Praktek (KP)

Perancangan dan Implementasi Dashboard Penggunaan Gudang untuk Membantu Proses Bisnis pada Perusahaan Logistik: Studi Kasus PT Shippindo Teknologi Logistik

Type: Skripsi

Perancangan Aplikasi Pengelolaan Stres Akademik Pada Mahasiswa Program Sarjana: Studi Kasus Fakultas Ilmu Komputer Universitas Indonesia

Type: Skripsi

Evaluasi Penerapan Web Sustainability Guidelines (WSG) 1.0 dan Pengembangan Desain Alternatif Antarmuka Media Sosial Berbagi Video Pendek: Studi Kasus TikTok dan YouTube Shorts

Type: Skripsi

Analisis Faktor-Faktor yang Memengaruhi Continuance Intention Pengguna dalam Menggunakan Layanan Digital Pasca Pandemi COVID-19: Studi Kasus E-Health, E-Learning, E-Wallet

Type: Skripsi

Analisis Faktor Pendorong dan Penghambat Adopsi Mobil Listrik di Indonesia: Pendekatan Berbasis LDA dan Analisis Sentimen Menggunakan Komentar YouTube

Type: Skripsi

Analisis Pengaruh Faktor TPE (Technology, Personal, dan Environment) terhadap Continuance Intention pada Penggunaan Aplikasi Investasi Reksa Dana: Studi Kasus Aplikasi Bibit dan Bareksa

Type: Skripsi

Proses Pengembangan Aplikasi pada Biro IMO HC

Type: Kerja Praktek (KP)

Favorite