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	Temporal logic for proof-carrying code, Hal. 31-46
Author	Andrew Bernard and Peter Lee;
Publisher	Proceedings : Automated deduction CADE-18, 18th International conference on automated deduction Copenhagen, Denmark, July 2002
Subject	Proof-carrying, code, temporal logic
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
SEM-281		TERSEDIA

Tidak ada review pada koleksi ini: 36705

Tidak ada abstrak pada koleksi ini

Latest Collection

Zero Reference Deep Curve Estimation dengan Structure Evaluation untuk Restorasi Citra Gelap

Type: Skripsi

Analisis Faktor yang Memengearuhi Intensi Adopsi AI pada Usaha Mikro Kecil Menengah (UMKM) di Indonesia

Type: Skripsi

Analisis Faktor Push Pull dan Mooring yang Memengaruhi niat Beralih Pengguna Aolikasi Navigasi: Studi Kasus Waze

Type: Skripsi

Analisis Komparatif dan Evaluasi Desain Terhadap Penerapan Dark Pattern pada Tiga Aplikasi Mobile E-Commerce di Indonesia Shopee Tokopedia dan Lazada

Type: Skripsi

Analisis Faktor-faktor yang Memengaruhi User Engagement dalam Aplikasi Teleconsultation di Indonesia

Type: Skripsi

Pegnembangan Sistem Pemantauan Kelembaban Tanah Real-Time dengan Integrasi DataStreaming dan Model Machine Learning untuk mendukung Prefailure Inspection pada Stabilitas Lereng

Type: Skripsi

AI Chatbot Development for Computer Science Curriculum Based Academic Consultation using Retrieval Augmented Generation (RAG)

Type: Skripsi

Multi -Task Fine-Tuning Model Transformer dengan Skema Prefix-Prepend untuk Pembangkitan Pertanyaan Terpadu Berbasis Jawaban dalam Bahasa Indonesia

Type: Tesis

Evaluasi Kebergunaan (usability) ChatGPT Menuju Rekomendasi Desain ChatBot Edukasi Berbasis AI

Type: Tesis

Perancangan Kriteria Audit Keamanan Informasi Siber pada Sistem Informasi Manajemen Kepegawaian (SIMPEG) : Studi Kasus Lembaga XYZ

Type: Karya Akhir (KA)

Favorite