Your search for 24780 returns 1170 document(s) |
Eksperimen formalisasi dalam sistem hol dengan studi kasus teori graph/ Ricky Suryadharma |
Author: Ricky Suryadharma; | Call Number: SK-0779 (Softcopy SK-261) Source code SK-237 | Type: Skripsi
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Computational complexity and knowledge complexity(Extended Abstract),Hal 534-543 |
Author: Oded Goldreich; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
CASE is software automata |
Author: McClure, Carma L.; | Call Number: 005.1 McC c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Introduction to probabilistic automata |
Author: Paz, Azaria; | Call Number: 512.76 Paz i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic , Automata, and Algorithms |
Author: Aiserman, Mark, A.; | Call Number: 511.3 Ais i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Pengantar teori automata dan bahasa |
Author: Widjaja, Belawati; | Call Number: 511.3 Wid p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Cellular automata: pemodelan dan implementasi |
Author: Hanna Kurniawti; | Call Number: SK-0463 (Source Code SK-46) | Edition: Widijanto Nugroho | Type: Skripsi
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Artificial reality |
Author: Krueger, Myron W.; | Call Number: 700.105 Kru a | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Designing for human-computer communications/ edited by M.E. Sime |
Call Number: 004.019 Des | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Genetic algorithms in search optimization and machine learning |
Author: Goldberg, David E.; | Call Number: 006.3 Gol g | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|