Home Profile Contact Us
Quick Link
Universitas Indonesia Perpustakaan Universitas Indonesia Fakultas Ilmu Komputer Universitas Indonesia Remote Library Universitas Indonesia
Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Advanced Search
Home
/
Search for:
Your search for 13882 returns 7228 document(s)
E-process design and assurance using model checking, page 48
Type: Indeks Artikel Jurnal
Find Similar Add to Favorite Open in New Tab
Collaborative conceptual schema design: a process model and prototype system, page 347
Type: Indeks Artikel Jurnal
Find Similar Add to Favorite Open in New Tab
Efficient model checking using tabled resolution, Hal. 143-154
Author: Y.S. Ramakrishna; C.R. Ramakrishnan, IV, Ramakrishnan; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Multi-Valued Symbolic Model-Checking, page 371-408
Type: Indeks Artikel Jurnal
Find Similar Add to Favorite Open in New Tab
Model checking
Author: Clarke, Edmund M.; |
Call Number: 004.21 Cla m | Type: Buku
Find Similar Add to Favorite Open in New Tab
Using SPIN model checking for transmission control protocol, 33-37
Author: Nan Jiang, Zhiqiang Chen; |
Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
Find Similar Add to Favorite Open in New Tab
Membangun kekuatan bersama, page 48
Type: Indeks Artikel Jurnal
Find Similar Add to Favorite Open in New Tab
Terraforming cyberspace, page 48
Type: Indeks Artikel Jurnal
Find Similar Add to Favorite Open in New Tab
Manned flight, page 48
Type: Indeks Artikel Jurnal
Find Similar Add to Favorite Open in New Tab
A Model -Checking Verification Environment for Mobile Processes, page 440-472
Type: Indeks Artikel Jurnal
Find Similar Add to Favorite Open in New Tab
Prev   1 2 3 4 5 6 7 8 9 10  Next
Latest Collection
Optimalisasi Antarmuka dan Pengalaman Pengguna Sistem Manajemen pada Bosnet Distribution Indonesia sebagai UI/UX Designer
Type: Kerja Praktek (KP)
Analisis Risiko Keamanan Siber dan Pengembangan Security Operations Center PT.SKBD
Type: Kerja Praktek (KP)
Analisis Perbandingan dan Rrekomendasi Desain Microlearning Antarplatform Pembelajaran Digital : Udemi Khan Academy dan Edx
Type: Skripsi
Analisis Faktor-faktor Penentu Penggunaan AI Secara Etis di Kalangan Mahasiswa dengan Menggunakan Teori Planned Behavior dan Health Belief Model Studi Kasus : CHATGPT
Type: Skripsi
Analisis Faktor-faktor yang Memengaruhi Niat Keberlanjutan Penggunaan Platform Quick Commerce: Studi Kasus Pengguna Astro
Type: Skripsi
Analisis Faktor Pendorong Terhadap niat Penggunaan Artificial Intelligence-Aided Design Tools: Studi Kasus Plugin AI di FIGMA
Type: Skripsi
Pengembangan Fitur Evaluasi pada MOOC dengan Metode Large Language Model
Type: Skripsi
Sistem Optical Character Recognition untuk Naskah Pegon Tulis Tangan
Type: Skripsi
Partially Reliable Video Live Streaming Based on Quicc in Mobile Platform
Type: Skripsi
Re-Enginering Webshop Into Product Line Application With Prices-IDE
Type: Skripsi
Favorite
Login
Advanced Search