Your search for 37142 returns 2357 document(s) |
An improved reachability analysis method for strongly linear hybrid systems (extended abstract),(LNCS-Lecture Notes in Computer Science 1254) Hal 167-178 |
Author: Bernard Boigelot; Louis Bronne; Stephane Rassart; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Second European workshop on-real-time and hybrid systems wednesday May, 31, Thurday June 1st and Friday June 2nd 1995 |
Call Number: SEM-253 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An optimal management for SoC memory |
Author: Omar Saeed Al-Mushayt | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formally optimal boxing,Hal 213-226 |
Author: Fritz Henglein; Jesper Jorgensen; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Perencanaan kegiatan maitenance dengan metode realibility centered maintenance II, hal 7-14 / MAKARA SERI TEKNOLOGI |
Author: Rachmad Hidayat; Nachnul Ansori, Ali Imron | Call Number: Makara 14 (2010) : 1 | Type: UI-ana Indek Artikel
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Variations in relevance judgments and the measurement of retrieval effectiveness, page 697 |
Author: Ellen M.V. | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Hybrid modelling focused on hybrid petri nets, Hal. 303-310 |
Author: Stefan Patterson; Bengt Lennartson; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Extracting Predicates From Mining Models for Efficient Query Evaluation, page 508-544 |
Author: S. Chaudhuri, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Path extracting improved algorithm based on dependence relationship, Hal. 3440-3442 |
Author: Yajum Liu; | Call Number: SEM-302 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Extracting Representative Information on Intra-Organizational Blogging Platforms, Page 1105-1127 |
Author: Xunhua Guo, Qiang Wei, Guoqing Chen, Jin Zhang, and Dandan Qiao | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|