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 38582 returns 3911 document(s)
Invariant-based synthesis of fault-tolerant systems, (LNCS-Lecture Notes in Computer Scien...
Author: K. Lano; David Clark; K. Androutsopoulos; P. Kan; |
Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
A Survery of Fault Tolerant CORBA Systems (505-521)
Author: Muhammad Fahad Aamer Nadeem Michael R. Lyu; |
Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
Find Similar Add to Favorite Open in New Tab
Fault tolerant secure routing in cluster based mobile sensor networks, (LNCS-Lecture Notes...
Author: Usama Ahmed; Muhammad Arif Wahla; Firdous Kausar; |
Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Formal verification for fault-tolerant architectures: some lessons learned, (LNCS-Lecture ...
Author: Sam Owre; John Rushby; Natarajan Shankar; Friedrich von Henke; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
A VDM study of fault-tolerant stable storage towards a computer engineering mathematics,(L...
Author: Andrew Butterfield; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Symbolic controller synthesis for discrete and time systems, (LNCS-Lecture Notes in Comput...
Author: Eugene Asarin; Oded Maler; Amir Pneuli; |
Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Control synthesis for a class of hybrid systems subject to configuration-based safety cons...
Author: Michael Heymann; Feng Lin; George Meyer; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Fault-tolerant scheduling,hal 115-124
Author: Bala Kalyanasundaram; |
Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar Add to Favorite Open in New Tab
Generalizing action systems to hybrid systems, (LNCS-Lecture Notes in Computer Science 192...
Author: Ralph-Johan Back; Luigia Petre; Ivan Porres; |
Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Modeling faults of distributed, reactive systems, (LNCS-Lecture Notes in Computer Science ...
Author: Max Breitling; |
Call Number: 004.33 Jos 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
Strategi Transformasi Digital pada Lembaga Pendidikan Dasar dan Menengah: Studi Kasus Yayasan Pendidikan ABC
Type: Karya Akhir (KA)
Analisis Faktor-Faktor yang Memengaruhi Niat Penggunaan Aplikasi iPusnas secara Berkelanjutan
Type: Skripsi
Pengembangan Alat Ekstraksi Informasi pada Teks Berita dengan Large Language Model dan Knowledge Graph
Type: Skripsi
Perancangan Aplikasi Kuesioner Berbasis Web untuk Penilaian Antarmuka Aplikasi: Studi Kasus e-Learning dan Online Travel Agent
Type: Skripsi
Tinjauan Kalkulasi Sistem Satelit Siaran Langsung Pita X/S
Type: Indeks Artikel prosiding/Sem
SISTEM TRANSMISI RADIO UNTUK DAERAH TERPENCIL (SEBUAH ALTERNATIP)
Type: Indeks Artikel prosiding/Sem
SATELIT-SATELIT AMATEUR RADIO YANG MENGGUNAKAN SISTEM DIGITAL
Type: Indeks Artikel prosiding/Sem
CAKAR JAYA (CATUR KARSA JALA RAYA)
Type: Indeks Artikel prosiding/Sem
UPGRADING OF RADIO TRANSMISSION LINKS OF THE JASIPAKTA NETWORK
Type: Indeks Artikel prosiding/Sem
STATUS JASIPAKTA DAN MANFAATNYA SAAT INI
Type: Indeks Artikel prosiding/Sem
Favorite
Login
Advanced Search