Hasil Pencarian
	Ditemukan 38 dokumen dengan kata kunci 3916 Simpan CSV  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  :: Using synchronous tree adjoining grammar to model the typology of bound variable pronouns Pengarang: Dennis Ryan Storoshenko, Chung-Hye Han | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. 371-403) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Hybrid Firefly Model in Routing Heterogeneous Fleet of Vehicles in Logistics Distribution Pengarang: Dragan Simić, Ilija Kovačević, Vasa Svirčević, and Svetlana Simić | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 521-532) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: WholeCellSimDB: a hybrid relational/HDF database for whole-cell model predictions Pengarang: Jonathan R. Karr, Nolan C. Phillips, and Markus W. Covert | No. Panggil: Database (Volume 2014, p. bau095) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Towards a model of UAVs navigation in urban canyon through defeasible logic Pengarang: Ho-Pun Lam and Guido Governatori | No. Panggil: Journal of Logic and Computation April 2013, 23 (2), p. 373-395 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Codd's Relational Model from the Point of View of Fuzzy Logic Pengarang: Radim Belohlavek and Vilem Vychodil | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 851-862 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation Pengarang: Peter Baumgartner, Ulrich Furbach, and Björn Pelzer | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 77-109 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Kerusakan Dan Penanganan Poros Nok/Camshaft Pada Model Mesin Toyota Pengarang: Ruyadi | No. Panggil: eSTM-2004003 | Koleksi: e-Skripsi Teknik Mesin  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Pengaruh Karakteristik Air Pengisi Ketel Terhadap Sistem Perawatan boiler Model VWH-1200 Pengarang: Effendi | No. Panggil: eSTM-2002002 | Koleksi: e-Skripsi Teknik Mesin  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Kerusakan Dan Penanganan Sistem Karburator Pada Model Mesin Toyota Corolla Gl 1985 Pengarang: Ependi | No. Panggil: eSTM-2005004 | Koleksi: e-Skripsi Teknik Mesin  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4  Next