Hasil Pencarian
	Ditemukan 76 dokumen dengan kata kunci 4567 Simpan CSV  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  :: Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures Pengarang: Giuliano Grossi, Massimo Marchi, Enrico Pontelli, and Alessandro Provetti | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 697-715 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Quantitative analysis of angle-selective backscattering electron image of iron oxide and steel Pengarang: Tomohiro Aoyama, Masayasu Nagoshi, and Kaoru Sato | No. Panggil: Microscopy (Volume 64 Issue 5 Oktober 2015, p. 319-325) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Linearity in Computation Pengarang: Mário Florido and Ian Mackie | No. Panggil: Journal of Logic and Computation June 2014; 24 (3), p. 511-512 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Groups: knowledge spreadsheets for symbolic biocomputing Pengarang: Michael Travers, Suzanne M. Paley, Jeff Shrager, Timothy A. Holland, dll | No. Panggil: Database (Volume 2013, p.bat061) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Distributed Algorithms for SCC Decomposition Pengarang: Jiří Barnat, Jakub Chaloupka, and Jaco Van De Pol | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 23-44 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Labelled Tableaux for Distributed Temporal Logic Pengarang: David Basin, Carlos Caleiro, Jaime Ramos, and Luca Viganň | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1245-1279 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Computation Rules And Logarthms Pengarang: Holman, Silas W | No. Panggil: ebTI - 00285 | Koleksi: e-Book TI  :: Cari yang mirip  :: Tambahkan ke Favorit  :: digital image processing algorithms Pengarang: pitas,ionis | No. Panggil: 621.367 PIT d | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: fundamentals of digital image processing Pengarang: chris solomon | No. Panggil: 621.367 SOL f | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5 6 7 8  Next