Hasil Pencarian
Ditemukan
2
dokumen dengan kata kunci
4221
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
::