Hasil Pencarian
	Ditemukan 44 dokumen dengan kata kunci 3623 Simpan CSV  Recent complexity-theoretic results on P systems with active membranes Pengarang: Giancarlo Mauri, Alberto Leporati, Antonio E. Porreca, Claudio Zandron | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p. 1047- 1071) | 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  :: Ways To Make Atraining Active Pengarang: Silberman, Ph.D., Mel | No. Panggil: ebIS-0322 | Koleksi: e-Book Sosial dan Humaniora  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Passive and active filters : theory and implementations Pengarang: Chen, Wai-Kai | No. Panggil: 621.31 CHE p | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: PlantCAZyme: a database for plant carbohydrate-active enzymes Pengarang: Alexander Ekstrom, Rahil Taujale, Nathan McGinn, and Yanbin Yin | No. Panggil: Database (Volume 2014, p.bau079) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Hairpin lengthening: language theoretic and algorithmic results Pengarang: Florin Manea, Carlos Martín-Vide, Victor Mitrana | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p.987-1009) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Completeness and decidability results for a logic of contrary-to-duty conditionals Pengarang: José M. C. L. M. Carmo and Andrew J. I. Jones | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 585-626 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Existentially Closed Models and Conservation Results in Bounded Arithmetic Pengarang: A. Cordón-Franco, A. Fernández-Margarit, and F. F. Lara-Martín | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 123-143 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Interaction-based Runtime Verification for Systems of Systems Integration Pengarang: Ingolf H. Krüger, Michael Meisinger, and Massimiliano Menarini | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 725-742 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Modelling and Analysis of Manufacturing Systems Pengarang: Askin, Ronald G. | No. Panggil: 620.1 ASK m | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5  Next