Ditemukan 48 dokumen dengan kata kunci 3910 |
Simpan CSV |
Oracle Configure To Order Implementation Manual
|
|
Speculative Image Computation for Distributed Symbolic Reachability Analysis
|
Pengarang: Ming-Ying Chung and Gianfranco Ciardo | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 63-83 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Undecidability in Some Structures Related to Computation Theory
|
Pengarang: Victor L. Selivanov | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 177-197 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Higher Types, Finite Domains and Resource-bounded Turing Machines
|
Pengarang: Lars Kristiansen | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 281-304 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Android Mobile : Application Development from A to Z
|
|
A low-order model for slamming in a flexible-channel flow
|
Pengarang: Feng Xu and Oliver E. Jensen | No. Panggil: The Quarterly Journal of Mechanics and Applied Mathematics (Volume 68 Issue 3 Agustus 2015, p. 299-319) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The expressive power of first-order topological languages
|
Pengarang: Ernest Davis | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1107-1141 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Complexity of existential positive first-order logic
|
Pengarang: Manuel Bodirsky, Miki Hermann, and Florian Richoux | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 753-760 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Evolution and dynamics of node-weighted networks for cellular automata computation
|
Pengarang: Anca Andreica and Camelia Chira | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 400-409) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Logical and Complexity-theoretic Aspects of Models of Computation with Restricted Access to Arrays
|
Pengarang: Iain A. Stewart | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 217-242 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|