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 005.133 Gab l
Collection Type Indeks Artikel LNCS
Title Formalization and verification of interaction protocols, ((LNCS-Lecture Notes in Computer Science 3668) Hal 437-438
Author Federico Chesani;
Publisher Springer, 2005
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
005.133 Gab l TERSEDIA
Tidak ada review pada koleksi ini: 38354
Tidak ada abstrak pada koleksi ini
Latest Collection
Analisis Faktor-faktor yang Memengaruhi niat Perpindahan Pembelian Tiket Bioskop dari Konvensional ke Mobile Applications Berdasarkan Teori Push-pull-Morning
Type: Skripsi
Implementation of Shao's Proxy Signature Scheme on Pdf Files
Type: Skripsi
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)
Favorite
Proactive fault-management in software systems, Hal. 3-6
Author: Kishor S. Trivedi; | Publisher: Proceedings: the 3rd annual simulation symposium, Washington D.C, 16-20 April 2000
[Remove]
Inventory collection system pada sebuah local area network dengan memanfaatkan java management extensions, Hal. VII.32-VII.35
Author: Destana D. Mulidani; Sugianto, Jusah; | Publisher: SNASTI 2006 (Seminar Nasional Sistem
[Remove]
Sistem informasi bagian umum: Laporan kerja praktek pada NVPD Soedarpo Corporation
Author: Denny Yerianto; | Publisher: Depok : Fakultas Ilmu Komputer Unversitas Indonesia, 1991
[Remove]
Side-Channel attack on substitution blocks, (LNCS-Lecture Notes in Computer Science 2576) Hal 307-318
Author: Roman Novak; | Publisher: Springer, 2003
[Remove]
Compiler and runtime support for strcutured and block structured applications, Hal. 578-587
Author: Gagan Agrawal; ALan Sussman; | Publisher:
[Remove]
JXTA-overlay: A P2P system for groupware tools, HAL. 9-19
Author: Fatos Zhafa; Leonard Barolli; Raul Fernandez; Thanasis Daradoumis; Makoto Takizawa; | Publisher: Proceeding of MoMM2007
[Remove]
Static profile-driven compilation for FPGAs, (LNCS-Lecture Notes in Computer Science 2147) Hal 112-122
Author: Srihari Cadambi; Seth Copen Goldstein; | Publisher: Springer, 2001
[Remove]
Perancangan arsitektur teknologi informasi pada PT XYZ menggunakan kerangka TOGAF dan virtualisasi
Author: Alfredo Edo Hasudungan Manik; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2012
[Remove]
Pengembangan aplikasi toko on-line mugentstore.com untuk PT. Landak Total Solusi
Author: Anita; | Publisher:
[Remove]
Fortran programming for windows/L. John Ribar
Author: Ribar, L. John; | Publisher:
[Remove]
Login
Advanced Search