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 38157 returns 6327 document(s)
Algorithmic analysis of nonlinear hybrid systems, (LNCS-Lecture Notes in Computer Science ...
Author: Thomas A. Henzinger; Pei Hsin Ho; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Automated analysis of an audio control protocol, (LNCS-Lecture Notes in Computer Science 9...
Author: Pei-Hsin Ho; Howard Wong-Toi; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Efficient timing analysis of a class of petri nets, (LNCS-Lecture Notes in Computer Scienc...
Author: Henrik Hulgaard; Steven M. Burns; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Putting advanced reachability analysis techniques together: the ARA tool, (LNCS-Lecture No...
Author: Antti Valmari; Jukka Kemppainen; Matthew Clegg; Mikko Levanto; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
VITAK: a visual tool for analysis of rules beavior in active database (LNCS-Lecture Notes ...
Author: Emmanuel Benazet, Herve Guehl, Mokrane Bouzeghoub; |
Call Number: 004 Rul | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Parallelizing union-find in constraint handling rules using confluence analysis, (LNCS-Lec...
Author: Thom Fruhwirth; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Nondeterminism analysis of functional logic programs, (LNCS-Lecture Notes in Computer Scie...
Author: Bernd Brarel; Michael Hanus; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Polynomial interpretations as a basis for termination analysis of logic programs, (LNCS-Le...
Author: Manh Thang Nguyen; Danny De Schreye; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
A generic framework for the analysis and specialization of logic programs, ( (LNCS-Lecture...
Author: German Puebla; Elvira Albert; Manuel Hermenegildo; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Shallow morphological analysis in monolingual information retrieval for Dutch, German, and...
Author: Christof Monz; Maaten de Rijke; |
Call Number: 025.04 Eva | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Prev   6 7 8 9 10 11 12 13 14 15  Next
Latest Collection
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)
Analisis Faktor-Faktor Perilaku Pengguna Dalam Menghindari Ancaman Keamanan pada Mobile Banking
Type: Karya Akhir (KA)
Perancangan Strategi Tata Kelola Data: Studi Kasus Pemerintah Kabupaten Sumenep
Type: Karya Akhir (KA)
Analisis Faktor-Faktor yang Memengaruhi Niat Pengguna dalam Menggunakan Fitur Ulasan Produk pada Aplikasi Tokopedia
Type: Karya Akhir (KA)
Perancangan Strategi Sistem Informasi Pada Software Development Company: Studi Kasus PT XYZ
Type: Karya Akhir (KA)
Perancangan Manajemen Keamanan Informasi Sistem Pemerintahan Berbasis Elektronik Menggunakan Peraturan Badan Siber dan Sandi Negara Nomor 4 Tahun 2021 dan ISO/IEC 27001:2022: Studi Kasus Pusat Penelitian, Data dan Informasi Badan Narkotika Nasional
Type: Karya Akhir (KA)
Asesmen Maturitas Kualitas Data: Studi Kasus PT.DEF
Type: Karya Akhir (KA)
Analisis Faktor-Faktor Yang Memengaruhi Perpindahan Niat Berbelanja Ke Fitur E-Fulfillment: Studi Kasus Dilayani Tokopedia
Type: Karya Akhir (KA)
Analisis Pengaruh Personalisasi Produk dan Service Quality Pada Niat Keberlanjutan Pengguna Online Grocery: Studi Kasus Tokopedia NOW!
Type: Karya Akhir (KA)
Favorite
Task Assignment with Unknown Duration (214-224)
Author: M. Harchol-Balter | Publisher: null
[Remove]
Login
Advanced Search