Ditemukan 62 dokumen dengan kata kunci 4684 |
Simpan CSV ![Simpan CSV](icons/save.png) |
AIM: a comprehensive Arabidopsis interactome module database and related interologs in plants
|
Pengarang: Yi Wang, Roger Thilmony, Yunjun Zhao, Guoping Chen, dll | No. Panggil: Database (Volume 2014, p. bau117) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A semi-automated methodology for finding lipid-related GO terms
|
Pengarang: Mengyuan Fan, Hong Sang Low, Markus R. Wenk, and Limsoon Wong | No. Panggil: Database (Volume 2014, p. bau089) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
‘RetinoGenetics’: a comprehensive mutation database for genes related to inherited retinal degeneration
|
Pengarang: Xia Ran, Wei-Jun Cai, Xiu-Feng Huang, Qi Liu, dll | No. Panggil: Database (Volume 2014, p.bau047) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Sharp Thresholds for a Phase Transition Related to Weakly Increasing Sequences
|
Pengarang: Michiel De Smet and Andreas Weiermann | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 207-211 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
|
Pengarang: Peter Baumgartner, Ulrich Furbach, and Björn Pelzer | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 77-109 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Logical and Complexity-theoretic Aspects of Models of Computation with Restricted Access to Arrays
|
Pengarang: Iain A. Stewart | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 217-242 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Detection and analysis of some redundancies in linear logic sequent proofs
|
Pengarang: Tatjana Lutovac and James Harland | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.187-232 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
State smearing theorems and the existence of states on some atomic lattice effect algebras
|
Pengarang: Zdenka Riečanová and Jan Paseka | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 863-882 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Wind Energy Explained : theory, Design and Application
|
|
Theory of Applied Robotics : Kinematics, Dynamics, and Control
|
|