| Ditemukan 82 dokumen dengan kata kunci 4290 |
Simpan CSV  |
|
TIPdb-3D: the three-dimensional structure database of phytochemicals from Taiwan indigenous plants
|
| Pengarang: Chun-Wei Tung, Ying-Chi Lin, Hsun-Shuo Chang, Chia-Chi Wang, | No. Panggil: Database (Volume 2014, p.bau055) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
MICdb3.0: a comprehensive resource of microsatellite repeats from prokaryotic genomes
|
| Pengarang: Suresh B. Mudunuri, Sujan Patnana, and Hampapathalu A. Nagarajaram | No. Panggil: Database (Volume 2014, p.bau005) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
PPInterFinder—a mining tool for extracting causal relations on human proteins from literature
|
| Pengarang: Kalpana Raja, Suresh Subramani, and Jeyakumar Natarajan | No. Panggil: Database (Volume 2013, p.bas052) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
GnpIS: an information system to integrate genetic and genomic data from plants and fungi
|
| Pengarang: Delphine Steinbach, Michael Alaux, Joelle Amselem, Nathalie Choisne, dll | No. Panggil: Database (Volume 2013, p.bat058) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Generating Kolmogorov random strings from sources with limited independence
|
| Pengarang: Marius Zimand | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 909-924 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Graph Polynomials: From Recursive Definitions to Subset Expansion Formulas
|
| Pengarang: B. Godlin, E. Katz, and J. A. Makowsky | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 237-265 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Codd's Relational Model from the Point of View of Fuzzy Logic
|
| Pengarang: Radim Belohlavek and Vilem Vychodil | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 851-862 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
From Deep Inference to Proof Nets via Cut Elimination
|
| Pengarang: Lutz Strassburger | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 589-624 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Information About a Given Entity: From Semantics Towards Automated Deduction
|
| Pengarang: Robert Demolombe and Luis Fariñas del Cerro | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1231-1250 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
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 ::
|
|
Hasil Pencarian
