Ditemukan 138 dokumen dengan kata kunci 4262 |
Simpan CSV |
PLIC: protein–ligand interaction clusters
|
Pengarang: Praveen Anand, Deepesh Nagarajan, Sumanta Mukherjee, and Nagasuma Chandra | No. Panggil: Database (Volume 2014, p.bau029) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The Univalence Axiom in posetal model categories
|
Pengarang: Misha Gavrilovich,Assaf Hasson,Itay Kaplan | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 669-682) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Curation accuracy of model organism databases
|
Pengarang: Ingrid M. Keseler, Marek Skrzypek, Deepika Weerasinghe, Albert Y. Chen, dll | No. Panggil: Database (Volume 2014, p. bau058) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Model-theoretic properties of the n-c.e. degrees
|
Pengarang: Marat M. Arslanov | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 669-677 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Preservation by fibring of the finite model property
|
Pengarang: M. E. Coniglio, A. Sernadas, and C. Sernadas | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 375-402 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Model Checking Using Description Logic
|
Pengarang: Shoham Ben-David, Richard Trefler, and Grant Weddell | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 111-1131 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
CBMAR: a comprehensive β-lactamase molecular annotation resource
|
Pengarang: Abhishikha Srivastava, Neelja Singhal, Manisha Goel, Jugsharan Singh Virdi, dll | No. Panggil: Database (Volume 2014, p. bau111) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
tbvar: a comprehensive genome variation resource for Mycobacterium tuberculosis
|
Pengarang: Kandarp Rakeshkumar Joshi, Heena Dhiman, and Vinod Scaria | No. Panggil: Database (Volume 2014, p. bat083) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Small molecule annotation for the Protein Data Bank
|
Pengarang: Sanchayita Sen, Jasmine Young, John M. Berrisford, Minyu Chen, dll | No. Panggil: Database (Volume 2014, p. bau116) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
TuberQ: a Mycobacterium tuberculosis protein druggability database
|
Pengarang: Leandro Radusky, Lucas A. Defelipe, Esteban Lanzarotti, Javier Luque, dll | No. Panggil: Database (Volume 2014, p.bau035) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|