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	Structuring a Z specification to provide a formal framework for autonomous agent systems(LNCS-Lecture Notes in Computer Science 967), Hal. 46-62
Author	Michael Luck; Mark d'Inverno;
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: 39093

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