Ditemukan 23 dokumen dengan kata kunci 4678 |
Simpan CSV  |
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 ::
|
|
Mapping Homer’s Catalogue of Ships
|
Pengarang: Courtney Evans and Ben Jasnow | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 3 September 2014, p. 317-325) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Reasoning Support for Mapping Revision
|
Pengarang: Christian Meilicke, Heiner Stuckenschmidt, and Andrei Tamilin | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 807-829 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Mission (im)possible – mapping the brain becomes a reality
|
Pengarang: Anna Lena Eberle, Olaf Selchow, Marlene Thaler, Dirk Zeidler, dll | No. Panggil: Microscopy (Volume 64 Issue 1 February 2015, p. 45-55) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Connectomics: comprehensive approaches for whole-brain mapping
|
Pengarang: Shinsuke Shibata, Yuji Komaki, Fumiko Seki, Michiko O. Inouye, dll | No. Panggil: Microscopy (Volume 64 Issue 1 February 2015, p. 57-67) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Charlie Bone and The Time Twister
|
|
Pembuatan Mapping Floor Menggunakan Engine Game Unity dan Barcode
|
|
Alternating-time temporal dynamic epistemic logic
|
Pengarang: Tiago de Lima | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p1145-1178) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Probabilistic logics for objects located in space and time
|
Pengarang: Dragan Doder, John Grant, and Zoran Ognjanović | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 487-515 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
TCTL Model Checking of Time Petri Nets
|
Pengarang: Hanifa Boucheneb, Guillaume Gardey, and Olivier H. Roux | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1509-1540 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|