Untitled HOME GANTI PASSWORD LOGOUT




Selamat Datang
SELAMAT DATANG DI PERPUSTAKAAN ONLINE

E-JOURNAL

A Short Overview on Modern Parallel SAT-Solver



  ID Publisher : 0000019500
  Nama Jurnal : ICACSIS 2011 : Proceedings International Conference on Advanced Computer Science and Information System, Jakarta 17th - 18th, December 2011
  Pengarang : Steffen Holldobler, Norbert Manthey, Van Hau Nguyen, Julian Stecklina, Peter Steinke
  Subjek : Modern paralllel SAT-Solvers
  Edisi : 0 / 0 / 2011


Download File...

[ Maaf...File tidak ada dalam database..]


Kembali


Untitled
          
LINK FAKULTAS
MENU MAHASISWA