| Ditemukan 138 dokumen dengan kata kunci 4262 |
Simpan CSV  |
|
COMPARTMENTS: unification and visualization of protein subcellular localization evidence
|
| Pengarang: Janos X. Binder, Sune Pletscher-Frankild, Kalliopi Tsafou, Christian Stolte, dll | No. Panggil: Database (Volume 2014, p. bau012) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Kin-Driver: a database of driver mutations in protein kinases
|
| Pengarang: Franco L. Simonetti, Cristian Tornador, Nuria Nabau-Moretó, Miguel A. Molina-Vila, dll | No. Panggil: Database (Volume 2014, p.bau104) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
PCorral—interactive mining of protein interactions from MEDLINE
|
| Pengarang: Chen Li, Antonio Jimeno-Yepes, Miguel Arregui, Harald Kirsch, dll | No. Panggil: Database (Volume 2013, p.bat030) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
TIMBAL v2: update of a database holding small molecules modulating protein–protein interactions
|
| Pengarang: Alicia P. Higueruelo, Harry Jubb, and Tom L. Blundell | No. Panggil: Database (Volume 2013, p.bat039) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A small model theorem for the hybrid μ-calculus
|
| Pengarang: Kuniaki Tamura | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. (405-441) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Reasoning with vectors: A continuous model for fast robust inference
|
| Pengarang: Dominic Widdows, Trevor Cohen | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 141-173 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
An asymptotic model for a thin biphasic poroviscoelastic layer
|
| Pengarang: I. I. Argatov and G. S. Mishuris | No. Panggil: The Quarterly Journal of Mechanics and Applied Mathematics (Volume 68 Issue 3 Agustus 2015, p. 289-297) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A low-order model for slamming in a flexible-channel flow
|
| Pengarang: Feng Xu and Oliver E. Jensen | No. Panggil: The Quarterly Journal of Mechanics and Applied Mathematics (Volume 68 Issue 3 Agustus 2015, p. 299-319) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Model-theoretic characterization of intuitionistic predicate formulas
|
| Pengarang: Grigory K. Olkhovikov | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 809-829 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
What is a model for a semantically linear λ-calculus?
|
| Pengarang: Marco Gaboardi and Mauro Piccolo | No. Panggil: Journal of Logic and Computation June 2014; 24 (3), p. 557-589 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
