Search Result Save to File Save as CSV
Your search for 53429 returns 1718 document(s)
Verifying real-time systems using parametrized timed modal specification, 123-127
Author: Carsten Weise; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Using delayed commitment in locking protocols for real-time databases (hal 104 - 113)
Author: D.Agrawal, A. El Abbadi, R.Jeffers; | Call Number: SEM - 359 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Engineering real-time sytsems: object-oriented methodology using SDL
Author: Break, Rolv; | Call Number: 005.12 Bre e | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Dashboard Real-Time Traffic Detection System Using Camera Sensor
Author: Farolina Rahmatunnisa; | Call Number: KP-3189 | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Optimization Process of Glycerol Esterification Using Real Time Adaptive Control (51-56)
Author: Iwan Aang Soenandi Ani Suryani Taufik Djatna Irzaman; | Call Number: SEM-345 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Intelligent real time criminal identification in video surveillance using fuzzy similarity measure (Proposal Toray Science Foundation)
Author: M. Rahmat Widyanto | Call Number: PRO-INDONESIA TORAY SCIENCE FOUNDATION-2007-001 | Type: Proposal Research (Khusus Dose
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 
Real-time program refinement using auxiliary variables (LNCS-Lecture Notes in Computer Science 1926) Hal 170-184
Author: Ian Hayes; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time layered video compression using SIMD computation, (LNCS-Lecture Notes in Computer Science 1557) Hal 377-387
Author: Morten Vadskaer Jensen; Brian Nielsen; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Analysis of denial-of service attack resistance using a real-time model checker, 159-163
Author: Tatsuya ARAI, Shin-ya NISHIZAKI; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next