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
/
Buku
/
Indeks Artikel LNCS
All | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z |

Verifying periodic task-control sysems, Hal. 61-68
Author: Vlad Rusu; | Publisher: Springer, 1977
Call Number: 004.33 Mal f | Edition:
Find Similar Add to Favorite Open in New Tab
Verifying hybrid systems modeled as time automata: a case study, Hal. 171-185
Author: Myla Archer and Constrance Heitmeyer; | Publisher: Springer, 1997
Call Number: 004.33 Mal f | Edition:
Find Similar Add to Favorite Open in New Tab
Verifying hybrid systems modeled as timed automata: a case study, (LNCS-Lecture Notes in C...
Author: Myla Archer; Constance heitmeyer; | Publisher: Springer, 1997
Call Number: 004.33 Mal h | Edition:
Find Similar Add to Favorite Open in New Tab
Verifying liveness properties of reactive systems ( A tutorial ), (LNCS-Lecture Notes in C...
Author: Amir Pnueli; | Publisher: Springer, 1999
Call Number: 004.33 Mal h | Edition:
Find Similar Add to Favorite Open in New Tab
Verifying periodic task-control systems, (LNCS-Lecture Notes in Computer Science 1201) Hal...
Author: Vlad Rusu; | Publisher: Springer, 1997
Call Number: 004.33 Mal h | Edition:
Find Similar Add to Favorite Open in New Tab
Verifying safety properties of a class of infinite-state distributed algorithms, (LNCS-Lec...
Author: Bengt Jonsson; Lars Kempe; | Publisher: Springer, 1995
Call Number: 004 Int c | Edition:
Find Similar Add to Favorite Open in New Tab
Verifying universal properties of parameterized networks, (LNCS-Lecture Notes in Computer ...
Author: Kai Baukus; Yassine Lakhnech; Karsten Stahl; | Publisher: Springer, 2000
Call Number: 004.33 Jos f | Edition:
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; | Publisher: Springer, 1995
Call Number: 004 Int c | Edition:
Find Similar Add to Favorite Open in New Tab
Verisoft: a tool for the automatic analysis of concurrent reactive software, (LNCS-Lecture...
Author: Patrice Godefroid; | Publisher: Springer, 1997
Call Number: 004 Int c | Edition:
Find Similar Add to Favorite Open in New Tab
Viable control of hybrid systems, (LNCS-Lecture Notes in Computer Science 999)Hal. 128-14...
Author: Akash Deshpande and Pravin Varaiya; | Publisher: Springer, 1995
Call Number: 005.369 Ant h | Edition:
Find Similar Add to Favorite Open in New Tab
Latest Collection
Information Security Management Handbook
Type: Buku
Implementasi Pretrained Language Mobil Tapas pada Tugas Tanya Jawab Berbasis Tabel Berbahasa Indonesia
Type: Tesis
A Novel Structure Evaluation Method for Indonesian Pantun Generation
Type: Tesis
Strategi Migrasi Sistem Lawas Genting dengan Arsitektur Monolitik ke Microservices: Studi Kasus PT XYZ
Type: Karya Akhir (KA)
IT Infrastructure architecture: infrastructure building blocks and concepts, 4 Edt
Type: Buku
Evaluasi Tingkat Kematangan Adopsi Devops: Studi Kasus Badan Pusat Statistik
Type: Karya Akhir (KA)
REKOMENDASI PENEMPATAN PEGAWAI MENGGUNAKAN ALGORITMA SUPERVISED MACHINE LEARNING DAN RULE-BASED EXPERTS: STUDI KASUS INSTANSI PENDIDIKAN
Type: Karya Akhir (KA)
Evaluasi Usability dan Rekomendasi Desain Antarmuka Perbaikan Antarmuka Permata Karir: Studi Kasus PT Bank Permata Tbk
Type: Karya Akhir (KA)
Pengukuran Tingkat Kesadaran Pegawai terhadap Keamanan Informasi: Studi Kasus Badan Kepegawaian Negara
Type: Karya Akhir (KA)
Faktor-Faktor Yang Memengaruhi Implementasi Satu Data Di Pemerintahan Kota Depok
Type: Karya Akhir (KA)
Favorite
Login
Advanced Search