Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	005.133 Bow z
Collection Type	Indeks Artikel LNCS
Title	Mechanizing formal methods : opportunities and challenges (LNCS-Lecture Notes in Computer Science 967), Hal. 105-133
Author	John Rushby;
Publisher	Springer, 1995
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
005.133 Bow z		TERSEDIA

Tidak ada review pada koleksi ini: 39096

Tidak ada abstrak pada koleksi ini

Latest Collection

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

Kerja Praktik Proses Pengembangan Produk Biller di PT Alto Network

Type: Kerja Praktek (KP)

Analisis Dark Pattern dan Rekomendasi Desain pada Aplikasi Mobile Ride-Hailing di Indonesia: Gojek, Grab, Maxim

Type: Skripsi

Analisis Peforma Algoritma Bubble Sort dan Perkalian Matriks dalam Java, Python, PHP. dan Rust

Type: Skripsi

Optisign: Motion-aware end to endFramework Model for Blur Resistant Sign Language Recognition and Interpretation

Type: Tesis

Penggunaan Diagram Voronoi pada Metode Low-Rank Sparse Dark Channel Prior untuk Penghapus Awan

Type: Tesis

Perancangan Kerangka Kerja Kesiapan Customer Knowledge Management pada Usaha Mikro Kecil dan Menengah

Type: Tesis

Pengukuran Terintegrasi User Interface Usability dan User Experience: Sebuah Model Konseptual

Type: Tesis

Favorite