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
Informasi Umum Stock File Digital Member Review Table of Content Abstract

Find Similar Add to Favorite

Call Number SEM-253
Collection Type Indeks Artikel prosiding/Sem
Title Developments in hybrid systems synthesis and verfications, Hal. 141-160
Author Amir Pnuli;
Publisher Second European workshop on-real-time and hybrid systems wednesday May, 31, Thurday June 1st and Friday June 2nd 1995
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
SEM-253 TERSEDIA
Tidak ada review pada koleksi ini: 37153
Tidak ada abstrak pada koleksi ini
Latest Collection
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)
Evaluasi Usability dan Rekomendasi Desain Virtual Community Pada Marketplace Produk Digital Itemku
Type: Karya Akhir (KA)
Favorite
AUTOMATIC VEICLES NUMBER PREDICTION AT TRAFFIC LIGHTS INTERSECTION BY USING RADIAL BASIS FUNVTION NETWORK (Hal 129 - 134)
Author: Yoyok Heru Prasetyo Isnomo , Mauridhi Hery Purnomo; | Publisher:
[Remove]
Phonological rules of Hindi and Automatic Generation of Pronunciation Dictionary For Speech Recogition (hal 33-36)
Author: Vishal Chourasia; | Publisher:
[Remove]
Pemantauan Lalu Lintas dan Kondisi Jalan dengan Pendekatan Ekstraksi Informasi dari Media Sosial Twitter
Author: Prabu Kresna Putra; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2020
[Remove]
Pengembangan sistem pemesanan ruang rapat di PT Telekomunikasi Indonesia
Author: Tozza Lantika Riyanto; | Publisher:
[Remove]
Perancangan kebijakan manajemen kualitas data: studi kasus data sumur pengeboran migas PT XYZ
Author: Muhammad Fuad Dwi Rizki; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2018
[Remove]
Lotus notes administration guide 4.5 release
Author: | Publisher: Lotus Development Co, 1999
[Remove]
Optimalisasi aplikasi e-procurement: studi kasus interoperabilitas aplikasi LPSE dan Sistem Informasi perpajakan
Author: Budi Susanto Sulistyo; | Publisher:
[Remove]
Rancangan model dan sistem informasi asesmen dan pemantauan kompetensi aparatur sipil negara
Author: Rio Afirando; | Publisher:
[Remove]
The oxford dictionary of current english/ed. Della Thompson
Author: ,; | Publisher:
[Remove]
Representasi Data Tabular dari Portal Data Terbuka Dalam Bentuk Graf
Author: Ekanaradhipa Deynagama Djacaria; | Publisher:
[Remove]
Login
Advanced Search