Hasil Pencarian
Ditemukan 77 dokumen dengan kata kunci 4297 Simpan CSV Simpan CSV
Metode Elemen Hingga Edisi 2
Pengarang: Ir. Ramses Yohannes Hutahean, M.T | No. Panggil: 515.7 RAM m |
Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Mekanika Fluida : Jilid 2
Pengarang: Munson, Bruce R. | No. Panggil: 532 MUN m |
Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
METODA ELEMEN HINGGA Edisi 2
Pengarang: Ramses Yohanes Hutahaean | No. Panggil: 620.001 RAM m |
Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Blending margins: the modal logic K has nullary unification type
Pengarang: Emil Jeřábek | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 5 Oktober 2015, p.1231-1240) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Explicit substitution calculi with de Bruijn indices and intersection type systems
Pengarang: Daniel Lima Ventura, Fairouz Kamareddine, and Mauricio Ayala-Rincón | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 295-340) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Assessing the inter-method reliability and correlational validity of the Body Type Dictionary
Pengarang: Laura A. Cariola | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 2 June 2014, p. 171-190) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations
Pengarang: Paul E. Oppenheimer and Edward N. Zalta | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 351-374 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
ESCAPE: database for integrating high-content published data collected from human and mouse embryonic stem cells
Pengarang: Huilei Xu, Caroline Baroukh, Ruth Dannenfelser, Edward Y. Chen, dll | No. Panggil: Database (Volume 2013, p.bat045) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
FARE-CAFE: a database of functional and regulatory elements of cancer-associated fusion events
Pengarang: Praveen Kumar Korla, Jack Cheng, Chien-Hung Huang, Jeffrey J. P. Tsai, dll | No. Panggil: Database (Volume 2015, p. bav086) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Research collaboration in the social sciences: What factors are associated with disciplinary and interdisciplinary collaboration?
Pengarang: Richard Woolley, Mabel Sánchez-Barrioluengo, Tim Turpin, Jane Marceau | No. Panggil: Science and Public Policy (Volume 42 Issue 4 Agustus 2015, p. 567-582) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3 4 5 6 7 8  Next