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 39021 returns 2474 document(s)
Applications of modal logic for the specification of real-time systems, (LNCS-Lecture Note...
Author: Liang Chen; Alistair Munro; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
A proof environment for concurrent programs,(LNCS-Lecture Notes in Computer Science 670) H...
Author: Naima BROWN; Dominique MERY; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Inviariants, frames and postconditions: a comparison of the VDM and B notations, (LNCS-Lec...
Author: Juan Bicarregui; Brian Ritchie; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Algorithm refinement with read and write frames, (LNCS-Lecture Notes in Computer Science 6...
Author: Juan Bicarregui; |
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
Towards an implementation-oriented specification of TP protocol in LOTOS, (LNCS-Lecture N...
Author: Ing Widya; Gert-Jan van der Heijden; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
An industrial experience on LOTOS-based prototyping for switching systems design, (LNCS-Le...
Author: Gonzalo Leon; Juan C. Yelmo; Carlos Sanchez; F. Javier Carrasco; Juan J. Gil; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
The integration of LOTOS with an object oriented development method, (LNCS-Lecture Notes i...
Author: Mikael Hedlund; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Role of VDM(++) in the Development of a real-time tracking and tracing system, (LNCS-Lectu...
Author: ir. E. H. Durr; drs. E.M. Dusink; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Reasoning about inference in an object-based design method ((LNCS-Lecture Notes in Compute...
Author: C.B. Jones; |
Call Number: 004. Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Prev   2 3 4 5 6 7 8 9 10 11  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
The quest fo efficient boolean satisfiability solvers, Hal. 295-313
Author: Lintao Zhang; Sharad Malik; | Publisher:
[Remove]
Test of english as a foreign language (FOEFL)/ Michael Pyle
Author: Pyle, Michael; | Publisher: Linco: Cliffs Notes, 1985
[Remove]
Strategi Transformasi Digital pada Usaha Mikro Kecil Menengah (UMKM) Industri Kemasan: Studi Kasus Toko Warsin Jaya
Author: Alia Mutia Mayanda; | Publisher: Jakarta : Program Studi Magister Teknologi Informasi Fasilkom UI, 2023
[Remove]
Login
Advanced Search