Your search for 21579 returns 7352 document(s) |
Formal verification for access control in web information sharing system, (LNCS-Lecture Notes in Computer Science 5576) Hal. 80-89 |
Author: Akihiro Sakai; Yoshiaki Hori; Kouichi Sakurai; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using hytech to verify an automotive control system, (LNCS-Lecture Notes in Computer Science 1201) Hal 139-153 |
Author: Thomas Stauner; Olaf Muller; Max Fuchs; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A digital real-time simulator for rail-vehicle control system testing, (LNCS-Lecture Notes in Computer Science 1201) Hal 199-212 |
Author: Peter Terwiesch; Erich Scheiben; Anders Jenry Petersen; Thomas Keller; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Specifying a safety-critical control system in Z, (LNCS-Lecture Notes in Computer Science 670) Hal 388-402 |
Author: Jonathan Jacky; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Optimization of energy saving strategy of elevator group control system based on ant colony algorithm, 173-177 |
Author: Xiong Shunqing, Zhou Weihong; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Performance Enhancement of Inverted Pendulum System by Using Type 2 Fuzzy Sliding Mode Control (T2FSMC) (hal 1307-1312) |
Author: Mardlijah, Muh. Abdillah, Ach Jazidie, Basuki widodo, Ari Santoso; | Call Number: SEM-368 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mini-and Microcomputer Control in Industrial Processes Handbook of System and Application Strategies edited by M. Robert Skrokov |
Call Number: 004.14 Min | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Pengembangan part inventory control system pada PT Jasa Teknologi Informasi IBM/ Teddy |
Author: Teddy; | Call Number: KP-952 (Softkopi KP-516) SCKP-346 | Type: Kerja Praktek (KP)
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Evaluasi Manajemen Risiko Keamanan Informasi: Studi Kasus Physical Access Control System Perusahaan XYZ |
Author: Putri Fauziah Romadhona; | Call Number: KA-1603 (Softcopy KA-1589) MAK KA-1240 | Edition: 2022 | Type: Karya Akhir (KA)
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Research on the Electric Vehicle Control System Based on Brain-Computer Interface (V1-281 -- V1-284) |
Author: Sun Xian-bin
Ma Shu-yuan
Song Mei-qin; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|