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 39016 returns 2524 document(s)
Real-time refinement, (LNCS-Lecture Notes in Computer Science 670) Hal 314-331
Author: Colin Fidge; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Demonstrating real-time JPEG image compression-decompression using standard component IP c...
Author: Albert Simpson; Jill Hunter; Moira Wylie; Yi Hu; David Mann; |
Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Generalizing abadi & lamport's method to solve a problem posed by a. pnueli, (LNCS-Lecture...
Author: Kai Engelhardt; Willem-Paul de Roever; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Specification and validation of a security policy model, (LNCS-Lecture Notes in Computer S...
Author: Tony Boswell; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Experiences from applications of RAISE, (LNCS-Lecture Notes in Computer Science 670) Hal 5...
Author: Bent Dandanell; Jesper Gortz; Jan Storbank Pedersen; Eld Zierau; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Selling formal methods to industry, (LNCS-Lecture Notes in Computer Science 670) Hal 671-6...
Author: Debora Weber-Wulff; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Adding specification constructors to the refinement calculus, (LNCS-Lecture Notes in Compu...
Author: Nigel Ward; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Symbolic Model checking for distributed real-time systems,(LNCS-Lecture Notes in Computer ...
Author: Farn Wang; Aloysius Mok; E. Allen Emerson; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Integrating SA/RT with LOTOS, (LNCS-Lecture Notes in Computer Science 670) Hal 617-631
Author: Anthony W. van der Vloedt; Kees Bogaards; |
Call Number: 004 Woo f | 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
Prev   1 2 3 4 5 6 7 8 9 10  Next
Latest Collection
Pengembangan dan Evaluasi Desain Visualisasi Informasi Bencana Alam Berdasarkan Data Media Dengan Pendekatan User-Centered Design
Type: Skripsi
Kombinasi Linguistik dengan Indobert untuk Klasifikasi Gejala Psikosis
Type: Tesis
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
Favorite
Penyusunan rencana strategis sistem informasi: studi kasus smart city Kabupaten Sleman
Author: Haidar Aji Kalbuadi; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2022
[Remove]
An Analysis on International Tourists' Perceptions towards Destination Branding:
Author: null | Publisher: null
[Remove]
Perancangan Spesifikasi Kebutuhan Sistem Informasi Manajemen Aset Teknologi Informasi : Studi Kasus Pusat Pengolahan Data dan Informasi Badan Koordinasi Penanaman Modal
Author: Maria Ulfah; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2016
[Remove]
Login
Advanced Search