Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Tipe Koleksi	Indeks Artikel Jurnal
Nama Jurnal	ACM TRANS. ON COMPUTATIONAL LOGIC
Volume	[6(2005): 4]
Judul Artikel	Proof Nets for Unit-Free Multiplicative-Additive Linear Logic, page 784-842
Penulis
Penerbit Jurnal	New York: The Association for Computing Machinery

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
		TERSEDIA

Tidak ada review pada koleksi ini: 13295

Tidak ada abstrak pada koleksi ini

Latest Collection

Perancangan dan evaluasi desain antarmuka manajemen housing: solusi digital untuk pengelolaan manajemen user -centered design

Type: Skripsi

Pengembangan Sistem Evaluasi Pembelajaran Berbasis Large Linguage Model Terintegrasi dengan Learning Management System dan Platform Portal Kuis

Type: Skripsi

Evaluasi Aksesibilitas dan Perbaikan Desain Antarmuka Aplikasi Transportasi umum bagi Penyandang Gangguan Penglihatan Buta Warna dan Attention Deficit Hyperactivity Disorder (ADHD)

Type: Skripsi

Pengembangan Platform Web Pembantuan Pengajaran Menggunakan Strategi 5 E

Type: Skripsi

Estimasi Indikator Kualitas Air Sungai Menggunakan Citra Supwer Resolution Sentinel-2

Type: Skripsi

Desain dan Evaluasi Aplikasi Latihan Debat Berbasis Daring Menggunakan Metode User Centered Design

Type: Skripsi

Analisis Faktor-faktor yang Memengaruhi Discontinuance Intention pada Aplikasi Social Media: Studi Kasus SNAPCHAT

Type: Skripsi

Perancangan Pengembangan Keamanan Identity and Access Management Terpusat pada Arsitektur Microservice: Studi Kasus PUSILKOM UI

Type: Karya Akhir (KA)

Perancangan Antarmuka dan Fitur Training Management System (TMS): Studi Kasus Divisi Corporate University PT XYZ

Type: Karya Akhir (KA)

Essentials of Statistics for the Behavioral Sciences (MindTap Course List) 10th Edition (INSTRUCTOR'S MANUAL)

Type: Instructor's Manual (Khusus Do

Favorite