| Your search for 13416 returns 6381 document(s) |
| An integration of model checking with automated proof checking, (LNCS-Lecture Notes in Computer Science 939) Hal 84-97 |
|
Author: S. Rajan; N. Shankar; M. K. Srivas; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| IPIL-interactive learning system using MATLAB and web-based multimedia system, HAL. 16-20 |
|
Author: Dodi Sudiana, Adri Gutama, Adhe Widi Astato; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An Expert System For Law Of Information System ogramwith A Case Analyzing By Using Soft Computing Pr |
|
Author: Herri Trisna Frianto; | Call Number: SEM-356 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fault diagnosisi in batch chemical process control system using intelligent system (hal 489 - 492) |
|
Author: Syahril Ardi; | Call Number: SEM - 362 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Intrusion-resilient signatures: generic constructions, or defeating strong adversary with minimal assumptions, (LNCS-Lecture Notes in Computer Science 2576) Hal 102-118 |
|
Author: Gene Itkis; | Call Number: 005.8 Sec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Efficient Web Browsing on Handheld Devices Using Page and Form Summarization, page 82-115 |
|
Author: O. Buyukkokten, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using c++ |
|
Author: Eckel, Bruce; | Call Number: 005.133 Eck u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| San Francisco component framework an introduction to//Paul Monday, |
|
Author: Monday, Paul; | Call Number: 005.27 Mon s | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Component software: abstraksi vs implementasi, HAL. B.41-B-46 |
|
Author: Prastudy Mungkas Fauzi; | Call Number: SEM-285 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Component dependence: studi kasus electronic voting, Hal. 331-334 |
|
Author: Hanson Hutabarat , Ade Azurat; | Call Number: SEM-268 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result