Hasil Pencarian
Ditemukan 521 dokumen dengan kata kunci 5989 Simpan CSV Simpan CSV
The Settling Time Reducibility Ordering and Δ02 Sets
Pengarang: Barbara F. Csima | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 145-150 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Studi Analisis Bending Loss Fiber Optik
Pengarang: Shovi Ayu Nirmala |
Koleksi: Skripsi Teknik Elektro  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Studi Analisis Bending Loss Fiber Optik
Pengarang: Shovi Ayu Nirmala | No. Panggil: eSTE-2011004 |
Koleksi: e-Skripsi Teknik Elektro  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
3PFDB+: improved search protocol and update for the identification of representatives of protein sequence domain families
Pengarang: Agnel P. Joseph, Prashant Shingate, Atul K. Upadhyay, and R. Sowdhamini | No. Panggil: Database (Volume 2014, p.bau026) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Freely floating structures trapping time-harmonic water waves
Pengarang: Nikolay Kuznetsov and Oleg Motygin | No. Panggil: The Quarterly Journal of Mechanics and Applied Mathematics (Volume 68 Issue 2 May 2015, p. 173-193) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
RTeQTL: Real-Time Online Engine for Expression Quantitative Trait Loci Analyses
Pengarang: Baoshan Ma, Jinyan Huang, and Liming Liang, dll | No. Panggil: Database (Volume 2014, p. bau066) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Polynomial time certifying algorithms for the planar quantified integer programming problem
Pengarang: Z. Liang, K. Subramani, and J. Worthington | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1017-1033 |
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  ::
Subexponential Time and Fixed-parameter Tractability: Exploiting the Miniaturization Mapping
Pengarang: Yijia Chen and Jörg Flum | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 89-122 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Perancangan Sistem Tracking Lokasi Keberadaan Anak Secara Real Time Berbasis Android
Pengarang: Hasyifa Muthi'Azmi | No. Panggil: eSTI-2020012 |
Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3 4 5 6 7 8 9 10  Next