Hasil Pencarian
Ditemukan 2 dokumen dengan kata kunci 4221 Simpan CSV Simpan CSV
Groups: knowledge spreadsheets for symbolic biocomputing
Pengarang: Michael Travers, Suzanne M. Paley, Jeff Shrager, Timothy A. Holland, dll | No. Panggil: Database (Volume 2013, p.bat061) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Speculative Image Computation for Distributed Symbolic Reachability Analysis
Pengarang: Ming-Ying Chung and Gianfranco Ciardo | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 63-83 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::