Hasil Pencarian
Ditemukan 127 dokumen dengan kata kunci 4022 Simpan CSV Simpan CSV
curatedOvarianData: clinically annotated data for the ovarian cancer transcriptome
Pengarang: Benjamin Frederick Ganzfried, Markus Riester, Benjamin Haibe-Kains, Thomas Risch, dll | No. Panggil: Database (Volume 2013, p.bat013) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Perancangan system monitoring auto alert pada mikrotik router OS (OPERATING SYSTEM)
Pengarang: Afdhal Alif | No. Panggil: eSTI-2011002 |
Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
GBIS: the information system of the German Genebank
Pengarang: Markus Oppermann, Stephan Weise, Claudia Dittmann, and Helmut Knüpffer | No. Panggil: Database (Volume 2015, p. bav021) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
An online system for metabolic network analysis
Pengarang: Abdullah Ercument Cicek, Xinjian Qi, Ali Cakmak, Stephen R. Johnson, dll | No. Panggil: Database (Volume 2014, p. bau091) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A Proof System for Abstract Non-interference
Pengarang: Roberto Giacobazzi and Isabella Mastroeni | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 449-479 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
An Axiomatic System Suggested by Quantum Computation
Pengarang: C. Bertini and R. Leporini | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1175-1198 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A Complete Deductive System for Probability Logic
Pengarang: Chunlai Zhou | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1427-1454 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A Multi-Agent System for Dynamic Ontologies
Pengarang: Kevin Ottens, Nathalie Hernandez, Marie-Pierre Gleizes, and Nathalie Aussenac-Gilles | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 831-858 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Smart Security System Berbasis Mikrokontroler
Pengarang: Muhamad Gustab | No. Panggil: eSTE-2020006 |
Koleksi: e-Skripsi Teknik Elektro  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
NCG 4.0: the network of cancer genes in the era of massive mutational screenings of cancer genomes
Pengarang: Omer An, Vera Pendino, Matteo D’Antonio, Emanuele Ratti, dll | No. Panggil: Database (Volume 2014, p.bau015) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3 4 5 6 7 8 9 10  Next