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	A Dependently Type Multi-stage Calculus (53-72)
Author	Akira Kawata Atsushi Igarashi;
Publisher
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
SEM-374		TERSEDIA

Tidak ada review pada koleksi ini: 52185

Tidak ada abstrak pada koleksi ini

Latest Collection

How to Prepare for the TOEFL test of english as a foreign language 10 th edition

Type: Buku

UI/UX Designer Internship di Katadata Perancangan Dashboard Katadata Green, Revamp data series, dan pembuatan one-page website untuk d-insights

Type: Kerja Praktek (KP)

Analisis Faktor yang Memengaruhi Continuance Intention pada Platform Peer-to-Peer Accommodation Berdasarkan Elaboration Likelihood Model: Studi Kasus Airbnb

Type: Skripsi

Evaluasi Aksesibilitas dan Perbaikan Desain Antarmuka Web Kampus DesigMerdeka Kemendikbudristek bagi Penyandang Disabilitas Penglihatan, Buta Warna, dan Attention Deficit Hyperactivity Disorder (ADHD) dengan Pendekatan User-centered n

Type: Skripsi

Analisis dan Penerapan PRICES-IDE pada Antarmuka Pengguna Supply Chain Management Software Product Line

Type: Skripsi

SATASIUN BUMI ITB UNTUK SATELIT ORBIT RENDAH

Type: Indeks Artikel prosiding/Sem

CAKAR JAYA DUA (Catur Karsa Jala dan Urusan Anda)

Type: Indeks Artikel prosiding/Sem

SATU DASA WARSA JASIPAKTA

Type: Indeks Artikel prosiding/Sem

RANCANGBANGUN SISTEM REPEATER RADIO GENERASI I SEBAGAI UJI COBA KOMUNIKASI DATA LAPAN

Type: Indeks Artikel prosiding/Sem

SUSTAINABLE DEVELOPMENT NETWORKING PROGRAMME (SDNP) IN INDONESIA : STATUS AND PROSPECT

Type: Indeks Artikel prosiding/Sem

Favorite