| Your search for 38928 returns 2447 document(s) |
| Utilizing symmetry when model checking under fairness assumptions: an automata-theoretic approach, (LNCS-Lecture Notes in Computer Science 939) Hal 309-324 |
|
Author: E. A. Emerson; A. P. Sistla; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using formal verification/analysis methods on the critical path in system design: a case study, (LNCS-Lecture Notes in Computer Science 939) Hal 367-380 |
|
Author: Asgeir Th. Eiriksson; Ken L. McMillan; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Scalable devide-and conquer parallel algorithm for finite state automata and its applications, 193-194 |
|
Author: Z. George Mou; Sevan G. Ficici; | Call Number: SEM-229 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengembangan Morphological Analyzer Bahasa Indonesia Informal Menggunakan Finite-State Transducer (FST) |
|
Author: Muhammad Salman Al Farisi,
I Made Krisna Dwitama; | Call Number: SK-2084 (Softcopy SK-1566) | Edition: Ika Alfina | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengembangan tokenizer dan morphological analyzer universal untuk bahasa indonesia menggunakan finite-state transducer |
|
Author: Muhammad Yudistira Hanifmuti; | Call Number: SK-1868 (Softcopy SK-1350) | Edition: Ika Alfina | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Studi kasus penggunaan finite state machine (fsm) untuk merancang spesifikasi aplikasi service control point telekomunikasi seluler |
|
Author: Rakhmat Hanief Nugroho; | Call Number: KA-220 (Softcopy KA-219) | Edition: 2011 | Type: Karya Akhir (KA)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Method of Audio Codec's Mode Control Based on Finite State Machine (V1-299 -- V1-302) |
|
Author: ZHAO Gang; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Agen Cerdas Berbasis Finite State Machine (FSM) Untuk Game Online Multiplayer Pembelajaran Bahasa Inggris Untuk Sekolah Dasar (31-33) |
|
Author: Ardyasana
Yusuf; | Call Number: SEM-315 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Structure and interpretation of computer programs |
|
Author: Abelson, Harold; | Call Number: 005.1 Abe s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer Programs in Biomedicine |
|
Call Number: [6 (1976): 1-4, 7 (1977): 1-4, 10 (1979): 1-3, 14 (1982): 1-4, 16 (1983): 1-3, 18 (1984): 1-4] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result