Hasil Pencarian
Ditemukan 674 dokumen dengan kata kunci 7247 Simpan CSV Simpan CSV
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  ::
Buku Praktis Otomotif : Panduan Lengkap Perawatan Motor Bensin & Diesel
Pengarang: Tim Harmoni | No. Panggil: eTM-00069 |
Koleksi: e-Book TM  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Memperbaiki Perlengkapan Air : Seri Kerjakan Sendiri
Pengarang: Hartanto | No. Panggil: eTE-00034 |
Koleksi: e-Book TE  :: 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  ::
Prev   1 2 3 4 5 6 7 8 9 10  Next