Hasil Pencarian
Ditemukan 56 dokumen dengan kata kunci 3587 Simpan CSV Simpan CSV
Fundamentals of Modern Manufacturing : materials, Processes, and Systems
Pengarang: Groover, Mikell P. | No. Panggil: 670.42 GRO f |
Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Latecomer systems integration capability in complex capital goods: the case of Iran’s electricity generation systems
Pengarang: Mehdi Kiamehr, Mike Hobday, and Ali Kermanshah | No. Panggil: Industrial and Corporate Change (Volume 23 Issue 3 June 2014, p. 689-716) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Towards modeling expressed emotions in oral history interviews: Using verbal and nonverbal signals to track personal narratives
Pengarang: Khiet P. Truong, Gerben J. Westerhof, Sanne M. A. Lamers, and Franciska de Jong | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 4 Desember 2014, p. 621-636) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
toxoMine: an integrated omics data warehouse for Toxoplasma gondii systems biology research
Pengarang: David B. Rhee, Matthew McKnight Croken, Kevin R. Shieh, Julie Sullivan, | No. Panggil: Database (Volume 2015, p. bav066) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
The roles of universities in fostering knowledge-intensive clusters in Chinese regional innovation systems
Pengarang: Yuzhuo Cai and Cui Liu | No. Panggil: Science and Public Policy (Volume 42 Issue 1 February 2015, p. 15-29) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Characterizing and comparing innovation systems by different ‘modes’ of knowledge production: A proximity approach
Pengarang: Sjoerd Hardeman, Koen Frenken, Önder Nomaler, Anne L. J. Ter Wal | No. Panggil: Science and Public Policy (Volume 42 Issue 4 Agustus 2015, p. 530-548) |
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  ::
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
Pengarang: Matthias Knorr, Martin Slota, João Leite, and Martin Homola | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p. 1279-1311) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Cut-free sequent calculi for C-systems with generalized finite-valued semantics
Pengarang: Arnon Avron, Beata Konikowska, and Anna Zamansky | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 517-540 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
THOMAS: An agent platform for supporting normative multi-agent systems
Pengarang: Natalia Criado, Estefania Argente, and Vicente Botti | No. Panggil: Journal of Logic and Computation April 2013, 23 (2), p. 309-333 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3 4 5 6  Next