Hasil Pencarian
	Ditemukan 11 dokumen dengan kata kunci 4565 Simpan CSV  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  :: ALGORITHMS AND FLOWCHARTS No. Panggil: ebM-0120 | Koleksi: e-Book MIPA  :: 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  :: Labelled Tableaux for Distributed Temporal Logic Pengarang: David Basin, Carlos Caleiro, Jaime Ramos, and Luca Vigaṇ | 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  :: A Database Approach to Distributed State-Space Generation Pengarang: Stefan Blom, Bert Lisser, Jaco Van De Pol, and Michael Weber | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 45-62 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: 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  :: Metaheuristic algorithms for optimization of resilient overlay computing systems Pengarang: Krzysztof Walkowiak, Wojciech Charewicz, Maciej Donajski, and Jacek Rak | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 1 February 2015, p. 31-44) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Data Structures & Algorithms in Java [Second Edition] Pengarang: Lafore, Robert | No. Panggil: ebTI - 00194 | Koleksi: e-Book TI  :: 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  :: 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  :: Prev   1 2  Next