Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	005.273 Cha d
Collection Type	Buku
Title	Duration calculus: a formal appproach to real-time systems
Author	Chaochen, Zhou;
Publisher	Berlin: Springer Verlag, 2004
Subject	Real-time data processing; Formal methods (Computer science) ; Mathematics-Data processing
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
005.273 Cha d	05/10706	TERSEDIA
005.273 Cha d	05/10706 A ( Fotokopi )	TERSEDIA

Tidak ada review pada koleksi ini: 8310

Tidak ada abstrak pada koleksi ini

Latest Collection

Analisis Sentimen Dan Pemodelan Topik Pada Ulasan Aplikasi Digital KORLANTAS

Type: Karya Akhir (KA)

Analisis Perbaikan Bisnis Proses Dan Perancangan Prototipe Sistem Pelatihan Daring Berbasis MOOC: Studi Kasus SEAMOLEC

Type: Karya Akhir (KA)

Faktor-Faktor Yang memengaruhi Penggunaan Knowledge Portal: Studi Kasus Divisi Telkom Regional 2 PT Telkom Indonesia

Type: Karya Akhir (KA)

Analisis Faktor-Faktor yang Memengaruhi Penerimaan Pengguna Core Banking System: Studi Kasus Institusi Finansial

Type: Karya Akhir (KA)

Evaluasi Usability dan Rekomendasi Desain Virtual Community Pada Marketplace Produk Digital Itemku

Type: Karya Akhir (KA)

Strategi Peningkatan Keamanan Informasi pada Pusat Sistem Informasi dan Teknologi Keuangan

Type: Karya Akhir (KA)

Analisis dan Perancangan Gamifikasi Aplikasi Manajemen Keuangan Pribadi Untuk Memengaruhi Faktor-faktor Psikologis Pengguna : Suatu Penelitian Design Science

Type: Tesis

Pengembangan Inovasi untuk Mendukung Layanan Pemerintahan Berbasis Smart Governance: Studi Kasus pada Pemerintah Daerah Kabupaten Tegal

Type: Karya Akhir (KA)

Analisis Faktor yang Memengaruhi Willingness to Pay Layanan Premium Subscription pada Layanan Cloud Storage: Studi Kasus iCloud+

Type: Skripsi

Pembuatan Website Personal Branding dan Chat Widget CV.Lumintu Logic

Type: Kerja Praktek (KP)

Favorite