Ditemukan 109 dokumen dengan kata kunci 4205 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Rule Systems for Run-time Monitoring: from Eagle to RuleR
|
Pengarang: Howard Barringer, David Rydeheard, and Klaus Havelund | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 675-706 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
|
Pengarang: Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, dll | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1031-1069 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Oracle Inventory Consigned Inventory from Supplier Process Guide
|
|
BEAN 2.0: an integrated web resource for the identification and functional analysis of type III secreted effectors
|
Pengarang: Xiaobao Dong, Xiaotian Lu, and Ziding Zhang | No. Panggil: Database (Volume 2015, p. bav064) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Creating a specialist protein resource network: a meeting report for the protein bioinformatics and community resources retreat
|
Pengarang: Patricia C. Babbitt, Pantelis G. Bagos, Amos Bairoch, Alex Bateman, dll | No. Panggil: Database (Volume 2015, p. bav063) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
RegPhos 2.0: an updated resource to explore protein kinase–substrate phosphorylation networks in mammals
|
Pengarang: Kai-Yao Huang, Hsin-Yi Wu, Yi-Ju Chen, Cheng-Tsung Lu, dll | No. Panggil: Database (Volume 2014, p.bau034) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The non-obese diabetic mouse sequence, annotation and variation resource: an aid for investigating type 1 diabet
|
Pengarang: Charles A. Steward, Jose M. Gonzalez, Steve Trevanion, Dan Sheppard, dll | No. Panggil: Database (Volume 2013, p.bat032) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The Eimeria Transcript DB: an integrated resource for annotated transcripts of protozoan parasites of the genus Eimeria
|
Pengarang: Luiz Thibério Rangel, Jeniffer Novaes, Alan M. Durham, Alda Maria B. N. Madeira, dll | No. Panggil: Database (Volume 2013, p.bat006) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Construction of biological networks from unstructured information based on a semi-automated curation workflow
|
Pengarang: Justyna Szostak, Sam Ansari, Sumit Madan, Juliane Fluck, dll | No. Panggil: Database (Volume 2015, p. bav057) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Separating Protection from Politics: The UN Security Council, the 2011 Ivorian Political Crisis and the Legality of Regime Change
|
Pengarang: Sean Butler | No. Panggil: Journal of Conflict and Security Law (Volume 20 Issue 2 Summer 2015, p. 251-276) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|