| Your search for 51791 returns 2010 document(s) |
| Using compositional preorders in the verification of sliding window protocol, (LNCS-Lecture Notes in Computer Science 1254) Hal 48-59 |
|
Author: Roope Kaivola; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hardware verification using monadic second-order logic, (LNCS-Lecture Notes in Computer Science 939) Hal 31-41 |
|
Author: David A. Basin; Nils Klarlund; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Trace theoretic verification of asynchronous circuits using unfoldings, (LNCS-Lecture Notes in Computer Science 939) Hal 180-195 |
|
Author: K. L. McMillan; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verification of hybrid systems using abstraction ((LNCS-Lecture Notes in Computer Science 999), Hal. 359-390 |
|
Author: Anuj Puri and Pravin Varniya; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Propagation model verification using elementary environment spesific method for analyzing 802. 16e system coverage in Bandung city. hal, 15 |
|
Author: Andito Dwi Pratomo, Legijono, Denny Sukarman, Hadi Hariyanto; | Call Number: SEM-317 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Food quality prediction using neural network and time temperature data, hal : 14-19 |
|
Author: M. Rahmat Widyanto, Benyamin Kusumoputro dan Kaoru Hirota | Call Number: JURNAL ILMU KOMPUTER DAN TEKNOLOGI INFORMASI, Vol. 4 No. 2 Oktober 2004 | Type: UI-ana Indek Artikel
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Recognition and editing of devnagari handwriting using neural network, HAL. 982-986 |
|
Author: K.Y. Rajput; | Call Number: SEM-290 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Segmental stock market prediction using neural network, Hal. 23-31 |
|
Author: Thong-Seng Quah; Bobby Srinivasan, Melvin Lee; | Call Number: SEM-275 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Detection of visual bearing defect using integrated artificial neural network, Hal. 391-394 |
|
Author: Agustian K. Herdianta; Aulia M.T. Nasution; | Call Number: SEM-301 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Collapsed building detection using residual siamese neural network on LIDAR data |
|
Author: Mgs M. Lutfi Ramadhan; Grafika Jati
Machmud Roby Alhamidi
Riskyana Dewi Intan P
Muhammad Hafizhuddin Hilman
Wisnu Jatmiko; | Call Number: Mak T Jilid 121-139 (T-1329) (Mak T-127) | Type: Makalah Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result