Reiner Haehnle, editor
Leveraging applications of formal methods, verification, and validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers
Springer, 2012
 eBooks
Eko Budi Wahyono, author
Neural network based character recognition
Fakultas Teknik Universitas Indonesia, 1994
 UI - Tesis (Membership)
Andreas Yanuar Hanaekan, author
Evaluasi antrian virtual (virtual queuing) pada security check-point 2 terminal bandara menggunakan pendekatan pemodelan berbasis agen (studi kasus bandara Soekarno Hatta) = Virtual queuing evaluation on airport terminal security check-point 2 using agent based modeling approaching (Soekarno Hatta airport study case)
Fakultas Teknik Universitas Indonesia, 2014
 UI - Skripsi (Membership)
Nevatia, Ramakant, author
Machine perception
Prentice-Hall, 1982
 Buku Teks
Solving data mining problems : through pattern recognition
Ruby L. Kennedy...[et.al]
Prentice-Hall, 1998
 Buku Teks
<<   4 5 6   >>