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 42623 returns 5787 document(s)
Modular and compositional verification for imperative programs and concurrent systems ( ve...
Author: Ade Azurat; |
Call Number: DIS-014 (Softcopy DIS-006) | Type: Disertasi
Find Similar Add to Favorite Open in New Tab
Modular and compositional verification for imperative programs and concurrent systems ( ve...
Author: Ade Azurat; |
Call Number: Ringdis-014 | Type: Ringkasan Disertasi
Find Similar Add to Favorite Open in New Tab
Proof Linking: Modular Verification of Mobile Programs in the Presence of Lazy, Dynamic Li...
Type: Indeks Artikel Jurnal
Find Similar Add to Favorite Open in New Tab
Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning ...
Author: Long H. Pham Jun Sun Quang Loc Le; |
Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar Add to Favorite Open in New Tab
Modular Acyclicity and Tail Recursion in Logic Programs (92-101)
Author: Kenneth A.Ross; |
Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar Add to Favorite Open in New Tab
Modular discrete modelling of batch processes by means of condiiton/ event systems, Hal. 2...
Author: S. Kowalewski; S. Engell, M. Fritz; R. Gesthuisen; G. Regner; M. Stobbe; |
Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar Add to Favorite Open in New Tab
Continuing education center ASIAN Institute of technology 6-16 December 1988 verification ...
Call Number: SEM-042 | Type: Prosiding Seminar
Find Similar Add to Favorite Open in New Tab
Designing and programming modern computers and systems: vol. 1 LSI modular computer system...
Call Number: 004.22 Des | Type: Buku
Find Similar Add to Favorite Open in New Tab
Designing and programming modern computers and systems vol. 1: LSI modular computer system...
Call Number: 004.22 Des | Type: Buku Pusat
Find Similar Add to Favorite Open in New Tab
The architecture of concurrent programs/ Per Brinch Hansen
Author: Hansen, Per Brinch; |
Call Number: 005.13 Han a | Type: Buku
Find Similar Add to Favorite Open in New Tab
Prev   1 2 3 4 5 6 7 8 9 10  Next
Latest Collection
Zero Reference Deep Curve Estimation dengan Structure Evaluation untuk Restorasi Citra Gelap
Type: Skripsi
Analisis Faktor yang Memengearuhi Intensi Adopsi AI pada Usaha Mikro Kecil Menengah (UMKM) di Indonesia
Type: Skripsi
Analisis Faktor Push Pull dan Mooring yang Memengaruhi niat Beralih Pengguna Aolikasi Navigasi: Studi Kasus Waze
Type: Skripsi
Analisis Komparatif dan Evaluasi Desain Terhadap Penerapan Dark Pattern pada Tiga Aplikasi Mobile E-Commerce di Indonesia Shopee Tokopedia dan Lazada
Type: Skripsi
Analisis Faktor-faktor yang Memengaruhi User Engagement dalam Aplikasi Teleconsultation di Indonesia
Type: Skripsi
Pegnembangan Sistem Pemantauan Kelembaban Tanah Real-Time dengan Integrasi DataStreaming dan Model Machine Learning untuk mendukung Prefailure Inspection pada Stabilitas Lereng
Type: Skripsi
AI Chatbot Development for Computer Science Curriculum Based Academic Consultation using Retrieval Augmented Generation (RAG)
Type: Skripsi
Multi -Task Fine-Tuning Model Transformer dengan Skema Prefix-Prepend untuk Pembangkitan Pertanyaan Terpadu Berbasis Jawaban dalam Bahasa Indonesia
Type: Tesis
Evaluasi Kebergunaan (usability) ChatGPT Menuju Rekomendasi Desain ChatBot Edukasi Berbasis AI
Type: Tesis
Perancangan Kriteria Audit Keamanan Informasi Siber pada Sistem Informasi Manajemen Kepegawaian (SIMPEG) : Studi Kasus Lembaga XYZ
Type: Karya Akhir (KA)
Favorite
Login
Advanced Search