| Your search for 44337 returns 1988 document(s) |
| Evaluation of text - to-speech synthesizer for Indonesian language using semantically unpredictable senteces test: IndoTTS, eSpeak, and Google Translate TTS, Hal. 237-242 |
|
Author: Nur Aziza Azis, Rose Mauliiyatul Hikmah; Teresa Vania Tjahja, Anto Satriyo Nugroho; | Call Number: SEM-301 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal systems specification: the RPC memory specification case study/Manfred Broy |
|
Author: Broy, Manfred; | Call Number: 005.131 Bro f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Protocol specification, testing, and verification VI |
|
Call Number: 004.62 Pro | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The specification of computer programs/Wladyslaw M. Turski |
|
Author: Turski, Wladyslaw M.; | Call Number: 005.1 Tur s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal methods of program verification and specification |
|
Author: Berg, Helmut K.; | Call Number: 005.3 Ber f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| XML: the annotated specification/Bob Ducharme |
|
Author: Ducharme, Bob; | Call Number: 005.72 Duc x | Type: Buku
|
|
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
|
| Programming Languages: Making Abstract Interpretations Complete |
|
Author: R. Giacobazzi, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proof analysis by resolution (extended abstract), Hal,.417-531 |
|
Author: Matthias Baaz; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Cooperative design for hybrid systems (extended abstract), Hal. 15-20 |
|
Author: Belawati H. Widjaja; Chen Zongji; He Weidong; Zhou Chaochen; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result