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 38555 returns 3822 document(s)
Robust timed automata, (LNCS-Lecture Notes in Computer Science 1201) Hal 331-345
Author: Vineet Gupta; Thomas A. Henzinger; Radha Jagadeesan; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Hybrid dynamic programming, (LNCS-Lecture Notes in Computer Science 1201) Hal 391-396
Author: Wolf Kohn; Jeffrey B. Remmel; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Parallelizing the mur verifier, (LNCS-Lecture Notes in Computer Science 1254) Hal 256-267
Author: Ulrich Stern; David L. Dill; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
UPPAAL: status & developments, (LNCS-Lecture Notes in Computer Science 1254) Hal 456-459
Author: Kim G Larsen; Paul Pettersson; Wang Yi; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
The PEP tool, LNCS-Lecture Notes in Computer Science 1254) Hal 442-443
Author: Bernd Grahlmann; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Module checking revisited, (LNCS-Lecture Notes in Computer Science 1254) Hal 36-47
Author: Orna Kupferman; Moshe Y. Vardi; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Encoding w: a logic z in 2obj, (LNCS-Lecture Notes in Computer Science 670) Hal 462-481
Author: Andrew Martin; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
An overview of the SPRINT method, (LNCS-Lecture Notes in Computer Science 670) Hal 403-427...
Author: H.B.M. Jonkers; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Real-time refinement, (LNCS-Lecture Notes in Computer Science 670) Hal 314-331
Author: Colin Fidge; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Hypergraph transversals, (LNCS-Lecture Notes in Computer Science 999)Hal. 13
Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Prev   11 12 13 14 15 16 17 18 19 20  Next
Latest Collection
Pengembangan Visualisasi Informasi Peta Sebaran Penyakit Menular di Wilayah Indonesia dengan Metode User-Centered Design (UCD)
Type: Skripsi
Analisis Faktor Push, Pull, Mooring (PPM) Terhadap Niat Pengguna untuk Mengadopsi Biometrik Sebagai Alternatif Autentikasi untuk Aplikasi E-Wallet yang Menggunakan Metode Konvensional (PIN) saat Verifikasi Pembayaran
Type: Skripsi
A Quantum Computing in Earth Observations – From Classical to Quantum Deep Learning
Type: Tesis
Pengembangan Sistem Klasifikasi Otomatis Makanan Tradisional
Type: Skripsi
Penerapan Dimensi Kualitas Data pada Proses ETL
Type: Kerja Praktek (KP)
Evaluasi Usability Dan Perancangan Desain Antarmuka Alternatif Aplikasi Nahtuh
Type: Skripsi
Pengembangan Model Penggunaan Generative AI untuk Konteks Belajar dan Mengajar yang Bertanggung Jawab: Studi Kasus Penggunaan ChatGPT di Universitas Indonesia
Type: Skripsi
Analisis Pengaruh Pengalaman dan Kepuasan Pengguna terhadap Reuse Intention Bank Digital sebagai Metode Pembayaran yang Terintegrasi dengan E-commerce
Type: Skripsi
Analisis Aspek-Aspek Mobile Service Quality yang Berpengaruh terhadap Continuance Intention Penggunaan Aplikasi Mobile Telekomunikasi: Studi Kasus MyTelkomsel
Type: Skripsi
Perancangan Sistem MLOPS untuk model Generative AI dengan Pengujian Berbasis Chaos Engineering
Type: Skripsi
Favorite
Login
Advanced Search