| Your search for 54081 returns 331 document(s) |
| Query language for XML, HAL. 811-816 |
|
Author: Regina Fernandes, A.S. Alfi; | Call Number: SEM-290 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| GLOBAL QUERY OPTIMIZATION (191-206) |
|
Author: Timos k. sellis; | Call Number: SEM-360 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Query-by-Humming on Internet (589-600) |
|
Author: Naoko Kosugi
Hidenobu Nagata
Tadashi Nakanishi; | Call Number: SEM-381 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automated essay grading system using SVM and LSA for essay answers in Indonesia, HAL. 124-129 |
|
Author: Rama Adhitia; Ayu Purwariani; | Call Number: SEM-294 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 1001 question & answers to help you prepare to the CDP EXAM revised editon/ Kenniston W. Lord |
|
Author: Lord, Kenniston W.; | Call Number: 004 Lor i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic model checking of infinite state systems using presburger arithmetic, (LNCS-Lecture Notes in Computer Science 1254) Hal 400-411 |
|
Author: Tevfik Bultan; Richard Gerber; William Pugh; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifying safety properties of a class of infinite-state distributed algorithms, (LNCS-Lecture Notes in Computer Science 939) Hal 42-53 |
|
Author: Bengt Jonsson; Lars Kempe; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic model checking of infinite state systems using presbuger; arithmetic, (LNCS-Lecture Notes in Computer Science 1254)Hal. 400-411 |
|
Author: Tevfik Bultan; Richard Gerber and William Pugh; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Program Simulasi Untuk Realisasi Struktur Tapis Infinite Impulse Response Untuk Media Pembelajaran Digital Signal Processing (hal 249-255) |
|
Author: Damar Widjaja, Teresia Herlina Bintari, Bayu Primawan; | Call Number: SEM-370 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Database Theory: Relational Queries over Interpreted Structure |
|
Author: M. Benedict, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result