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-376
Collection Type Indeks Artikel prosiding/Sem
Title Soundness Verification of Business Processes Specifed in the Pi-Calculus (6-23)
Author Frank Puhlmann;
Publisher
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
SEM-376 TERSEDIA
Tidak ada review pada koleksi ini: 52008
Tidak ada abstrak pada koleksi ini
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
Introduction to communication command and control systems
Author: Morris, David J.; | Publisher: Oxford: Pergamon Press, 1977
[Remove]
Principles of protocol engineering and conformance testing
Author: Sarikaya, Behcet; | Publisher: Marylands Avenue; Elleis Horwood Ltd. ;1993
[Remove]
SAS user's guide: basics version 5th ed./ SAS Institute
Author: | Publisher: SAS Institute Inc, 1985
[Remove]
Implementasi knowledge management system pada organisasi pendidikan Implemanetasi Knowledge Management System pada Organisasi Pendidikan studi kasus MTI UI
Author: Mirnasari Dewi; | Publisher: Jakarta: Pascasarjana MTI UI,2007
[Remove]
Artificial intelligence for business operation, HAL. 864-876
Author: Saani Khalil; Vandana Gupta; Shikha Jalwal; Vijay Kumar; | Publisher:
[Remove]
Microcomputer Structures
Author: D'Angelo, Henry; | Publisher:
[Remove]
Pengembangan kanal blog dan user presence pada enhacement Piasa 2 PT Telekomunikasi Indonesia, Tbk
Author: M. Eka Suryana; | Publisher:
[Remove]
Probabilistic arc consistency, (LNCS-Lecture Notes in Computer Science 3709) Hal 862
Author: Deepak Mehta; M.R.C. van Dongen; | Publisher: Springer, 2005
[Remove]
OS/400 system program power PC V.4 5755-AS5 release R01M00 AS 400 advanced seres V.3 operating systems 400 (COAC16)
Author: | Publisher:
[Remove]
Computer technician's handbook/ Brice Ward
Author: Ward Brice; | Publisher:
[Remove]
Login
Advanced Search