Hasil Pencarian
	Ditemukan 707 dokumen dengan kata kunci 6880 Simpan CSV  Membangun Sistem Keamanan Data Melalui Implementasi Steganografi IMAGE dengan Metode Discret Cosine Transfrom (DCT) Pengarang: Nurul Hidayati | No. Panggil: eSTI-2014055 | Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: The Univalence Axiom in posetal model categories Pengarang: Misha Gavrilovich,Assaf Hasson,Itay Kaplan | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 669-682) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Curation accuracy of model organism databases Pengarang: Ingrid M. Keseler, Marek Skrzypek, Deepika Weerasinghe, Albert Y. Chen, dll | No. Panggil: Database (Volume 2014, p. bau058) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Model-theoretic properties of the n-c.e. degrees Pengarang: Marat M. Arslanov | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 669-677 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Preservation by fibring of the finite model property Pengarang: M. E. Coniglio, A. Sernadas, and C. Sernadas | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 375-402 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Model Checking Using Description Logic Pengarang: Shoham Ben-David, Richard Trefler, and Grant Weddell | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 111-1131 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: On the existence of a modal-logical basis for monadic second-order logic Pengarang: Lauri Hella and Tero Tulenheimo | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 157-180 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Dokumentasi web masyarakat asean di kemetrian luar negeri Pengarang: Arief Rizky Muswandi | No. Panggil: PI.0229 | Koleksi: Laporan PKL Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: -Struktur Data Pengarang: Sinar Sinurat, ST | No. Panggil: ebTI - 00272 | Koleksi: e-Book TI  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A small model theorem for the hybrid μ-calculus Pengarang: Kuniaki Tamura | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. (405-441) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   4 5 6 7 8 9 10 11 12 13  Next