Hasil Pencarian
Ditemukan 42 dokumen dengan kata kunci 4665 Simpan CSV Simpan CSV
Simulation Modeling Handbook : A Pratical Approach
Pengarang: Chung, Christopher A | No. Panggil: R 003.3 CHU s |
Koleksi: Buku Referens  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A robust data-driven approach for gene ontology annotation
Pengarang: Yanpeng Li and Hong Yu | No. Panggil: Database (Volume 2014, p. bau113) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
BioC: a minimalist approach to interoperability for biomedical text processing
Pengarang: Donald C. Comeau, Rezarta Islamaj Doğan, Paolo Ciccarese, Kevin Bretonnel Cohen, dll | No. Panggil: Database (Volume 2013, p.bat064) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Situated normative infrastructures: the normative object approach
Pengarang: Fabio Yoshimitsu Okuyama, Rafael H. Bordini, and Antônio Carlos da Rocha Costa | No. Panggil: Journal of Logic and Computation April 2013, 23 (2), p. 397-424 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A Database Approach to Distributed State-Space Generation
Pengarang: Stefan Blom, Bert Lisser, Jaco Van De Pol, and Michael Weber | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 45-62 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Category-based Equational Reasoning: An Approach to Ontology Integration
Pengarang: Joe Geldart and William Song | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 791-806 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A Translation-based Approach to the Verification of Modular Equivalence
Pengarang: Emilia Oikarinen and Tomi Janhunen | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 591-613 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
General Models and Completeness of First-Order Modal μ-calculus
Pengarang: Ryo Kashima and Keishi Okamoto | No. Panggil: Journal of Logic and Computation August 2008, 18 (4), p. 497-507 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Jaringan asynchronous transfer mode (ATM) pada general packet radio service.
Pengarang: Siti Aisyah | No. Panggil: eSTI-2003007 |
Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Diffraction by an impedance strip II. Solving Riemann–Hilbert problems by OE-equation method
Pengarang: A. V. Shanin and A. I. Korolkov | No. Panggil: The Quarterly Journal of Mechanics and Applied Mathematics (Volume 68 Issue 3 Agustus 2015, p. 341-362) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3 4 5  Next