| Ditemukan 78 dokumen dengan kata kunci 3576 |
Simpan CSV  |
|
New developments in electron microscopy for serial image acquisition of neuronal profiles
|
| Pengarang: Yoshiyuki Kubota | No. Panggil: Microscopy (Volume 64 Issue 1 February 2015, p. 27-36) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Industrial policy and the creation of new industries: evidence from Brazil’s bioethanol industry
|
| Pengarang: Santiago Mingo and Tarun Khanna | No. Panggil: Industrial and Corporate Change (Volume 15 Issue 5 October 2014, p. 1229-1260) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4
|
| Pengarang: Regimantas Pliuškevičius and Aida Pliuškevičienė | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 353-379 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The size of research funding: Trends and implications
|
| Pengarang: Carter Bloch and Mads P. Sřrensen | No. Panggil: Science and Public Policy (Volume 42 Issue 1 February 2015, p. 30-43) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A robust data-driven approach for gene ontology annotation
|
|
|
|
BioC: a minimalist approach to interoperability for biomedical text processing
|
| Pengarang: Donald C. Comeau, Rezarta Islamaj Doğan, Paolo Ciccarese, Kevin Bretonnel Cohen, dll | No. Panggil: Database (Volume 2013, p.bat064) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Situated normative infrastructures: the normative object approach
|
| Pengarang: Fabio Yoshimitsu Okuyama, Rafael H. Bordini, and Antônio Carlos da Rocha Costa | No. Panggil: Journal of Logic and Computation April 2013, 23 (2), p. 397-424 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Database Approach to Distributed State-Space Generation
|
| Pengarang: Stefan Blom, Bert Lisser, Jaco Van De Pol, and Michael Weber | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 45-62 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Category-based Equational Reasoning: An Approach to Ontology Integration
|
| Pengarang: Joe Geldart and William Song | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 791-806 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Translation-based Approach to the Verification of Modular Equivalence
|
| Pengarang: Emilia Oikarinen and Tomi Janhunen | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 591-613 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
