Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	SEM-337
Collection Type	Indeks Artikel prosiding/Sem
Title	Verifikasi Sistem Berparameter Secara Formal Dengan Diagram Predikat Berparameter (154-159)
Author	Cecilia E. Nugraheni;
Publisher
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
SEM-337		TERSEDIA

Tidak ada review pada koleksi ini: 52509

Tidak ada abstrak pada koleksi ini

Latest Collection

Analisis Faktor Pendorong dan Penghambat Adopsi Mobil Listrik di Indonesia: Pendekatan Berbasis LDA dan Analisis Sentimen Menggunakan Komentar YouTube

Type: Skripsi

Analisis Pengaruh Faktor TPE (Technology, Personal, dan Environment) terhadap Continuance Intention pada Penggunaan Aplikasi Investasi Reksa Dana: Studi Kasus Aplikasi Bibit dan Bareksa

Type: Skripsi

Proses Pengembangan Aplikasi pada Biro IMO HC

Type: Kerja Praktek (KP)

Evaluasi Usability dan Rekomendasi Desain Alternatif Aplikasi HNI Integrated System (HSIS) Mobile

Type: Karya Akhir (KA)

Analisis Faktor-Faktor yang Memengaruhi Stickiness pada Mobile Healthcare Learning: Studi Kasus Aplikasi Doctor to Doctor

Type: Karya Akhir (KA)

PENDETEKSIAN KASUS PENCATATAN GANDA PADA DATA PELANGGAN DI PERUSAHAAN XYZ

Type: Karya Akhir (KA)

Analisis Faktor-Faktor yang Memengaruhi Niat Penggunaan Berkelanjutan Livestream Shopping pada Social Commerce

Type: Karya Akhir (KA)

Peningkatan Proses Software Requirement Management Berbasis CMMI V2.0 : Studi Kasus Lembaga National Single Window

Type: Karya Akhir (KA)

Analisa Pengaruh Kesiapan Karyawan Terhadap Penerimaan Modul Training Management Pada PT XYZ

Type: Karya Akhir (KA)

Feature Model untuk Domain Aplikasi Pet Health Menggunakan Metode Cardinality-Based Feature Model

Type: Karya Akhir (KA)

Favorite