Hasil Pencarian
Ditemukan 135 dokumen dengan kata kunci 4517 Simpan CSV Simpan CSV
Aljabar Linear Dasar
Pengarang: Mahmud Imrona | No. Panggil: 512.5 MAH a |
Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Aljabar Linear Elementer Jilid 1
No. Panggil: 512.5 ANT a |
Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Qualitative Temporal and Spatial Reasoning Revisited
Pengarang: Manuel Bodirsky and Hubie Chen | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1359-1383 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Fixpoint and While Temporal Query Languages
Pengarang: Nicole Bidoit and Matthieu Objois | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 369-404 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
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  ::
An Ebola virus-centered knowledge base
Pengarang: Maulik R. Kamdar and Michel Dumontier | No. Panggil: Database (Volume 2015, p. bav049) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Groups: knowledge spreadsheets for symbolic biocomputing
Pengarang: Michael Travers, Suzanne M. Paley, Jeff Shrager, Timothy A. Holland, dll | No. Panggil: Database (Volume 2013, p.bat061) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
What is a model for a semantically linear λ-calculus?
Pengarang: Marco Gaboardi and Mauro Piccolo | No. Panggil: Journal of Logic and Computation June 2014; 24 (3), p. 557-589 |
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  ::
Strong normalization in some temporal substructural logics
Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 1-24 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3 4 5 6 7 8 9 10  Next