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 38930 returns 2909 document(s)
Verification of real-time systems by successive over and under approximation, (LNCS-Lectur...
Author: David L. Dill; Howard Wong-Toi; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Verification of real-time systems by successive over and under approximation, (LNCS-Lectur...
Author: David L. Dill; Howard Wong-Toi; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Efficient timing analysis of a class of petri nets, (LNCS-Lecture Notes in Computer Scienc...
Author: Henrik Hulgaard; Steven M. Burns; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Verifying w-regular properties for a subclass of linear hybrid systems, (LNCS-Lecture Note...
Author: Ahmed Bouajjani; Riadh Robbana; |
Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Using relative refinement for fault tolerance,(LNCS-Lecture Notes in Computer Science 939)...
Author: Antonio Cau; Willem-Paul de Roever; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Interactively verifying a simple real-time scheduler, (LNCS-Lecture Notes in Computer Scie...
Author: Colin Fidge; Peter Kearney; Mark Utting; |
Call Number: 004 Int c | Type: Indeks Artikel prosiding/Sem
Find Similar Add to Favorite Open in New Tab
Analysis and synthesis of computer systems/ E. Gelenbe
Author: Gelenbe, E.; |
Call Number: 004 Gel a | Type: Buku
Find Similar Add to Favorite Open in New Tab
BPM Implementation Critical Success Factors: Applying Meta-synthesis Approach
Author: Nastaran hajihey, zeinab Dabaghkashani; |
Call Number: SEM-354 | Type: Indeks Artikel prosiding/Sem
Find Similar Add to Favorite Open in New Tab
Open key exchange: how to defeat dictionary attacks without encrypting public keys, (LNCS-...
Author: Stefan Lucks; |
Call Number: 004.62 Chr s | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Efficient checking of behavioural relations and modal assertions using fixed-point inversi...
Author: Henrik Reif Andersen; Bart Vergauwen; |
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
Analisis Peringkat Faktor Penentu Kesuksesan Proyek Pembaruan Aplikasi SOA Menggunakan Analytic Hierarchy Process (AHP) dan Rekomendasi Perbaikan: Studi Kasus PT Bank XYZ
Type: Karya Akhir (KA)
Kerangka Kerja Transisi dan Adopsi Agile: Studi Kasus Aplikasi Perizinan Online Kementrian ESDM
Type: Karya Akhir (KA)
Analisis Faktor-Faktor Perilaku Pengguna Dalam Menghindari Ancaman Keamanan pada Mobile Banking
Type: Karya Akhir (KA)
Perancangan Strategi Tata Kelola Data: Studi Kasus Pemerintah Kabupaten Sumenep
Type: Karya Akhir (KA)
Analisis Faktor-Faktor yang Memengaruhi Niat Pengguna dalam Menggunakan Fitur Ulasan Produk pada Aplikasi Tokopedia
Type: Karya Akhir (KA)
Perancangan Strategi Sistem Informasi Pada Software Development Company: Studi Kasus PT XYZ
Type: Karya Akhir (KA)
Perancangan Manajemen Keamanan Informasi Sistem Pemerintahan Berbasis Elektronik Menggunakan Peraturan Badan Siber dan Sandi Negara Nomor 4 Tahun 2021 dan ISO/IEC 27001:2022: Studi Kasus Pusat Penelitian, Data dan Informasi Badan Narkotika Nasional
Type: Karya Akhir (KA)
Asesmen Maturitas Kualitas Data: Studi Kasus PT.DEF
Type: Karya Akhir (KA)
Analisis Faktor-Faktor Yang Memengaruhi Perpindahan Niat Berbelanja Ke Fitur E-Fulfillment: Studi Kasus Dilayani Tokopedia
Type: Karya Akhir (KA)
Analisis Pengaruh Personalisasi Produk dan Service Quality Pada Niat Keberlanjutan Pengguna Online Grocery: Studi Kasus Tokopedia NOW!
Type: Karya Akhir (KA)
Favorite
Modern compiler implementation in java/ Andrew K. Apple
Author: Apple, Andrew K. | Publisher: New York, NY: Cambridger Univ Press, 1998
[Remove]
Login
Advanced Search