Search Result Save to File Save as CSV
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