| Your search for 53040 returns 2166 document(s) |
| Tajweed Checking System to Support Recitation (189-194) |
|
Author: Ahsiah I.
Noor N.M.
Idris M.Y.I.; | Call Number: SEM-319 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| E-Audit System Acceptance in the Public Sector: An Indonesian Perspective (189-194) |
|
Author: Ferry Purwantoro
Betty Purwandari
Muhammad Rifki Shihab; | Call Number: SEM-345 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Static Checking of System Behaviors Using Derived Component Assumptions, page 239-272 |
|
Author: Paola Inverardi, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Membangun health support monitoring system |
|
Author: Ari Surya Pratama; | Call Number: KP-0719 (Softkopi KP-283) (SCKP-158) | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model simplification in petri net models, Hal. 189-194 |
|
Author: Reggie Davidrajuh; | Call Number: SEM-301 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Keyword similarity classification on indonesian text documents, 189-194 |
|
Author: Ana Kurniawati, Sulistyo Puspitodjati, Wayan Simri Wicaksana, Adhit Herwansyah; | Call Number: SEM-348 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Termilog: a system for checking termination of queries to logic programs, (LNCS-Lecture Notes in Computer Science 1254) Hal 444-447 |
|
Author: N. Lindenstrauss; Y. Sagiv; A. Serebrenik; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| TermiLong: a system for checking termination of queries to logic programs, (LNCS-Lecture Notes in Computer Science 1254)Hal. 444-447 |
|
Author: N. Lindenstrauss, Y. Sagiv; A. Serebernik; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model checking |
|
Author: Clarke, Edmund M.; | Call Number: 004.21 Cla m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Learning management system to support face-to face teaching |
|
Author: Linda Indrayanti; Novio Iriguchi; Titon Dutomo; Tsyyoshi Usagawa; | Call Number: SEM-280 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result