Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	004 Lec
Collection Type	Indeks Artikel LNCS
Title	Hoare's logic incomplete when it does not have to be, (LNCS-Lecture Notes in Computer Science 131) Hal. 9-23
Author	J. Bergstra;
Publisher	Springer, 1981
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
004 Lec		TERSEDIA

Tidak ada review pada koleksi ini: 39700

Tidak ada abstrak pada koleksi ini

Latest Collection

Rancangan Lingkungan Pembelajaran Daring Berdasarkan Profiling Literasi Digital di Tingkat Sekolah Menengah Atas

Type: Tesis

Model Tanya Jawab bidang Hukum Menggunakan Large Language Model Generatif dengan Few-shot Prompting pada Knowledge Graph LexID

Type: Skripsi

Peningkatan Fungsionalitas dan User Experience pada Plugin IFML DOP Editor

Type: Kerja Praktek (KP)

Kustomisasi User Interface dalam Automasi Pengembangan Aplikasi Front-End Melalui UI Generator

Type: Skripsi

Analisis Penerimaan Biometric Security System pada Mobile Banking menggunakan Protection Motivation Theory dan Theory of Planned Behavior: Efek Moderasi Personal Innovativeness dan Education

Type: Skripsi

Refaktor Penerapan Multilevel Delta pada Produk Payment Gateway dan Plugin WinVMJ Composer, serta Porting Plugin WinVMJ Composer ke Platform MacOS

Type: Skripsi

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

Favorite