Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	004 Lec
Collection Type	Indeks Artikel LNCS
Title	Synthesis of communicating progresses from temporal logic specifications, (LNCS-Lecture Notes in Computer Science 131) Hal. 253-281
Author	Zohar Manna; Pierre Wolper;
Publisher	Springer, 1981
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
004 Lec		TERSEDIA

Tidak ada review pada koleksi ini: 39712

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