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 26887 returns 2057 document(s)
Introduction to formal language/ Gyorgy E. Revesz
Author: Revesz, Gyorgy E.; |
Call Number: 005.131 Rev i | Type: Buku
Find Similar Add to Favorite Open in New Tab
Formal languages and their relation to automata
Author: Hopcroft, John E.; |
Call Number: 519.766 Hop f | Type: Buku
Find Similar Add to Favorite Open in New Tab
Languages and machines: an introduction to the theory 2nd ed. /Thomas A. Sudkamp
Author: Sudkamp, Thomas A.; |
Call Number: 511.3 Sud l | Type: Buku
Find Similar Add to Favorite Open in New Tab
Formal languages/ Arto Salomma
Author: Salomma, Arto; |
Call Number: 511.3 Sal f | Type: Buku
Find Similar Add to Favorite Open in New Tab
New trends in formal languages: control, cooperation, and combinatorics/Paum Gheorge
Author: Paun, Gheorghe; |
Call Number: 511.3 Pau n | Type: Buku
Find Similar Add to Favorite Open in New Tab
The Formal Development of Real-Time Systems: A Review/ D.J. Scholefield
Author: Scholefield, D.J.; |
Call Number: 670.427 Sch f | Type: Buku
Find Similar Add to Favorite Open in New Tab
Understanding formal methods
Author: Monin, Jean-Francois; |
Call Number: 005.131 Mon u | Type: Buku
Find Similar Add to Favorite Open in New Tab
Abstract machines and grammars/ Water J. Savitch
Author: Savitch, Walter J.; |
Call Number: 005.133 Sav a | Type: Buku
Find Similar Add to Favorite Open in New Tab
Introduction to automata theory, language and computation 2nd ed.
Author: Hopcroft, John E.; |
Call Number: 629.831 9 Hop i | Type: Buku
Find Similar Add to Favorite Open in New Tab
Formal methods: state of the art and new directions
Author: Boca, Paul P; |
Call Number: 005.131 Boc f | Type: Buku
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
Sistem Pakar Konsep dan Penerapan/ Miswn Surip
Author: Surip, Miswan | Publisher: null
[Remove]
Login
Advanced Search