Ditemukan 68 dokumen dengan kata kunci 4399 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Tableaux for Logics of Subinterval Structures over Dense Orderings
|
Pengarang: Davide Bresolin, Valentin Goranko, Angelo Montanari, and Pietro Sala | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 133-166 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Dose- and time-dependent gene expression alterations in prostate and colon cancer cells after in vitro exposure to carbon ion and X-irradiation
|
Pengarang: Annelies Suetens, Marjan Moreels, Roel Quintens, Els Soors, dll | No. Panggil: Journal of Radiation Research (Volume 23 Issue 1 January 2015, p.11-21) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Evaluation of the cell survival curve under radiation exposure based on the kinetics of lesions in relation to dose-delivery time
|
Pengarang: Yusuke Matsuya, Kaori Tsutsumi, Kohei Sasaki, and Hiroyuki Date | No. Panggil: Journal of Radiation Research (Volume 23 Issue 1 January 2015, p.artcl10 90-99) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A motion-compensated image filter for low-dose fluoroscopy in a real-time tumor-tracking radiotherapy system
|
Pengarang: Naoki Miyamoto, Masayori Ishikawa, Kenneth Sutherland, Ryusuke Suzuki, dll | No. Panggil: Journal of Radiation Research (Volume 23 Issue 1 January 2015, p. 186-196) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Analisa pengaruh kelengkungan serat optik terhadap rugi daya dengan menggunakan optical time demain reflectometer (OTDR)
|
|
Analisa Pengaruh Kelengkapan Serat Optik Terhadap Rugi Daya Dengan Menggunakan Optical Time Domain Reflectometer (OTDR)
|
|
Sistem Informasi Perhitungan Titik Impas Berbasis Web Aplikasi Secara Real Time (Studi Kasus : PT. Heksatama Prima)
|
|
Haskell before Haskell: an alternative lesson in practical logics of the ENIAC
|
Pengarang: Liesbeth De Mol, Martin Carlé, Maarten Bullynck | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p. 1011-1046) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Logics Modulo Theories: a logical framework for multi-agent systems
|
Pengarang: Lito Perez Cruz and John Newsome Crossley | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 553-583) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Restricted normal modal logics and levelled possible worlds semantics
|
Pengarang: Juan C. Agudelo-Agudelo and Manuel H. Sierra-Aristizábal | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 687-704 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|