Ditemukan 521 dokumen dengan kata kunci 5989 |
Simpan CSV ![Simpan CSV](icons/save.png) |
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
|
|
Studi Analisis Bending Loss Fiber Optik
|
|
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
|
|