Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	SEM-234
Collection Type	Indeks Artikel prosiding/Sem
Title	Relative liveness: from intuition to automated verfication, Hal. 108-117
Author	R. Negulescu; J.A. Brozozowski;
Publisher	Proceedings : asynchronous design methodologies, May 30-31, 1995 London, England, 1995
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
SEM-234		TERSEDIA

Tidak ada review pada koleksi ini: 37426

Tidak ada abstrak pada koleksi ini

Latest Collection

Analisis Model Bisnis dan Fitur Platform Startup Decluttering Barang Second Hand Menggunakan Metode Lean StartUp

Type: Karya Akhir (KA)

Model Pengelolaan Technical Debt Dengan Metode Lean Dan Agile: Studi Kasus Perusahaan Sekuritas PT XYZ

Type: Karya Akhir (KA)

Identifikasi Faktor Penting Untuk Meningkatkan Kualitas TeamWork Menggunakan Kerangka ATWQ: Studi Kasus StartUp Di Indonesia

Type: Karya Akhir (KA)

Tingkat Kematangan Dan Rekomendasi Perbaikan Tata Kelola Teknologi Informasi Berdasarkan Kerangka Kerja COBIT 2019: Studi Kasus Mahkamah Agung Republik Indonesia

Type: Karya Akhir (KA)

Creating Value with Social Media Analytics, Third Edition

Type: Buku

Evaluasi Pelaksanaan Manajemen Proyek Pengembangan Perangkat Lunak Untuk Tim Kecil Dengan Pendekatan CMMI 3.0 Dan Persyaratan Standar ISO 9001:2015

Type: Karya Akhir (KA)

Monetisasi Perangkat Lunak Pengelolaan Event Berbasis Internet: Studi Kasus Natacara

Type: Karya Akhir (KA)

Perancangan Aplikasi Securities Crowdfunding (SCF) untuk Bisnis Makanan dan Minuman : Studi Kasus PT Matajari Mitra Solusi

Type: Skripsi

Analisis Peringkat Faktor Penentu Kesuksesan Proyek Pembaruan Aplikasi SOA Menggunakan Analytic Hierarchy Process (AHP) dan Rekomendasi Perbaikan: Studi Kasus PT Bank XYZ

Type: Karya Akhir (KA)

Kerangka Kerja Transisi dan Adopsi Agile: Studi Kasus Aplikasi Perizinan Online Kementrian ESDM

Type: Karya Akhir (KA)

Favorite