Search Result
Save to File
Your search for
47878
returns
2867
document(s)
Partial-order reduction in symbolic state space exploration, (LNCS-Lecture Notes in Computer Science 1254) Hal 340-351
Author: R. Alur; R.K. Brayton; T.A. Henzinger; S. Qadeer; S.K. Rajamani; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Partial-order reduction in symbolic state space explorarion, (LNCS-Lecture Notes in Computer Science 1254) Hal. 340-351
Author: R. Alur; R.K. Bryton; T.A. Henzinger; S. Qadeer; S.K. Rajamani; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Principles of instructional design 5th ed.
Call Number: 371.3 Pri | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Analisis Faktor Kegagalan Implementasi Learning Management System E-Learning di PT Jasa Raharja
Author: Dwi Ria Nugraha; | Call Number: KA-1681 (Softcopy KA-1666) MAK KA-1317 | Edition: 2023 | Type: Karya Akhir (KA)
Find Similar
|
Add To Favorites
|
Detail in New Window
Author: Zhuoye Ding; Qi Zhang; Xuanjing Huang; | Call Number: 025.04 Inf | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Intelligence: the eyc, the brain and the computer
Author: Fischer, Martin A.; | Call Number: 006.3 Fis i | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Genetic algorithms for pattern recognition/edited by Sankar K. Pal and Paul P. Wong
Call Number: 006.4 Gen | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Sequential Methods in Pattern Recognition and machine learning
Author: Fu, K.S.; | Call Number: 006.4 FuK s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Perbandingan eigenface dan klustering K-means dengan koreksi GAMMA untuk mengukur similaritas alis pada sistem identifikasi buron/ M. Faisal Reza
Author: M. Faisal Reza; | Call Number: SK-0728 (Softcopy SK-210) | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
English-Indonesia Machine Translation Using Statistical Approach
Author: Y. Astuti, T.B Adji, S.S Kusumawardani; | Call Number: SEM-367 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
14
15
16
17
18
19
20
21
22
23
Next