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 38831 returns 3624 document(s)
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
Semantics of framed temporal logic programs, LNCS-Lecture Notes in Computer Science 3668) ...
Author: Zhenhua Duan; Xiaoxiao Yang; Maciej Koutny; |
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
Synthesis of communicating progresses from temporal logic specifications, (LNCS-Lecture No...
Author: Zohar Manna; Pierre Wolper; |
Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Design and synthesis of synchronization skeletons using brancing time temporal logic, (LNC...
Author: Edmund M. Clarke; |
Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
The refinements and the stability of hoare logic, (LNCS-Lecture Notes in Computer Science ...
Author: J.A. Berostra; J. V. Tucker; |
Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Hoare's logic incomplete when it does not have to be, (LNCS-Lecture Notes in Computer Scie...
Author: J. Bergstra; |
Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
A Deployment value model for inrusion detection sensors, (LNCS-Lecture Notes in Computer S...
Author: Siraj A. Shaikh; Howard Chivers; Philip Nobles; John A. Clark; Hao Chen; |
Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Honeybee-based model to detect intrusion, (LNCS-Lecture Notes in Computer Science 5576) Ha...
Author: Ghassan Ahmed Ali; Aman Jantan; Abdulghani Ali; |
Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Prev   2 3 4 5 6 7 8 9 10 11  Next
Latest Collection
Evaluasi Usability dan Perbaikan Desain Antarmuka M.TIX Sebagai Platform Pembelian Tiket Secara Daring
Type: Skripsi
UI/UX Designer at PT Impactbyte Teknologi Edukasi
Type: Kerja Praktek (KP)
A First course in differential equations with modeling applications 12 ed.
Type: Buku
Analisis dan Perancangan Aplikasi PendukungPembelian Produk Sustainable Fashion
Type: Skripsi
Integrasi Sistem Pengecekan Plagiarisme Elang dengan Sistem Informasi Sidang(Sisidang) Fakultas Ilmu Komputer Universitas Indonesia
Type: Skripsi
Analisis dan Perancangan Aplikasi Manajemen Keuangan Pribadi untuk Penggunaan Berkelanjutan : Suatu Penelitian Design Science
Type: Skripsi
Analisis Sentimen Dan Pemodelan Topik Pada Ulasan Aplikasi Digital KORLANTAS
Type: Karya Akhir (KA)
Analisis Perbaikan Bisnis Proses Dan Perancangan Prototipe Sistem Pelatihan Daring Berbasis MOOC: Studi Kasus SEAMOLEC
Type: Karya Akhir (KA)
Faktor-Faktor Yang memengaruhi Penggunaan Knowledge Portal: Studi Kasus Divisi Telkom Regional 2 PT Telkom Indonesia
Type: Karya Akhir (KA)
Analisis Faktor-Faktor yang Memengaruhi Penerimaan Pengguna Core Banking System: Studi Kasus Institusi Finansial
Type: Karya Akhir (KA)
Favorite
Turtle geometry: the computer as a medium for exploring mathematics/ Harold Abelson
Author: Abelson, Harold; | Publisher: London, England: The MIT Press, 1980
[Remove]
Peringkasan Lintas Bahasa Berbasis Transformer Menggunakan Multilingual Word Embeddings Untuk Domain Bahasa Inggris-Indonesia
Author: Achmad F. Abka; | Publisher: Depok: Fakultas Ilmu Komputer UI, 2023
[Remove]
Pengukuran tingkat kemapanan penyelarasan strategi teknologi informasi dengan strategi organisasi pada instansi pemerintah (Studi Kasus: lembaga ilmu pengetahuan Indonesia)
Author: Opan Supandi; | Publisher:
[Remove]
Sistem penghitung pengunjung secara vertikal menggunakan HAAR-LIKE Features dan Boosting/ Ikhsan Putra Kurniawan
Author: Ikhsan Putra Kurniawan; | Publisher: Depok: Fasilkom UI, 2008
[Remove]
Ehancement enterprise data warehouse Laporan Harian Bank untuk tahap I dan II
Author: Sabila Sarafina; | Publisher:
[Remove]
Analisa Kelayakan implementasi sebagai protokol komunikasi internet: studi kasus implementasi IPv6 PT. Excelcomindo Pratama (XL) dan PT Indo Internet (Indonet)
Author: Maulana Muzaqi; | Publisher: Jakarta : Pascasarjana MTI, 2008
[Remove]
Human emotion Recognition Based On Active Apearance Model And Semi-Supervised Fuzzy C-Means
Author: Dewi Yanti Liliana; | Publisher:
[Remove]
Evaluasi Penerapan Pewarisan Jamak Pada Pengimplementasian Skema Transformasisi RaRaS./Hendrato Nugroho
Author: Hendranto Nugroho,; | Publisher:
[Remove]
Penilaian risiko dan analisa profil risiko TI menggunakan kerangka kerja riskit: studi kasus PT. Bank ABC (Persero) Tbk
Author: Yok Christiyono; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2011
[Remove]
Analisis faktor yang memengaruhi intention to use pada aplikasi mobile garuda indonesia: studi kasus PT Garuda indonesia
Author: Satria Ramadhan; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2018
[Remove]
Login
Advanced Search