Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	SEM-281
Collection Type	Indeks Artikel prosiding/Sem
Title	Focussing proof-net construction as a midleware paradign, Hal. 501-516
Author	Jean Marc Andreocoli;
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: 36738

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