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)
Local model checking for real-time systems (extended abstract), (LNCS-Lecture Notes in Com...
Author: Oleg V. Sokolsky; Scott A. Smolka; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
On the model checking problem for branching time logics and basic parallel processes, (LNC...
Author: Javier Esparza; Astrid Kiehn; |
Call Number: 004 Int c | 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
Model checking in practice the T9000 virtual channel processor, (LNCS-Lecture Notes in Com...
Author: Geoff Barrett; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Deductive multi-valued model checking, (LNCS-Lecture Notes in Computer Science 3668) Hal 2...
Author: Ajay Mallya; |
Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Logic in Computer Science: An Automata-Theoretic Approach to Branching-Time Model Checking...
Author: O. Kupferman, [et all] |
Type: Indeks Artikel Jurnal
Find Similar Add to Favorite Open in New Tab
Deadlock checking using net unfoldings, (LNCS-Lecture Notes in Computer Science 1254) Hal ...
Author: Stephan Melzer; Stefan Romer; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Deadlock checking using net unforldings, (LNCS-Lecture Notes in Computer Science 1254) Hal...
Author: Stephan Melzer and Stefan Romer; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Implementing a hidden markov model speech recognition system in programmable logic, (LNCS-...
Author: Stephen J. Melnikoff; Steven F.Quigley; Martin J. Russell; |
Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Utilizing symmetry when model checking under fairness assumptions: an automata-theoretic a...
Author: E. A. Emerson; A. P. Sistla; |
Call Number: 004 Int c | 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
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
Introducing c interactive c language training system (with c interpreter)
Author: Gibson, Thomas A.; | Publisher: Tinton Falls, NJ Gibson 1984
[Remove]
Pengembangan Sistem Rekomendasi Pemuatan Barang dan Perencanaan Rute Pengiriman, Studi Kasus: PT Paragon Technology and Innovation
Author: Aurora Putri Kumala Bakti, David Johan Hasiholan Parhusip, Muhammad Rafi Atha Zhafran; | Publisher: Depok, Fasilkom UI, 2024
[Remove]
Sistem informasi manajemen perlengkapan (SIMKAP) Pemda Tangerang/ Nova Novriansyah
Author: Novriansyah, Nova; | Publisher: Depok : Fakultas Ilmu Komputer Unversitas Indonesia, 2001
[Remove]
Communication overhead on CM5: an experimental performance evaluation, Hal. 108-115
Author: Ravi Ponnusamy; Alok Choudhary; Geoffrey FoX; | Publisher: Proceedings the fourth symposium on the frontiers'92 frontiers of massively parallel computation October 19-21, 1992/edited H.J. Siegel
[Remove]
Sistem informasi pegawai Lembaga Penerbangan dan Antariksa Nasional (LAPAN)
Author: Nurachman; Sutara; Theresia Dwi Warhyuni; | Publisher: Depok : Fakultas Ilmu Komputer Unversitas Indonesia, 1995
[Remove]
Sistem Business Intelligence Untuk Sektor Akomodasi Di Indonesia : Model Downstream Supply Chain, Faktor Penghambat, Arsitektur, Dan Prototipe
Author: Niko Ibrahim; | Publisher: Depok: Fakultas Ilmu Komputer UI, 2023
[Remove]
Pembangunan sistem informasi untuk peningkatan kualitas manajerial, Hal. 117-120
Author: Katon Wijana; | Publisher: Prosiding : Konferensi Nasional Sistem Informasi 2006, Bandung 18 Februari 2006
[Remove]
Causality Knowledge Extraction Based On Causal Verb Rules (hal 5-8)
Author: Departement Of Computer Engineering Kasetsart University; | Publisher: Satellite workshop on language artifical intelligence and computer science for natural processing applications (LAICS-NLP) October 19 2006
[Remove]
Sistem infomasi administrasi forensik FK UI
Author: Adhi Agung Pranata; | Publisher: Depok : Fakultas Ilmu Komputer Unversitas Indonesia, 2001
[Remove]
Analsis pemanfaatan media online dalam peyampaian layanan informasi pariwisata
Author: Hartasia Susan Panandea; | Publisher: Depok: Fakultas Ilmu Komputer, 2017
[Remove]
Login
Advanced Search