Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	004.33 Mal f
Collection Type	Indeks Artikel LNCS
Title	Verifying hybrid systems modeled as time automata: a case study, Hal. 171-185
Author	Myla Archer and Constrance Heitmeyer;
Publisher	Springer, 1997
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
004.33 Mal f		TERSEDIA

Tidak ada review pada koleksi ini: 39581

Tidak ada abstrak pada koleksi ini

Latest Collection

Analisis Faktor yang Memengaruhi Adopsi Aplikasi Mobile Diet Sehat pada Kelompok Usia Dewasa

Type: Karya Akhir (KA)

Evaluasi Tingkat Kematangan Dan Penyusunan Rekomendasi Tata Kelola Teknologi Informasi Dengan COBIT 2019: Studi Kasus UKMC Palembang

Type: Karya Akhir (KA)

Prediksi Persediaan Barang Berdasarkan Data Penjualan Dan Data Pembelian Menggunakan Machine Learning

Type: Karya Akhir (KA)

Analisis Tingkat Kesiapan Implementasi Manajemen Pengetahuan: Studi Kasus Sekolah Tinggi Meteorologi Klimtologi Dan Geofisika

Type: Karya Akhir (KA)

Evaluasi Implementasi Scrum Menggunakan Maturity Model Berbasis Scrum Body of Knowledge: Studi Kasus Pengembangan Mobile Banking di Bank XYZ

Type: Karya Akhir (KA)

Perancangan Model Pengukuran Tingkat Kesiapan Implementasi Manajemen Pengetahuan Pada Tim Tanggap Insiden Siber Nasional

Type: Karya Akhir (KA)

Analisis Sentimen dan Pemodelan Topik dalam Pemanfaatan Generative AI pada Pendidikan di Indonesia

Type: Karya Akhir (KA)

ANALISIS TINGKAT KESIAPAN PENERAPAN MANAJEMEN PENGETAHUAN: STUDI KASUS INSTITUT PEMERINTAHAN DALAM NEGERI

Type: Karya Akhir (KA)

Perencanaan Strategis Sistem Informasi: Studi Kasus Deputi Bidang Ekonomi Digital dan Produk Kreatif

Type: Karya Akhir (KA)

Analisis Faktor-Faktor Yang Memengaruhi Loyalitas Pengguna Terhadap Aplikasi Uang Elektronik XYZ

Type: Karya Akhir (KA)

Favorite