Hasil Pencarian
Ditemukan 61 dokumen dengan kata kunci 4340 Simpan CSV Simpan CSV
Aljabar Linear Dasar (Edisi Kedua)
Pengarang: Drs. Mhamud Imrona, M.T | No. Panggil: 512.5 MAH a |
Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
What do scientists think about the public and does it matter to their online engagement?
Pengarang: John C. Besley | No. Panggil: Science and Public Policy (Volume 42 Issue 2 April 2015, p. 201-214) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Research collaboration in the social sciences: What factors are associated with disciplinary and interdisciplinary collaboration?
Pengarang: Richard Woolley, Mabel Sánchez-Barrioluengo, Tim Turpin, Jane Marceau | No. Panggil: Science and Public Policy (Volume 42 Issue 4 Agustus 2015, p. 567-582) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Found in translation: To what extent is authorial discriminability preserved by translators?
Pengarang: Richard S. Forsyth and Phoenix W. Y. Lam | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 2 June 2014, p. 199-217) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
‘What’s in the NIDDK CDR?’—public query tools for the NIDDK central data repository
Pengarang: Huaqin Pan, Mary-Anne Ardini, Vesselina Bakalov, Michael DeLatte, dll | No. Panggil: Database (Volume 2013, p.bas058) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
Pengarang: Matthias Knorr, Martin Slota, João Leite, and Martin Homola | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p. 1279-1311) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prefix probabilities for linear context-free rewriting systems
Pengarang: Mark-Jan Nederhof and Giorgio Satta | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 331-350 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Writing out Unifiers in Linear Temporal Logic
Pengarang: Vladimir V. Rybakov | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1199-1206 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
On constructive models of theories with linear Rudin-Keisler ordering
Pengarang: Alexander Gavryushkin | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 793-805 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Hybrid Functional Interpretations of Linear and Intuitionistic Logic
Pengarang: Paulo Oliva | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 305-328 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3 4 5 6 7  Next