Hasil Pencarian
	Ditemukan 66 dokumen dengan kata kunci 3716 Simpan CSV  Model-theory and implementation of property grammars with features Pengarang: Denys Duchier, Thi-Bich-Hanh Dao, and Yannick Parmentier | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 491-509 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Foundations of model construction in feature-based semantic science Pengarang: David Poole | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1081-1096 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Verifying social expectations by model checking truncated paths Pengarang: Stephen Cranefield and Michael Winikoff | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1217-1256 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Parallel SAT Solving in Bounded Model Checking Pengarang: Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, dll | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 5-21 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Model-theoretic and Computational Properties of Modal Dependence Logic Pengarang: Merlijn Sevenster | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1157-1173 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: 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  :: Perancang dan simulasi jaringan backbone BATAN menggunakan routing protocol Rip dan OSPF Pengarang: Dita Larasati | Koleksi: Skripsi Teknik Elektro  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Pengembangan Jaringan Komputer Dengan Metode Static Routing Pada Warnet Tiaznet Pengarang: Tiaz Rifqi Fakhrurrasi | No. Panggil: STI-0343 | Koleksi: Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Perancangan Dan Simulasi Jaringan Backbone Batan Menggunakan Routing Protocol Rip Dan Ospf Pengarang: Dita Larasati | No. Panggil: eSTE-2012001 | Koleksi: e-Skripsi Teknik Elektro  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Analisa Performance Kinerja Routing Protocol Eigrp Dan RIPng Pada Jaringan Ipv6 Pengarang: Raditya Adhi Nugraha | No. Panggil: eSTI-2014059 | Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5 6 7  Next