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 38738 returns 5551 document(s)
Using hytech to verify an automotive control system, (LNCS-Lecture Notes in Computer Scien...
Author: Thomas Stauner; Olaf Muller; Max Fuchs; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
A digital real-time simulator for rail-vehicle control system testing, (LNCS-Lecture Notes...
Author: Peter Terwiesch; Erich Scheiben; Anders Jenry Petersen; Thomas Keller; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Using an object-oriented methodology to bring a hybrid system from initial concept to form...
Author: David Sinclair; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Fine-grain access control using shibboleth for the storage resource broker,(LNCS-Lecture N...
Author: Vineela Muppavarapu; Soon M. Chung; |
Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Formal verification for access control in web information sharing system, (LNCS-Lecture No...
Author: Akihiro Sakai; Yoshiaki Hori; Kouichi Sakurai; |
Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Specifying a safety-critical control system in Z, (LNCS-Lecture Notes in Computer Science ...
Author: Jonathan Jacky; |
Call Number: 004 Woo f | Type: Indeks Artikel LNCS
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; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Design tools for hybrid control systems, (LNCS-Lecture Notes in Computer Science 1201) Hal...
Author: M. S. Hajji; J. M. Bass; A. R. Browne; P. J. Fleming; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Hybrid control issues in air traffic management systems ( Invited presentation ), (LNCS-Le...
Author: Shankar Sastry; |
Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar Add to Favorite Open in New Tab
Hybrid flow nets for hybrid processes modelling and control, (LNCS-Lecture Notes in Comput...
Author: Jean-Marie Flaus; Guy Ollagnon; |
Call Number: 004.33 Mal h | 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
Evaluasi Usability dan Rekomendasi Desain Alternatif Aplikasi HNI Integrated System (HSIS) Mobile
Type: Karya Akhir (KA)
Analisis Faktor-Faktor yang Memengaruhi Stickiness pada Mobile Healthcare Learning: Studi Kasus Aplikasi Doctor to Doctor
Type: Karya Akhir (KA)
PENDETEKSIAN KASUS PENCATATAN GANDA PADA DATA PELANGGAN DI PERUSAHAAN XYZ
Type: Karya Akhir (KA)
Analisis Faktor-Faktor yang Memengaruhi Niat Penggunaan Berkelanjutan Livestream Shopping pada Social Commerce
Type: Karya Akhir (KA)
Peningkatan Proses Software Requirement Management Berbasis CMMI V2.0 : Studi Kasus Lembaga National Single Window
Type: Karya Akhir (KA)
Analisa Pengaruh Kesiapan Karyawan Terhadap Penerimaan Modul Training Management Pada PT XYZ
Type: Karya Akhir (KA)
Feature Model untuk Domain Aplikasi Pet Health Menggunakan Metode Cardinality-Based Feature Model
Type: Karya Akhir (KA)
Perancangan Sistem Manajemen Pengetahuan: Studi Kasus Badan Narkotika Nasional (BNN)
Type: Karya Akhir (KA)
Model Bisnis Virtual Reality Berbasis Sustainable Development Goals untuk Startup Tahap Awal
Type: Karya Akhir (KA)
Strategi Transformasi Digital Menuju Asuransi 4.0: Studi Kasus PT Reasuransi ABC
Type: Karya Akhir (KA)
Favorite
Login
Advanced Search