Your search for 35814 returns 3178 document(s) |
A provably correct embeded verifier for the certification of safety critical software, (LNCS-Lecture Notes in Computer Science 999)Hal. 202-231 |
Author: Alesandro Cimatti; Fausto Giunchiglia; Paolo Peechiari; Bruno Pietra; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Real time UML: developing efficient objects for embeded systems/Bruce Powel Douglas |
Author: Douglas, Bruce Powel; | Call Number: 005.117 Dou r | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Programming open service gateways with java embeded server technology/Kirk Chen; Li Gong |
Author: Chen, Kirk; | Call Number: 005.276 2 Che p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An Information push-dilevery system design for personal information service on the internet, page 873 |
Author: Chen-Tung Chen | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Embedded and real-time system design using integrated SDL and MSC/ Irwan Margono |
Author: Margono, Irwan | Call Number: Pub.Staf PN-0058 | Type: Prosiding Nasional
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Inventory management information system design using material requirements planning method, HAL. 113- 116 |
Author: Helmi Buyung Aulia Safirizal; | Call Number: SEM-293 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Design of an intelligent customer relationship system in tourism industry in Iran using evidential reasoning approach, HAL. 169-182 |
Author: S. Rezalian Fardael and M.A.S Monfared; | Call Number: SEM-291 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Car-parking system design using modular structured artificial neural networks, HAL. 101-104 |
Author: A. Cellatoglu, K. Balasubramanian; V. Joseph Raj; | Call Number: SEM-291B | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Design and implementation of e-KTP (Indonesia Electronic Identity Card) Key Management System, Hal. 143-152 |
Author: Aravada Kevindra Darwis; Charles Lim; | Call Number: SEM-301 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Design of Parallel processing system for facial image retrieval, (LNCS-Lecture Notes in Computer Science 1557) Hal 592-593 |
Author: Hyung Lee; Kyung-Ae Moon; Jong-Won Park; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|